1 package edu.uci.eecs.specCompiler.specExtraction;
5 public class CPDefineCheckConstruct extends Construct {
6 public final String label;
7 public final String condition;
9 public CPDefineCheckConstruct(File file, int beginLineNum, String label,
11 super(file, beginLineNum);
13 this.condition = condition;
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();