X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=grammer%2Fspec_compiler.jj;h=575dcf32b569fcf2aec4b24a1ebea85031760497;hb=a0721aba5feb313cce48120d4e98e0165bb476bc;hp=93a5d8b07f7985553c9439a2601a73d3a1770ab2;hpb=f2d6efad8b1ee05ef5dd12175af9e59e61c7b8f8;p=cdsspec-compiler.git

diff --git a/grammer/spec_compiler.jj b/grammer/spec_compiler.jj
index 93a5d8b..575dcf3 100644
--- a/grammer/spec_compiler.jj
+++ b/grammer/spec_compiler.jj
@@ -30,7 +30,7 @@
 	
 	b) Interface construct
 	@Begin
-	@Interface: ...
+	@Interface_decl: ...
 	@Commit_point_set:
 		IDENTIFIER | IDENTIFIER ...
 	@Condition: ... (Optional)
@@ -50,19 +50,53 @@
 	@Begin
 	@Potential_commit_point_define: ...
 	@Label: ...
+	@End
+
+		OR
+
+	@Begin
+	@Potential_additional_ordering_point_define: ...
+	@Label: ...
 	@End
 
 	d) Commit point define construct
 	@Begin
 	@Commit_point_define_check: ...
 	@Label: ...
+	@End
+
+		OR
+	
+	# Addition ordering point is used to order operations when there are "equal"
+	# commit point operations on the same location and that we cannot decide
+	# which operation goes first, we will use additional ordering point to order
+	# them (it's just similar to commit points). In implementation, we can just
+	# treat them as commit points with a special flag.
+
+	@Begin
+	@Additional_ordering_point_define: ...
+	@Potential_additional_ordering_point_label: ...
+	@Label: ...
 	@End
 	
 		OR
+	
+	@Begin
+	@Additional_ordering_point_define: ...
+	@Label: ...
+	@End
+
+		OR
+
+	@Begin
+	@Additional_ordering_point_define_check: ...
+	@Label: ...
+	@End
 
+	// Commit point clear (just as a normal commit point, but it is used to
+	// clear all commit points)
 	@Begin
-	@Commit_point_define: ...
-	@Potential_commit_point_label: ...
+	@Commit_point_clear: ...
 	@Label: ...
 	@End
 
@@ -75,6 +109,25 @@
 	@Begin
 	@Interface_define: <Interface_Name>
 	@End
+
+	g) Interface declare & define construct
+	@Begin
+	@Interface_decl_define: <Interface_Name>
+	@Commit_point_set:
+		IDENTIFIER | IDENTIFIER ...
+	@Condition: ... (Optional)
+	@HB_Condition:
+		IDENTIFIER :: <C_CPP_Condition>
+	@HB_Condition: ...
+	@ID: ... (Optional, use default ID)
+	@Check: (Optional)
+		...
+	@Action: (Optional)
+		...
+	@Post_action: (Optional)
+	@Post_check: (Optional)
+	@End
+
 */
 
 
@@ -95,6 +148,7 @@ import java.io.File;
 import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.HashSet;
+import java.util.Arrays;
 
 import edu.uci.eecs.specCompiler.specExtraction.Construct;
 import edu.uci.eecs.specCompiler.specExtraction.GlobalConstruct;
@@ -102,6 +156,7 @@ import edu.uci.eecs.specCompiler.specExtraction.InterfaceConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.PotentialCPDefineConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.CPDefineConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.CPDefineCheckConstruct;
+import edu.uci.eecs.specCompiler.specExtraction.CPClearConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.ConditionalInterface;
 import edu.uci.eecs.specCompiler.specExtraction.SequentialDefineSubConstruct;
 import edu.uci.eecs.specCompiler.specExtraction.InterfaceDefineConstruct;
