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

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

diff --git a/Repair/RepairCompiler/MCC/IR/TermNode.java b/Repair/RepairCompiler/MCC/IR/TermNode.java
index 9e3dbe8b113a4d90af70b8aa0304869abef93b9e..337c5697d963bf2f93f6143df67653143bd96709 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/TermNode.java
+++ b/Repair/RepairCompiler/MCC/IR/TermNode.java
@@ -15,6 +15,10 @@ class TermNode {
     ScopeNode scope;
     MultUpdateNode update;
 
     ScopeNode scope;
     MultUpdateNode update;
 

+    public int getType() {
+       return type;
+    }
+

     public TermNode(Constraint constr, Conjunction conj) {
        this.constr=constr;
        this.conj=conj;
     public TermNode(Constraint constr, Conjunction conj) {
        this.constr=constr;
        this.conj=conj;


@@ -55,6 +59,13 @@ class TermNode {
            return conj;
     }
 
            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!");
     public MultUpdateNode getUpdate() {
        if (type!=UPDATE)
            throw new Error("Not Update Node!");