edits

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / PotentialCPDefineConstruct.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
index 946697e90d0422db939877a74a45a6c5aca44e17..f8499cdae00e5ced1c01f02d1d89b577db35c852 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
@@ -1,5 +1,34 @@
 package edu.uci.eecs.specCompiler.specExtraction;
 
+import java.io.File;
+
 public class PotentialCPDefineConstruct extends Construct {
+       public final boolean isAdditionalOrderingPoint;
+
+       public final String label;
+       public final String condition;
+
+       public PotentialCPDefineConstruct(File file, int beginLineNum,
+                       String label, String condition) {
+               super(file, beginLineNum);
+               this.isAdditionalOrderingPoint = false;
+               this.label = label;
+               this.condition = condition;
+       }
+
+       public PotentialCPDefineConstruct(File file, int beginLineNum,
+                       boolean isAdditionalOrderingPoint, String label, String condition) {
+               super(file, beginLineNum);
+               this.isAdditionalOrderingPoint = isAdditionalOrderingPoint;
+               this.label = label;
+               this.condition = condition;
+       }
 
+       public String toString() {
+               StringBuffer res = new StringBuffer();
+               res.append("@Potential_commit_point_define:\n");
+               res.append("Label: " + label + "\n");
+               res.append("Condition: " + condition + "\n");
+               return res.toString();
+       }
 }