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

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 import java.io.File;
   4
   5 public class PotentialCPDefineConstruct extends Construct {
   6         public final boolean isAdditionalOrderingPoint;
   7
   8         public final String label;
   9         public final String condition;
  10
  11         public PotentialCPDefineConstruct(File file, int beginLineNum,
  12                         String label, String condition) {
  13                 super(file, beginLineNum);
  14                 this.isAdditionalOrderingPoint = false;
  15                 this.label = label;
  16                 this.condition = condition;
  17         }
  18
  19         public PotentialCPDefineConstruct(File file, int beginLineNum,
  20                         boolean isAdditionalOrderingPoint, String label, String condition) {
  21                 super(file, beginLineNum);
  22                 this.isAdditionalOrderingPoint = isAdditionalOrderingPoint;
  23                 this.label = label;
  24                 this.condition = condition;
  25         }
  26
  27         public String toString() {
  28                 StringBuffer res = new StringBuffer();
  29                 res.append("@Potential_commit_point_define:\n");
  30                 res.append("Label: " + label + "\n");
  31                 res.append("Condition: " + condition + "\n");
  32                 return res.toString();
  33         }
  34 }