X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FTree%2FConstraintCheck.java;fp=Robust%2Fsrc%2FIR%2FTree%2FConstraintCheck.java;h=0000000000000000000000000000000000000000;hp=0cee9fe9e354b1a833522c09f65c07a59ad44661;hb=refs%2Ftags%2Fbuildscript;hpb=d10ef53954b37b62a281cc4e79aef7a4be2af98a

diff --git a/Robust/src/IR/Tree/ConstraintCheck.java b/Robust/src/IR/Tree/ConstraintCheck.java
deleted file mode 100644
index 0cee9fe9..00000000
--- a/Robust/src/IR/Tree/ConstraintCheck.java
+++ /dev/null
@@ -1,51 +0,0 @@
-package IR.Tree;
-
-import IR.*;
-import java.util.Vector;
-
-public class ConstraintCheck {
-  String specname;
-  Vector args;
-  Vector vars;
-
-  public ConstraintCheck(String specname) {
-    this.specname=specname;
-    args=new Vector();
-    vars=new Vector();
-  }
-
-  public void addVariable(String var) {
-    vars.add(var);
-  }
-
-  public void addArgument(ExpressionNode en) {
-    args.add(en);
-  }
-
-  public String getSpec() {
-    return specname;
-  }
-
-  public int numArgs() {
-    return args.size();
-  }
-
-  public ExpressionNode getArg(int i) {
-    return (ExpressionNode) args.get(i);
-  }
-
-  public String getVar(int i) {
-    return (String) vars.get(i);
-  }
-
-  public String printNode(int indent) {
-    String str="assert("+specname+"(";
-    for(int i=0; i<numArgs(); i++) {
-      if (i>0)
-	str+=",";
-      str+=getVar(i)+" : ";
-      str+=getArg(i).printNode(0);
-    }
-    return str+")";
-  }
-}