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 168117d0bd250146a1de534063d9372b16ef2be1..e125dd0aa8833b3f101d4860d83672b1355d1df6 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ScopeNode.java
+++ b/Repair/RepairCompiler/MCC/IR/ScopeNode.java
@@ -16,6 +16,10 @@ class ScopeNode {
            return ((RelationInclusion)inc).getRelation();
        else throw new Error("Unrecognized Inclusion");
     }
+
+    public Rule getRule() {
+       return rule;
+    }
     public boolean getSatisfy() {
        return satisfy;
     }