BNF for funkytacojava.jj

TOKENS

NON-TERMINALS

/************************************
 * The FunkyTACoJava Grammar Starts Here *
 ************************************/
Goal ::= MainClass ( TypeDeclaration )* <EOF>
MainClass ::= "class" Identifier "{" "public" "static" "void" "main" "(" "String" "[" "]" Identifier ")" "{" ( VarDeclaration )* ( Statement )* "}" "}"
TypeDeclaration ::= ClassDeclaration
| ClassExtendsDeclaration
ClassDeclaration ::= "class" Identifier "{" ( VarDeclaration )* ( MethodDeclaration )* "}"
ClassExtendsDeclaration ::= "class" Identifier "extends" Identifier "{" ( VarDeclaration )* ( MethodDeclaration )* "}"
VarDeclaration ::= Type Identifier ";"
MethodDeclaration ::= "public" Type Identifier "(" ( FormalParameterList )? ")" "{" ( VarDeclaration )* ( Statement )* "return" ConstOrId ";" "}"
FormalParameterList ::= FormalParameter ( FormalParameterRest )*
FormalParameter ::= Type Identifier
FormalParameterRest ::= "," FormalParameter
Type ::= ArrayType
| BooleanType
| IntegerType
| Identifier
ArrayType ::= "int" "[" "]"
BooleanType ::= "boolean"
IntegerType ::= "int"
Statement ::= Block
| AssignmentStatement
| ArrayAssignmentStatement
| FieldAssignmentStatement
| IfStatement
| WhileStatement
| ForStatement
| PrintStatement
| MessageSendStatement
Block ::= "{" ( Statement )* "}"
AssignmentStatement ::= Identifier "=" RhsExpression ";"
RhsExpression ::= DotExpression
| Expression
ArrayAssignmentStatement ::= Identifier "[" ConstOrId "]" "=" ConstOrId ";"
FieldAssignmentStatement ::= Identifier "." Identifier "=" ConstOrId ";"
IfStatement ::= "if" "(" Identifier ")" Statement "else" Statement
WhileStatement ::= "while" "(" Identifier ")" Statement
ForStatement ::= "for" "(" Identifier "=" Expression ";" Expression ";" Identifier "=" Expression ")" Statement
PrintStatement ::= "System.out.println" "(" ConstOrId ")" ";"
MessageSendStatement ::= ( InlineAnn )? ( VoidMessageSendStmt | RetMessageSendStmt )
VoidMessageSendStmt ::= MessageSend ";"
RetMessageSendStmt ::= Identifier "=" MessageSend ";"
InlineAnn ::= <SCOMMENT1> <INLINE> <SCOMMENT2>
Expression ::= AndExpression
| CompareExpression
| PlusExpression
| MinusExpression
| TimesExpression
| ArrayLookup
| ArrayLength
| PrimaryExpression
AndExpression ::= ConstOrId "&" ConstOrId
CompareExpression ::= ConstOrId "<" ConstOrId
PlusExpression ::= ConstOrId "+" ConstOrId
MinusExpression ::= ConstOrId "-" ConstOrId
TimesExpression ::= ConstOrId "*" ConstOrId
ArrayLookup ::= Identifier "[" ConstOrId "]"
ArrayLength ::= Identifier "." "length"
MessageSend ::= PrimaryExpression "." Identifier "(" ( ArgList )? ")"
ArgList ::= ConstOrId ( ArgRest )*
ArgRest ::= "," ConstOrId
PrimaryExpression ::= IntegerLiteral
| TrueLiteral
| FalseLiteral
| Identifier
| ThisExpression
| ArrayAllocationExpression
| AllocationExpression
| NotExpression
IntegerLiteral ::= IntegerLiteralWithPosSign
| IntegerLiteralWithNegSign
| PlainIntegerLiteral
PlainIntegerLiteral ::= <INTEGER_LITERAL>
IntegerLiteralWithPosSign ::= "+" <INTEGER_LITERAL>
IntegerLiteralWithNegSign ::= "-" <INTEGER_LITERAL>
ConstOrId ::= IntegerLiteral
| Identifier
| TrueLiteral
| FalseLiteral
TrueLiteral ::= "true"
FalseLiteral ::= "false"
Identifier ::= <IDENTIFIER>
ThisExpression ::= "this"
ArrayAllocationExpression ::= "new" "int" "[" ConstOrId "]"
AllocationExpression ::= "new" Identifier "(" ")"
NotExpression ::= "!" Identifier
DotExpression ::= Identifier "." Identifier