X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FFlat%2FTempDescriptor.java;h=d5eb728a7a9d871174ecb7e8e2a43759917bd00c;hb=cdcf09c40af1419fa42932aae249cb79b69b5daf;hp=2a3b0f9257445fb4e9b06e1ece5802c46cac7532;hpb=29a747017fb9e66654f86b98893c09d0299cde9e;p=IRC.git

diff --git a/Robust/src/IR/Flat/TempDescriptor.java b/Robust/src/IR/Flat/TempDescriptor.java
deleted file mode 100644
index 2a3b0f92..00000000
--- a/Robust/src/IR/Flat/TempDescriptor.java
+++ /dev/null
@@ -1,66 +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, TypeDescriptor type, TagDescriptor td) {
-	this(name);
-	this.type=type;
-	tag=td;
-    }
-    
-    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;
-    }
-}