lots of bug fixes

[IRC.git] / Robust / src / IR / Flat / TempDescriptor.java

diff --git a/Robust/src/IR/Flat/TempDescriptor.java b/Robust/src/IR/Flat/TempDescriptor.java
index d5eb728a7a9d871174ecb7e8e2a43759917bd00c..12657520f57320e1a89fc8871082afd533fb4ff0 100644 (file)
--- a/Robust/src/IR/Flat/TempDescriptor.java
+++ b/Robust/src/IR/Flat/TempDescriptor.java
@@ -36,6 +36,13 @@ public class TempDescriptor extends Descriptor {
       return new TempDescriptor(name+"_"+currentid, type, tag);
   }
 
+  public TempDescriptor createNew(String x) {
+    if (tag==null)
+      return new TempDescriptor(name+"_"+currentid+"_"+x, type);
+    else
+      return new TempDescriptor(name+"_"+currentid+"_"+x, type, tag);
+  }
+
   public static TempDescriptor tempFactory() {
     return new TempDescriptor("temp_"+currentid);
   }