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

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