Robust/src/IR/Tree/ConstraintCheck.java

   1 package IR.Tree;
   2
   3 import IR.*;
   4
   5 public class ConstraintCheck {
   6     String varname;
   7     String specname;
   8     VarDescriptor vd;
   9
  10     public ConstraintCheck(String varname, String specname) {
  11         this.varname=varname;
  12         this.specname=specname;
  13     }
  14
  15     public void setVar(VarDescriptor vd) {
  16         this.vd=vd;
  17     }
  18
  19     public VarDescriptor getVar() {
  20         return vd;
  21     }
  22
  23     public String getVarName() {
  24         return varname;
  25     }
  26
  27     public String getSpec() {
  28         return specname;
  29     }
  30
  31     public String printNode(int indent) {
  32         return "assert "+varname+" "+specname;
  33     }
  34 }