@@ -122,10 +177,10 @@ import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
 		public static void main(String[] argvs)
 		throws ParseException, TokenMgrError {
 			try {
-				File f = new File("./grammer/spec.txt");
+				File f = new File("./grammer/spec1.txt");
 				FileInputStream fis = new FileInputStream(f);
 				SpecParser parser = new SpecParser(fis);
-				/*
+				
 				ArrayList<String> content = new ArrayList<String>();
 				ArrayList<Construct> constructs = new ArrayList<Construct>();
 				ArrayList<String> headers = new ArrayList<String>();
@@ -137,9 +192,9 @@ import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
 				for (int i = 0; i < constructs.size(); i++) {
 					System.out.println(constructs.get(i));
 				}
-				*/
 				
-				parser.Test();
+				
+				//parser.Test();
 				System.out.println("Parsing finished!");
 			} catch (FileNotFoundException e) {
 				e.printStackTrace();
@@ -162,7 +217,14 @@ import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
 			return null;
 		}
 
-		public static ArrayList<String> getTemplateArg(String line)
+
+		private static ArrayList<String> breakLines(String all) {
+			String lines[] = all.split("[\\r\\n]+");
+			return new ArrayList<String>(Arrays.asList(lines));
+		}
+
+
+		public static ArrayList<VariableDeclaration> getTemplateArg(String line)
 		throws ParseException {
 			InputStream input = new ByteArrayInputStream(line.getBytes());
 			SpecParser parser = new SpecParser(input);
@@ -179,18 +241,69 @@ import edu.uci.eecs.specCompiler.specExtraction.VariableDeclaration;
 
 		public static String stringArray2String(ArrayList<String> content) {
 			StringBuilder sb = new StringBuilder();
+			if (content.size() == 1)
+				return content.get(0);
 			for (int i = 0; i < content.size(); i++) {
 				sb.append(content.get(i) + "\n");
 			}
 			return sb.toString();
 		}
 
+		/**
+		boolean spaceSeparator(Token t) {
+			switch (t.image) {
+				case "[":
+				case "]":
+				case "=":
+				case "(":
+				case ")":
+				case ",":
+				case ".":
+				case "*":
+				case "~":
+				case "!":
+				case "&":
+				case "|":
+				case "%":
+				case "+":
+				case "-":
+				case "/":
+				case "<":
+				case ">":
+				case "<=":
+				case ">=":
+				case "==":
+				case "!=":
+				case "&&":
+				case "||":
+				case "^":
+				case "?":
+				case ":":
+				case "::":
+				case "<<":
+				case ">>":
+				case ">>>":
+				case "+=":
+				case "-=":
+				case "*=":
+				case "/=":
+				case "%=":
+				case "^=":
+				case "&=":
+				case ";":
+					return false;
+				default:
+					return true;
+			}
+		}
+		*/
+
 	}
 PARSER_END(SpecParser)
 
 
 
-<*> SKIP :
+<IN_POTENTIAL_SPEC, IN_SPEC> SKIP :
 {
 	" "
 |
@@ -219,6 +332,10 @@ SKIP : {
 	"/*": IN_COMMENT
 }
 
+<DEFAULT> TOKEN: {
+	<ANY: ~[]>
+}
+
 <*> SKIP : {
 	// "//" comment for the specification
 	<"//" (~["\n", "\r"])* (["\n", "\r"])>
@@ -285,18 +402,28 @@ SKIP : {
 	<POST_CHECK: "@Post_check:">
 |
 	<POTENTIAL_COMMIT_POINT_DEFINE: "@Potential_commit_point_define:">
+|
+	<POTENTIAL_ADDITIONAL_ORDERING_POINT_DEFINE: "@Potential_additional_ordering_point_define:">
 |
 	<LABEL: "@Label:">
 |
 	<COMMIT_POINT_DEFINE_CHECK: "@Commit_point_define_check:">
+|
+	<ADDITIONAL_ORDERING_POINT_DEFINE_CHECK: "@Additional_ordering_point_define_check:">
 |
 	<COMMIT_POINT_DEFINE: "@Commit_point_define:">
+|
+	<ADDITIONAL_ORDERING_POINT_DEFINE: "@Additional_ordering_point_define:">
+|
+	<COMMIT_POINT_CLEAR: "@Commit_point_clear:">
 |
 	<POTENTIAL_COMMIT_POINT_LABEL: "@Potential_commit_point_label:">
+|
+	<POTENTIAL_ADDITIONAL_ORDERING_POINT_LABEL: "@Potential_additional_ordering_point_label:">
 }
 
 
-<IN_SPEC, DEFAULT> TOKEN :
+<IN_SPEC> TOKEN :
 {
 /*   Specification & C/C++ shared tokens   */
 // Reserved keywords
@@ -309,6 +436,12 @@ SKIP : {
 	<UNSIGNED: "unsigned">
 |
 	<TEMPLATE: "template">
+|
+	<INLINE: "inline">
+|
+	<STATIC: "static">
+|
+	<FOR: "for">
 |
 	<#DIGIT: ["0"-"9"]>
 |
@@ -338,6 +471,8 @@ SKIP : {
 |
 /*   C/C++ only token*/
 	<DOT: ".">
+|
+	<DOLLAR: "$">
 |
 	<STAR: "*">
 |
@@ -386,6 +521,28 @@ SKIP : {
 	<COLON: ":">
 |
 	<DOUBLECOLON: "::">
+|
+	<DOUBLELESSTHAN: "<<">
+|
+	<DOUBLEGREATERTHAN: ">>">
+|
+	<TRIPLEGREATERTHAN: ">>>">
+|
+	<PLUS_EQUALS: "+=">
+|
+	<MINUS_EQUALS: "-=">
+|
+	<TIMES_EQUALS: "*=">
+|
+	<DIVIDE_EQUALS: "/=">
+|
+	<MOD_EQUALS: "%=">
+|
+	<XOR_EQUALS: "^=">
+|
+	<OR_EQUALS: "|=">
+|
+	<AND_EQUALS: "&=">
 |
 	<SEMI_COLON: ";">
 |
@@ -462,7 +619,7 @@ String Type() :
 }
 {
 	{ type = ""; }
-	("const"
+	(<CONST>
 	{ type = "const"; }
 	)?
 	(((str = <STRUCT>.image | str = <CLASS>.image | str = <UNSIGNED>.image) { type = type + " " + str; })? 
@@ -474,7 +631,7 @@ String Type() :
 			type = name.fullName;
 	})
 	)
-	((str = "const".image {
+	((str = <CONST>.image {
 		if (!type.equals(""))
 			type = type + " " + str;
 		else
@@ -498,25 +655,6 @@ String Type() :
 	}
 }
 
-void Test() :
-{
-	String str;	
-	FunctionHeader func;
-}
-{
-	/*
-	str = Type()
-	{
-		System.out.println(str);
-	}
-	*/
-	func = FuncDecl() 
-	{
-		System.out.println(func);
-	}
-
-	
-}
 
 String ParameterizedName() :
 {
@@ -525,8 +663,8 @@ String ParameterizedName() :
 }
 {
 	(str = <IDENTIFIER>.image {res = str;})
-	("<" str = <IDENTIFIER>.image { res = res + "<" + str; }
-	("," str = <IDENTIFIER>.image { res = res + ", " + str; })* ">"
+	(<OPEN_BRACKET> str = Type() { res = res + "<" + str; }
+	(<COMMA> str = Type() { res = res + ", " + str; })* <CLOSE_BRACKET>
 	{ res = res + ">"; }
 	)?
 	{
@@ -541,6 +679,7 @@ FunctionHeader FuncDecl() :
 	ArrayList<VariableDeclaration> args;
 }
 {
+	(<STATIC> | <INLINE>)*
 	ret = Type() 
 	funcName = ParseQualifiedName() 
 	args = FormalParamList() 
@@ -567,23 +706,32 @@ QualifiedName ParseQualifiedName() :
 	}
 }
 
-ArrayList<String> TemplateParamList() :
+ArrayList<VariableDeclaration> TemplateParamList() :
 {
-	ArrayList<String> params;
-	String str;
+	ArrayList<VariableDeclaration> params;
+	String type;
+	String name;
 }
 {
 	{
-		params = new ArrayList<String>();
+		params = new ArrayList<VariableDeclaration>();
 	}
 	<TEMPLATE>
-	"<"
-	(str = <IDENTIFIER>.image 
-	str = <IDENTIFIER>.image {params.add(str);})
+	<OPEN_BRACKET>
+	(type = <IDENTIFIER>.image 
+	name = <IDENTIFIER>.image
+	{
+		params.add(new VariableDeclaration(type, name));
+	}
+	)
 
-	("," str = <IDENTIFIER>.image 
-	str = <IDENTIFIER>.image {params.add(str);})*
-	">"
+	(<COMMA> type = <IDENTIFIER>.image 
+	name = <IDENTIFIER>.image
+	{
+		params.add(new VariableDeclaration(type, name));
+	}
+	)*
+	<CLOSE_BRACKET>
 	{
 		//System.out.println(params);
 		return params;
@@ -599,10 +747,10 @@ ArrayList<VariableDeclaration > FormalParamList() :
 	{
 		typeParams = new ArrayList<VariableDeclaration >();
 	}
-	"("
+	<OPEN_PAREN>
 	((varDecl = TypeParam() {typeParams.add(varDecl);})
 	((<COMMA> varDecl = TypeParam() {typeParams.add(varDecl);}))*)?
-	")"
+	<CLOSE_PAREN>
 	{
 		return typeParams;
 	}
@@ -619,12 +767,16 @@ VariableDeclaration TypeParam() :
 	}
 }
 
+
+
 ArrayList<String> C_CPP_CODE(ArrayList<String> headers) :
 {
 	String text;
 	Token t;
 	boolean newLine = false;
+	boolean newSpace = true;
 	boolean inTemplate = false;
+	boolean inForLoop = false;
 	ArrayList<String> content;
 	String header;
 }
@@ -639,6 +791,8 @@ ArrayList<String> C_CPP_CODE(ArrayList<String> headers) :
 	(
 	t = <CONST> | t = <STRUCT> | t = <CLASS> | t = <UNSIGNED> |
 	(t = <TEMPLATE> { inTemplate = true;  })|
+	t = <STATIC> | t = <INLINE> |
+	(t = <FOR> { inForLoop = true; })|
 	(t = <INCLUDE>
 	{
 		header = t.image;
@@ -649,28 +803,55 @@ ArrayList<String> C_CPP_CODE(ArrayList<String> headers) :
 	})
 	| t = <IDENTIFIER> | t = <POUND> |
 	(t = <OPEN_BRACE>  { newLine = true; } ) |
-	(t = <CLOSE_BRACE>  { newLine = true; } ) | 
+	(t = <CLOSE_BRACE>  { newLine = true; inForLoop = false;} ) | 
 	t = <EQUALS> | t = <OPEN_PAREN> | t = <CLOSE_PAREN> | 
 	t = <OPEN_BRACKET> | t = <CLOSE_BRACKET>
 	| t = <HB_SYMBOL> | t = <COMMA> |
-	t = <DOT> | t = <STAR> | t = <NEGATE> | t = <EXCLAMATION> | t = <AND> | t = <OR> | t = <MOD> | t = <PLUS> |
+	t = <DOT> | t = <STAR> | t = <DOLLAR> | t = <NEGATE> | t = <EXCLAMATION> | t = <AND> | t = <OR> | t = <MOD> | t = <PLUS> |
 	t = <PLUSPLUS> | t = <MINUS> | t = <MINUSMINUS> | t = <DIVIDE> | t = <BACKSLASH> |
 	t = <LESS_THAN> |
 	(t = <GREATER_THAN> { if (inTemplate) newLine = true; }) |
 	t = <GREATER_EQUALS>	| t = <LESS_EQUALS> |
 	t = <LOGICAL_EQUALS> | t = <NOT_EQUALS> | t = <LOGICAL_AND> | t = <LOGICAL_OR> | t = <XOR> |
 	t = <QUESTION_MARK> | t = <COLON> | t = <DOUBLECOLON> |
-	(t = <SEMI_COLON> { newLine = true; } )
+	t = <DOUBLELESSTHAN> | 
+	t = <DOUBLEGREATERTHAN> |
+	t = <TRIPLEGREATERTHAN> | 
+
+	t = <PLUS_EQUALS> |
+	t = <MINUS_EQUALS> |
+	t = <TIMES_EQUALS> |
+	t = <DIVIDE_EQUALS> |
+	t = <MOD_EQUALS> |
+	t = <XOR_EQUALS> |
+	t = <OR_EQUALS> |
+	t = <AND_EQUALS> |
+
+	(t = <SEMI_COLON> { if (!inForLoop) newLine = true; } )
 	| t = <STRING_LITERAL> | t = <CHARACTER_LITERAL> |
 	t = <INTEGER_LITERAL> | t = <FLOATING_POINT_LITERAL> |
 	(t = <DEFINE> { newLine = true; } )
 	)
 	{
-		text = text + " " + t.image;
+		if (text.equals("")) {
+			text = t.image;
+			newSpace = true;
+		} else {
+			text = text + " " + t.image;
+			/*
+			if (newSpace && spaceSeparator(t)) {
+				text = text + " " + t.image;
+			} else {
+				text = text + t.image;
+				if (spaceSeparator(t))
+					newSpace = true;
+			}*/
+		}
 		if (newLine) {
 			content.add(text);
 			text = "";
 			newLine = false;
+			inTemplate = false;
 		}
 	}
 	)+
@@ -687,17 +868,55 @@ ArrayList<String> C_CPP_CODE(ArrayList<String> headers) :
 void Parse(File f, ArrayList<String> content, ArrayList<Construct> constructs, ArrayList<String> headers) :
 {
 	Construct inst;
-	ArrayList<String> code;
+	StringBuilder sb;
+	boolean flushSB;
 }
 {
 	{
 		_file = f;
 		_content = content;
 		_constructs = constructs;
+		sb = new StringBuilder();
+	}
+	(
+	(inst = ParseSpec()
+	{
+		_constructs.add(inst);
+	}
+	) |
+	//((code = C_CPP_CODE(headers)) { _content.addAll(code); })
+	(
+	flushSB = OriginalCode(sb)
+	{
+		if (flushSB) {
+			sb = new StringBuilder();
+		}
+	}
+	)
+	)* 
+	// For the last piece of code
+	{
+		_content.add(sb.toString());
+	}
+	<EOF>
+}
+
+// If true, there's a new line and sb should be flushed
+boolean OriginalCode(StringBuilder sb) :
+{
+	String str;
+}
+{
+	str = <ANY>.image
+	{
+		if (!str.equals("\n")) {
+			sb.append(str);
+			return false;
+		} else {
+			_content.add(sb.toString());
+			return true;
+		}
 	}
-	((inst = ParseSpec() { _constructs.add(inst); }) |
-	((code = C_CPP_CODE(headers)) { _content.addAll(code); })
-	)* <EOF>
 }
 
 Construct ParseSpec() :
@@ -711,6 +930,10 @@ Construct ParseSpec() :
 	LOOKAHEAD(2) res = Potential_commit_point_define() |
 	LOOKAHEAD(2) res = Commit_point_define() |
 	LOOKAHEAD(2) res = Commit_point_define_check() |
+	LOOKAHEAD(2) res = Potential_additional_ordering_point_define() |
+	LOOKAHEAD(2) res = Additional_ordering_point_define() |
+	LOOKAHEAD(2) res = Additional_ordering_point_define_check() |
+	LOOKAHEAD(2) res = Commit_point_clear() |
 	LOOKAHEAD(2) res = Entry_point() |
 	LOOKAHEAD(2) res = Class_begin() |
 	LOOKAHEAD(2) res = Class_end() |
@@ -778,7 +1001,7 @@ SequentialDefineSubConstruct Global_define() :
 	<GLOBAL_DEFINE>
 	(<DECLARE_STRUCT> (declareStruct = C_CPP_CODE(null) {
 		declareStructs.add(declareStruct); }))*
-		(<DECLARE_VAR> ((declareVar = TypeParam() ";" {
+		(<DECLARE_VAR> ((declareVar = TypeParam() <SEMI_COLON> {
 			declareVars.add(declareVar); } )*))?
 	(<INIT_VAR> (code = C_CPP_CODE(null) { initVar = code; } ))?
 	(<DEFINE_FUNC> (defineFunc = C_CPP_CODE(null) { defineFuncs.add(defineFunc); }))*
@@ -798,8 +1021,8 @@ ConditionalInterface Conditional_interface() :
 	{
 		hbConditionLabel = "";
 	}
-	interfaceName = <IDENTIFIER>.image (<OPEN_BRACKET> hbConditionLabel =
-	<IDENTIFIER>.image <CLOSE_BRACKET>)?
+	interfaceName = <IDENTIFIER>.image (<OPEN_PAREN> hbConditionLabel =
+	<IDENTIFIER>.image <CLOSE_PAREN>)?
 	{
 		return new ConditionalInterface(interfaceName, hbConditionLabel);
 	}
@@ -812,14 +1035,14 @@ void Interface_cluster(GlobalConstruct inst) :
 }
 {
 	(clusterName= <IDENTIFIER>.image)
-	<EQUALS> <OPEN_PAREN>
+	<EQUALS> <OPEN_BRACE>
 		(condInterface = Conditional_interface()
 		{ inst.addInterface2Cluster(clusterName, condInterface); } 
 		)
 		(<COMMA> condInterface = Conditional_interface()
 		{ inst.addInterface2Cluster(clusterName, condInterface); } 
 		)*
-	<CLOSE_PAREN>
+	<CLOSE_BRACE>
 }
 
 void Interface_clusters(GlobalConstruct inst) :
@@ -882,7 +1105,7 @@ InterfaceConstruct Interface() :
 			(<CONDITION> (content = C_CPP_CODE(null) { condition = stringArray2String(content); }))?
 			(
 				<HB_CONDITION>
-				(hbLabel = <IDENTIFIER>.image)
+				(hbLabel = <IDENTIFIER>.image) <DOUBLECOLON>
 				(content = C_CPP_CODE(null) { hbCondition = stringArray2String(content); })
 				{
 					if (hbConditions.containsKey(hbLabel)) {
@@ -925,6 +1148,26 @@ PotentialCPDefineConstruct Potential_commit_point_define() :
 	}
 }
 
+PotentialCPDefineConstruct Potential_additional_ordering_point_define() :
+{
+	PotentialCPDefineConstruct res;
+	String label, condition;
+	ArrayList<String> content;
+}
+{
+
+	{ res = null; }
+		<BEGIN>
+			<POTENTIAL_ADDITIONAL_ORDERING_POINT_DEFINE> (content = C_CPP_CODE(null) { condition = stringArray2String(content); })
+			<LABEL> (label = <IDENTIFIER>.image)
+		<END>
+	{
+		// Set the boolean flag isAdditionalOrderingPoint to be true
+		res = new PotentialCPDefineConstruct(_file, _content.size(), true, label, condition); 
+		return res;
+	}
+}
+
 
 CPDefineConstruct Commit_point_define() :
 {
@@ -941,7 +1184,47 @@ CPDefineConstruct Commit_point_define() :
 			<LABEL> (label = <IDENTIFIER>.image)
 		<END>
 	{
-		res = new CPDefineConstruct(_file, _content.size(), label, potentialCPLabel, condition);
+		res = new CPDefineConstruct(_file, _content.size(), false, label, potentialCPLabel, condition);
+		return res;
+	}
+}
+
+CPDefineConstruct Additional_ordering_point_define() :
+{
+	CPDefineConstruct res;
+	String label, potentialCPLabel, condition;
+	ArrayList<String> content;
+}
+{
+
+	{ res = null; }
+		<BEGIN>
+			<ADDITIONAL_ORDERING_POINT_DEFINE> (content = C_CPP_CODE(null) { condition = stringArray2String(content); })
+			<POTENTIAL_ADDITIONAL_ORDERING_POINT_LABEL> (potentialCPLabel = <IDENTIFIER>.image)
+			<LABEL> (label = <IDENTIFIER>.image)
+		<END>
+	{
+		// Set the boolean flag isAdditionalOrderingPoint to be true
+		res = new CPDefineConstruct(_file, _content.size(), true, label, potentialCPLabel, condition);
+		return res;
+	}
+}
+
+CPClearConstruct Commit_point_clear() :
+{
+	CPClearConstruct res;	
+	String label, condition;
+	ArrayList<String> content;
+}
+{
+
+	{ res = null; }
+		<BEGIN> 
+			<COMMIT_POINT_CLEAR> (content = C_CPP_CODE(null) { condition = stringArray2String(content); })
+			<LABEL> (label = <IDENTIFIER>.image)
+		<END>
+	{
+		res = new CPClearConstruct(_file, _content.size(), label, condition);
 		return res;
 	}
 }
@@ -961,7 +1244,27 @@ CPDefineCheckConstruct Commit_point_define_check() :
 			<LABEL> (label = <IDENTIFIER>.image)
 		<END>
 	{
-		res = new CPDefineCheckConstruct(_file, _content.size(), label, condition);
+		res = new CPDefineCheckConstruct(_file, _content.size(), false, label, condition);
+		return res;
+	}
+}
+
+CPDefineCheckConstruct Additional_ordering_point_define_check() :
+{
+	CPDefineCheckConstruct res;	
+	String label, condition;
+	ArrayList<String> content;
+}
+{
+
+	{ res = null; }
+		<BEGIN> 
+			<ADDITIONAL_ORDERING_POINT_DEFINE_CHECK> (content = C_CPP_CODE(null) { condition = stringArray2String(content); })
+			<LABEL> (label = <IDENTIFIER>.image)
+		<END>
+	{
+		// Set the boolean flag isAdditionalOrderingPoint to be true
+		res = new CPDefineCheckConstruct(_file, _content.size(), true, label, condition);
 		return res;
 	}
 }