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

diff --git a/Robust/src/IR/Flat/TempDescriptor.java b/Robust/src/IR/Flat/TempDescriptor.java
deleted file mode 100644
index 40faaa4c..00000000
--- a/Robust/src/IR/Flat/TempDescriptor.java
+++ /dev/null
@@ -1,77 +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 TempDescriptor createNew() {
-	if (tag==null)
-	    return new TempDescriptor(name, type);
-	else
-	    return new TempDescriptor(name, 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;
-    }
-}