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

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 import java.io.File;
   4
   5 public class CPDefineConstruct extends Construct {
   6         public final String label;
   7         public final String potentialCPLabel;
   8         public final String condition;
   9
  10         public CPDefineConstruct(File file, int beginLineNum, String label,
  11                         String potentialCPLabel, String condition) {
  12                 super(file, beginLineNum);
  13                 this.label = label;
  14                 this.potentialCPLabel = potentialCPLabel;
  15                 this.condition = condition;
  16         }
  17
  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();
  25         }
  26 }