options { JAVA_UNICODE_ESCAPE = true; } PARSER_BEGIN(MicroJavaParser) public class MicroJavaParser {} PARSER_END(MicroJavaParser) SKIP : /* WHITE SPACE */ { " " | "\t" | "\n" | "\r" | "\f" } SPECIAL_TOKEN : /* COMMENTS */ { | | } TOKEN : { < LPAREN: "(" > | < RPAREN: ")" > | < LSQPAREN: "[" > | < RSQPAREN: "]" > | < LBRACE: "{" > | < RBRACE: "}" > | < SEMICOLON: ";" > | < DOT: "." > | < ASSIGN: "=" > | < LT: "<" > | < PLUS: "+" > | < MINUS: "-" > | < AND : "&" > | < NOT : "!" > | < BOOLEAN: "boolean" > | < CLASS: "class" > | < INTERFACE: "interface" > | < ELSE: "else" > | < EXTENDS: "extends" > | < FALSE: "false" > | < IF: "if" > | < WHILE: "while" > | < INTEGER: "int" > | < MAIN: "main" > | < NEW: "new" > | < PUBLIC: "public" > | < RETURN: "return" > | < STATIC: "static" > | < STRING: "String" > | < THIS: "this" > | < TRUE: "true" > | < PRINT: "System.out.println" > | < VOID: "void" > } TOKEN : /* LITERALS */ { < INTEGER_LITERAL: ( ["1"-"9"] (["0"-"9"])* | "0" ) > } TOKEN : /* IDENTIFIERS */ { < IDENTIFIER: (|)* > | < #LETTER: [ "\u0024", "\u0041"-"\u005a", "\u005f", "\u0061"-"\u007a", "\u00c0"-"\u00d6", "\u00d8"-"\u00f6", "\u00f8"-"\u00ff", "\u0100"-"\u1fff", "\u3040"-"\u318f", "\u3300"-"\u337f", "\u3400"-"\u3d2d", "\u4e00"-"\u9fff", "\uf900"-"\ufaff" ] > | < #DIGIT: [ "\u0030"-"\u0039", "\u0660"-"\u0669", "\u06f0"-"\u06f9", "\u0966"-"\u096f", "\u09e6"-"\u09ef", "\u0a66"-"\u0a6f", "\u0ae6"-"\u0aef", "\u0b66"-"\u0b6f", "\u0be7"-"\u0bef", "\u0c66"-"\u0c6f", "\u0ce6"-"\u0cef", "\u0d66"-"\u0d6f", "\u0e50"-"\u0e59", "\u0ed0"-"\u0ed9", "\u1040"-"\u1049" ] > } /************************************* * The MicroJava Grammar Starts Here * *************************************/ void Goal() : {} { MainClass() ( TypeDeclaration() )* } void MainClass() : {} { "class" Identifier() "{" "public" "static" "void" "main" "(" "String" "[" "]" Identifier() ")" "{" "new" Identifier() "(" ")" "." Identifier() "(" ( ExpressionList() )? ")" ";" "}" "}" } void TypeDeclaration() : {} { LOOKAHEAD(3) ClassDeclaration() | ClassExtendsDeclaration() } void ClassDeclaration() : {} { "class" Identifier() "{" ( VarDeclaration() )* ( MethodDeclaration() )* "}" } void ClassExtendsDeclaration() : {} { "class" Identifier() "extends" Identifier() "{" ( VarDeclaration() )* ( MethodDeclaration() )* "}" } void VarDeclaration() : {} { Type() Identifier() ";" } void MethodDeclaration() : {} { "public" "void" Identifier() "(" ( FormalParameterList() )? ")" "{" ( LOOKAHEAD(2) VarDeclaration() )* ( Statement() )* "}" } void FormalParameterList() : {} { FormalParameter() ( FormalParameterRest() )* } void FormalParameter() : {} { Type() Identifier() } void FormalParameterRest() : {} { "," FormalParameter() } void Type() : {} { LOOKAHEAD(3) ArrayType() | BooleanType() | IntegerType() | Identifier() } void ArrayType() : {} { "int" "[" "]" } void BooleanType() : {} { "boolean" } void IntegerType() : {} { "int" } void Statement() : {} { Block() | LOOKAHEAD( VarRef() "=" ) AssignmentStatement() | LOOKAHEAD(Identifier() "[" Expression() "]" "=" ) ArrayAssignmentStatement() | IfStatement() | WhileStatement() | PrintStatement() | LOOKAHEAD( Identifier() "." Identifier() "(" ) MessageSendStatement() } void Block() : {} { "{" ( Statement() )* "}" } void AssignmentStatement() : {} { VarRef() "=" Expression() ";" } void ArrayAssignmentStatement() : {} { Identifier() "[" Expression() "]" "=" Expression() ";" } void IfStatement() : {} { "if" "(" Expression() ")" Statement() "else" Statement() } void WhileStatement() : {} { "while" "(" Expression() ")" Statement() } void PrintStatement() : {} { "System.out.println" "(" Expression() ")" ";" } void MessageSendStatement() : {} { Identifier() "." Identifier() "(" ( ExpressionList() )? ")" ";" } void Expression() : {} { LOOKAHEAD( PrimaryExpression() "&" ) AndExpression() | LOOKAHEAD( PrimaryExpression() "<" ) CompareExpression() | LOOKAHEAD( PrimaryExpression() "+" ) PlusExpression() | LOOKAHEAD( PrimaryExpression() "-" ) MinusExpression() | LOOKAHEAD( PrimaryExpression() "*" ) TimesExpression() | LOOKAHEAD( PrimaryExpression() "[" ) ArrayLookup() | PrimaryExpression() } void AndExpression() : {} { PrimaryExpression() "&" PrimaryExpression() } void CompareExpression() : {} { PrimaryExpression() "<" PrimaryExpression() } void PlusExpression() : {} { PrimaryExpression() "+" PrimaryExpression() } void MinusExpression() : {} { PrimaryExpression() "-" PrimaryExpression() } void TimesExpression() : {} { PrimaryExpression() "*" PrimaryExpression() } void ArrayLookup() : {} { PrimaryExpression() "[" PrimaryExpression() "]" } void ExpressionList() : {} { Expression() ( ExpressionRest() )* } void ExpressionRest() : {} { "," Expression() } void PrimaryExpression() : {} { IntegerLiteral() | TrueLiteral() | FalseLiteral() | VarRef() | ThisExpression() | LOOKAHEAD(3) ArrayAllocationExpression() | AllocationExpression() | NotExpression() | BracketExpression() } void IntegerLiteral() : {} { } void TrueLiteral() : {} { "true" } void FalseLiteral() : {} { "false" } void Identifier() : {} { } void ThisExpression() : {} { "this" } void ArrayAllocationExpression() : {} { "new" "int" "[" Expression() "]" } void AllocationExpression() : {} { "new" Identifier() "(" ")" } void NotExpression() : {} { "!" Expression() } void BracketExpression() : {} { "(" Expression() ")" } void VarRef() : {} { LOOKAHEAD(2) DotExpression() | Identifier() } void DotExpression() : {} { Identifier() "." Identifier() }