Checking in code to perform safety checks on repair dependency graph.
[repair.git] / Repair / RepairCompiler / MCC / IR / TermNode.java
index 9e3dbe8..337c569 100755 (executable)
@@ -15,6 +15,10 @@ class TermNode {
     ScopeNode scope;
     MultUpdateNode update;
 
+    public int getType() {
+       return type;
+    }
+
     public TermNode(Constraint constr, Conjunction conj) {
        this.constr=constr;
        this.conj=conj;
@@ -55,6 +59,13 @@ class TermNode {
            return conj;
     }
 
+    public Constraint getConstraint() {
+       if (type!=CONJUNCTION)
+           throw new Error("Not Conjunction Node!");
+       else
+           return constr;
+    }
+
     public MultUpdateNode getUpdate() {
        if (type!=UPDATE)
            throw new Error("Not Update Node!");