additional_ordering_point for ms-queue
[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / PotentialCPDefineConstruct.java
index f0eb403c863ea7843d99e76e8871b9bd8d343935..f8499cdae00e5ced1c01f02d1d89b577db35c852 100644 (file)
@@ -3,12 +3,23 @@ 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;
        }