Robust/src/IR/Flat/TempDescriptor.java

   1 package IR.Flat;
   2 import IR.*;
   3
   4 public class TempDescriptor extends Descriptor {
   5   static int currentid=0;
   6   int id;
   7   //    String safename;
   8   TypeDescriptor type;
   9   TagDescriptor tag;
  10
  11   public TempDescriptor(String name) {
  12     super(name);
  13     id=currentid++;
  14   }
  15
  16   public TempDescriptor(String name, TypeDescriptor td) {
  17     this(name);
  18     type=td;
  19   }
  20
  21   public TempDescriptor(String name, ClassDescriptor cd) {
  22     this(name);
  23     type=new TypeDescriptor(cd);
  24   }
  25
  26   public TempDescriptor(String name, TypeDescriptor type, TagDescriptor td) {
  27     this(name);
  28     this.type=type;
  29     tag=td;
  30   }
  31
  32   public TempDescriptor createNew() {
  33     if (tag==null)
  34       return new TempDescriptor(name+"_"+currentid, type);
  35     else
  36       return new TempDescriptor(name+"_"+currentid, type, tag);
  37   }
  38
  39   public static TempDescriptor tempFactory() {
  40     return new TempDescriptor("temp_"+currentid);
  41   }
  42
  43   public static TempDescriptor tempFactory(String name) {
  44     return new TempDescriptor(name+currentid);
  45   }
  46
  47   public static TempDescriptor tempFactory(String name, TypeDescriptor td) {
  48     return new TempDescriptor(name+currentid,td);
  49   }
  50
  51   public static TempDescriptor tempFactory(String name, TypeDescriptor type, TagDescriptor tag) {
  52     return new TempDescriptor(name+currentid,type,tag);
  53   }
  54
  55   public static TempDescriptor paramtempFactory(String name, TypeDescriptor td) {
  56     return new TempDescriptor(name,td);
  57   }
  58
  59   public static TempDescriptor paramtempFactory(String name, TypeDescriptor tagtype, TagDescriptor tag) {
  60     return new TempDescriptor(name, tagtype, tag);
  61   }
  62
  63   public String toString() {
  64     return safename;
  65   }
  66
  67   public void setType(TypeDescriptor td) {
  68     type=td;
  69   }
  70
  71   public TypeDescriptor getType() {
  72     return type;
  73   }
  74
  75   public TagDescriptor getTag() {
  76     return tag;
  77   }
  78
  79   public void setTag(TagDescriptor tag) {
  80     this.tag=tag;
  81   }
  82 }