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 boolean isAdditionalOrderingPoint;
   7         public final String label;
   8         public final String potentialCPLabel;
   9         public final String condition;
  10
  11         public CPDefineConstruct(File file, int beginLineNum, String label,
  12                         String potentialCPLabel, String condition) {
  13                 super(file, beginLineNum);
  14                 this.isAdditionalOrderingPoint = false;
  15                 this.label = label;
  16                 this.potentialCPLabel = potentialCPLabel;
  17                 this.condition = condition;
  18         }
  19
  20         public CPDefineConstruct(File file, int beginLineNum,
  21                         boolean isAdditionalOrderingPoint, String label,
  22                         String potentialCPLabel, String condition) {
  23                 super(file, beginLineNum);
  24                 this.isAdditionalOrderingPoint = isAdditionalOrderingPoint;
  25                 this.label = label;
  26                 this.potentialCPLabel = potentialCPLabel;
  27                 this.condition = condition;
  28         }
  29
  30         public String toString() {
  31                 StringBuffer res = new StringBuffer();
  32                 res.append("@Potential_commit_point_define:\n");
  33                 res.append("Label: " + label + "\n");
  34                 res.append("Potential_CP_label: " + potentialCPLabel + "\n");
  35                 res.append("Condition: " + condition + "\n");
  36                 return res.toString();
  37         }
  38 }