X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FTermNode.java;h=337c5697d963bf2f93f6143df67653143bd96709;hp=9e3dbe8b113a4d90af70b8aa0304869abef93b9e;hb=6e6caa157ea20e565ea92786ef266c952e6f39b3;hpb=cd8c06f13c3d628b15f745790e3eeac2891c5736

diff --git a/Repair/RepairCompiler/MCC/IR/TermNode.java b/Repair/RepairCompiler/MCC/IR/TermNode.java
index 9e3dbe8..337c569 100755
--- a/Repair/RepairCompiler/MCC/IR/TermNode.java
+++ b/Repair/RepairCompiler/MCC/IR/TermNode.java
@@ -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!");