Checking in code to perform safety checks on repair dependency graph.

[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..e125dd0aa8833b3f101d4860d83672b1355d1df6 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ScopeNode.java
+++ b/Repair/RepairCompiler/MCC/IR/ScopeNode.java
@@ -8,4 +8,19 @@ 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 Rule getRule() {
+       return rule;
+    }
+    public boolean getSatisfy() {
+       return satisfy;
+    }
 }