1 package edu.uci.eecs.specCompiler.specExtraction;
5 public class CPDefineConstruct extends Construct {
6 public final String label;
7 public final String potentialCPLabel;
8 public final String condition;
10 public CPDefineConstruct(File file, int beginLineNum, String label,
11 String potentialCPLabel, String condition) {
12 super(file, beginLineNum);
14 this.potentialCPLabel = potentialCPLabel;
15 this.condition = condition;
18 public String toString() {
19 StringBuffer res = new StringBuffer();
20 res.append("@Potential_commit_point_define:\n");
21 res.append("Label: " + label + "\n");
22 res.append("Potential_CP_label: " + potentialCPLabel + "\n");
23 res.append("Condition: " + condition + "\n");
24 return res.toString();