src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 public class CPDefineCheckConstruct extends Construct {
   4         public final String label;
   5         public final String condition;
   6
   7         public CPDefineCheckConstruct(String label, String condition) {
   8                 this.label = label;
   9                 this.condition = condition;
  10         }
  11
  12         public String toString() {
  13                 StringBuffer res = new StringBuffer();
  14                 res.append("@Commit_point_define_check:\n");
  15                 res.append("Label: " + label + "\n");
  16                 res.append("Condition: " + condition + "\n");
  17                 return res.toString();
  18         }
  19 }