Robust/src/IR/Flat/TempDescriptor.java

   1 package IR.Flat;
   2 import IR.*;
   3
   4 public class TempDescriptor {
   5     static int currentid=0;
   6     int id;
   7     String safename;
   8
   9     public TempDescriptor(String name) {
  10         safename="__"+name+"__";
  11         id=currentid++;
  12     }
  13
  14     public static TempDescriptor tempFactory() {
  15         return new TempDescriptor("temp_"+currentid);
  16     }
  17
  18     public static TempDescriptor tempFactory(String name) {
  19         return new TempDescriptor(name+currentid);
  20     }
  21
  22     public String toString() {
  23         return safename;
  24     }
  25 }