Still adding code to construct termination graph, abstract repair actions, concrete...

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

diff --git a/Repair/RepairCompiler/MCC/IR/ScopeNode.java b/Repair/RepairCompiler/MCC/IR/ScopeNode.java
index 8a10b6d49b3bd3edb2ba06e2e8c1a3a63c3ca783..168117d0bd250146a1de534063d9372b16ef2be1 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ScopeNode.java
+++ b/Repair/RepairCompiler/MCC/IR/ScopeNode.java
@@ -8,4 +8,15 @@ class ScopeNode {
        rule=r;
        this.satisfy=satisfy;
     }
+    public Descriptor getDescriptor() {
+       Inclusion inc=rule.getInclusion();
+       if (inc instanceof SetInclusion)
+           return ((SetInclusion)inc).getSet();
+       else if (inc instanceof RelationInclusion)
+           return ((RelationInclusion)inc).getRelation();
+       else throw new Error("Unrecognized Inclusion");
+    }
+    public boolean getSatisfy() {
+       return satisfy;
+    }
 }