This commit was manufactured by cvs2svn to create tag 'buildscript'.
[IRC.git] / Robust / src / IR / Flat / TempDescriptor.java
diff --git a/Robust/src/IR/Flat/TempDescriptor.java b/Robust/src/IR/Flat/TempDescriptor.java
deleted file mode 100644 (file)
index 39bb16e..0000000
+++ /dev/null
@@ -1,82 +0,0 @@
-package IR.Flat;
-import IR.*;
-
-public class TempDescriptor extends Descriptor {
-    static int currentid=0;
-    int id;
-    //    String safename;
-    TypeDescriptor type;
-    TagDescriptor tag;
-
-    public TempDescriptor(String name) {
-       super(name);
-       id=currentid++;
-    }
-
-    public TempDescriptor(String name, TypeDescriptor td) {
-       this(name);
-       type=td;
-    }
-
-    public TempDescriptor(String name, ClassDescriptor cd) {
-       this(name);
-       type=new TypeDescriptor(cd);
-    }
-
-    public TempDescriptor(String name, TypeDescriptor type, TagDescriptor td) {
-       this(name);
-       this.type=type;
-       tag=td;
-    }
-
-    public TempDescriptor createNew() {
-       if (tag==null)
-           return new TempDescriptor(name+"_"+currentid, type);
-       else
-           return new TempDescriptor(name+"_"+currentid, type, tag);
-    }
-    
-    public static TempDescriptor tempFactory() {
-       return new TempDescriptor("temp_"+currentid);
-    }
-
-    public static TempDescriptor tempFactory(String name) {
-       return new TempDescriptor(name+currentid);
-    }
-
-    public static TempDescriptor tempFactory(String name, TypeDescriptor td) {
-       return new TempDescriptor(name+currentid,td);
-    }
-
-    public static TempDescriptor tempFactory(String name, TypeDescriptor type, TagDescriptor tag) {
-       return new TempDescriptor(name+currentid,type,tag);
-    }
-
-    public static TempDescriptor paramtempFactory(String name, TypeDescriptor td) {
-       return new TempDescriptor(name,td);
-    }
-
-    public static TempDescriptor paramtempFactory(String name, TypeDescriptor tagtype, TagDescriptor tag) {
-       return new TempDescriptor(name, tagtype, tag);
-    }
-
-    public String toString() {
-       return safename;
-    }
-
-    public void setType(TypeDescriptor td) {
-       type=td;
-    }
-
-    public TypeDescriptor getType() {
-       return type;
-    }
-
-    public TagDescriptor getTag() {
-       return tag;
-    }
-
-    public void setTag(TagDescriptor tag) {
-       this.tag=tag;
-    }
-}