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

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