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
   9     public ConstraintCheck(String varname, String specname) {
  10         this.varname=varname;
  11         this.specname=specname;
  12     }
  13
  14     public String getVarName() {
  15         return varname;
  16     }
  17
  18     public String getSpec() {
  19         return specname;
  20     }
  21
  22     public String printNode(int indent) {
  23         return "assert "+varname+" "+specname;
  24     }
  25 }