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 d5eb728..0000000
--- a/Robust/src/IR/Flat/TempDescriptor.java
+++ /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;
-  }
-}