Robust/src/IR/Tree/ConstraintCheck.java

   1 package IR.Tree;
   2
   3 import IR.*;
   4 import java.util.Vector;
   5
   6 public class ConstraintCheck {
   7     String specname;
   8     Vector args;
   9
  10     public ConstraintCheck(String specname) {
  11         this.specname=specname;
  12         args=new Vector();
  13     }
  14
  15     public void addArgument(ExpressionNode en) {
  16         args.add(en);
  17     }
  18
  19     public String getSpec() {
  20         return specname;
  21     }
  22
  23     public int numArgs() {
  24         return args.size();
  25     }
  26
  27     public ExpressionNode getArg(int i) {
  28         return (ExpressionNode) args.get(i);
  29     }
  30
  31     public String printNode(int indent) {
  32         String str="assert("+specname+"(";
  33         for(int i=0;i<numArgs();i++) {
  34             if (i>0)
  35                 str+=",";
  36             str+=getArg(i).printNode(0);
  37         }
  38         return str+")";
  39     }
  40 }