These checking do the reconstruction of the model and invoke concrete repairs.

[repair.git] / Repair / RepairCompiler / MCC / IR / SetDescriptor.java

diff --git a/Repair/RepairCompiler/MCC/IR/SetDescriptor.java b/Repair/RepairCompiler/MCC/IR/SetDescriptor.java
index 767167e6d92cc8059760e370ed7c77488f66400f..c461537da3b6fc5ef0d590720342938873ce6c9f 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/SetDescriptor.java
+++ b/Repair/RepairCompiler/MCC/IR/SetDescriptor.java
@@ -12,6 +12,7 @@ public class SetDescriptor extends Descriptor {
     TypeDescriptor type;
     boolean partition;
     Vector subsets;       
+    public static String prefix="";
 
     public SetDescriptor(String name) {
         super(name);
@@ -22,7 +23,7 @@ public class SetDescriptor extends Descriptor {
     public static Set expand(Set descriptors) {
         HashSet expanded = new HashSet();
         Iterator d = descriptors.iterator();
-        
+
         while (d.hasNext()) {
             Descriptor descriptor = (Descriptor) d.next();
             
@@ -91,4 +92,10 @@ public class SetDescriptor extends Descriptor {
         return v;
     }        
 
+    public String getSafeSymbol() {
+       return prefix+safename;
+    }
+    public String getJustSafeSymbol() {
+       return safename;
+    }
 }