/* 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" | } TOKEN : { | "#" (~["\n", "\r"])* ["\n", "\r"]> | | | | | | | | | | | | | | } void Start() : {} { }