1 /* spec-compiler.jj Grammer definition for the specification */
5 JAVA_UNICODE_ESCAPE = true;
8 PARSER_BEGIN(SpecParser)
9 package edu.uci.eecs.specCompiler.grammerParser;
12 public static void main(String[] argvs)
13 throws ParseException, TokenMgrError {
14 SpecParser parser = new SpecParser(System.in);
16 System.out.println("Parsing finished!");
19 PARSER_END(SpecParser)
21 SKIP : {" " | "\n" | "\r" | "\r\n" | <COMMENT>}
25 <SPACE: (" " | "\t")+>
27 <COMMENT: <SPACE> "#" (~["\n", "\r"])* ["\n", "\r"]>
39 <CONDITION: "@Condition:">
45 <POST_ACTION: "@Post_action:">
47 <POST_CHECK: "@Post_check:">
49 <GLOBAL_DEFINE: "@Global_define:">
51 <HAPPENS_BEFORE: "@Happens_before:">
53 <INTERFACE_CLUSTER: "@Interface_cluster:">
55 <POTENTIAL_COMMIT_POINT: "@Potential_commit_point:">
62 <HEAD> <BEGIN> <END> <TAIL> <EOF>