additional_ordering_point for ms-queue

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java
index 680e48caf4b589a5c38bb590ebf29f7fcaa46fdd..a9ccb75f16e6b8ab6f114c167c52964036e2027f 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineCheckConstruct.java
@@ -3,19 +3,30 @@ package edu.uci.eecs.specCompiler.specExtraction;
 import java.io.File;
 
 public class CPDefineCheckConstruct extends Construct {
+       public final boolean isAdditionalOrderingPoint;
+
        public final String label;
        public final String condition;
 
        public CPDefineCheckConstruct(File file, int beginLineNum, String label,
                        String condition) {
                super(file, beginLineNum);
+               this.isAdditionalOrderingPoint = false;
+               this.label = label;
+               this.condition = condition;
+       }
+
+       public CPDefineCheckConstruct(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("@Commit_point_clear:\n");
+               res.append("@Commit_point_define_check:\n");
                res.append("Label: " + label + "\n");
                res.append("Condition: " + condition + "\n");
                return res.toString();