additional_ordering_point for ms-queue

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineConstruct.java
index 8c31a9b7a691ecf9c649d12724adf056d97b92b6..b92bd065002eb4ced18a3b3443364d47ecc86f78 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineConstruct.java
@@ -3,6 +3,7 @@ package edu.uci.eecs.specCompiler.specExtraction;
 import java.io.File;
 
 public class CPDefineConstruct extends Construct {
+       public final boolean isAdditionalOrderingPoint;
        public final String label;
        public final String potentialCPLabel;
        public final String condition;
@@ -10,6 +11,17 @@ public class CPDefineConstruct extends Construct {
        public CPDefineConstruct(File file, int beginLineNum, String label,
                        String potentialCPLabel, String condition) {
                super(file, beginLineNum);
+               this.isAdditionalOrderingPoint = false;
+               this.label = label;
+               this.potentialCPLabel = potentialCPLabel;
+               this.condition = condition;
+       }
+
+       public CPDefineConstruct(File file, int beginLineNum,
+                       boolean isAdditionalOrderingPoint, String label,
+                       String potentialCPLabel, String condition) {
+               super(file, beginLineNum);
+               this.isAdditionalOrderingPoint = isAdditionalOrderingPoint;
                this.label = label;
                this.potentialCPLabel = potentialCPLabel;
                this.condition = condition;