--- /dev/null
+/* spec-compiler.jj Grammer definition for the specification */
+
+options {
+ STATIC = false;
+ JAVA_UNICODE_ESCAPE = true;
+}
+
+PARSER_BEGIN(SpecParser)
+package edu.uci.eecs.specCompiler.grammerParser;
+
+ class SpecParser {
+ public static void main(String[] argvs)
+ throws ParseException, TokenMgrError {
+ SpecParser parser = new SpecParser(System.in);
+ parser.Start();
+ System.out.println("Parsing finished!");
+ }
+ }
+PARSER_END(SpecParser)
+
+SKIP : {" " | "\n" | "\r" | "\r\n" | <COMMENT>}
+
+TOKEN :
+{
+ <SPACE: (" " | "\t")+>
+|
+ <COMMENT: <SPACE> "#" (~["\n", "\r"])* ["\n", "\r"]>
+|
+ <HEAD: "/**">
+|
+ <TAIL: "*/">
+|
+ <BEGIN: "@Begin">
+|
+ <END: "@End">
+|
+
+}
+
+void Start() :
+{}
+{
+ <HEAD> <BEGIN> <END> <TAIL> <EOF>
+}