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"]>
43 <HEAD> <BEGIN> <END> <TAIL> <EOF>