1 package edu.uci.eecs.specCompiler.specExtraction;
5 public class PotentialCPDefineConstruct extends Construct {
6 public final String label;
7 public final String condition;
9 public PotentialCPDefineConstruct(File file, int beginLineNum,
10 String label, String condition) {
11 super(file, beginLineNum);
13 this.condition = condition;
16 public String toString() {
17 StringBuffer res = new StringBuffer();
18 res.append("@Potential_commit_point_define:\n");
19 res.append("Label: " + label + "\n");
20 res.append("Condition: " + condition + "\n");
21 return res.toString();