BNF for functions.oo

NON-TERMINALS

CompilationUnit ::= ClassDeclaration <EOF>
ClassDeclaration ::= "class" <IDENTIFIER> "{" ( ClassBodyDeclaration )* "}"
ClassBodyDeclaration ::= MethodDeclaration
MethodDeclaration ::= "static" ResultType <IDENTIFIER> FormalParameters ( ( Block | ";" ) )
FormalParameters ::= "(" ( FormalParameter ( "," FormalParameter )* )? ")"
FormalParameter ::= CallingConvention Type <IDENTIFIER>
CallingConvention ::= ( "val" | "need" )
Type ::= ( "boolean" | "int" | "float" )
ResultType ::= ( "void" | "boolean" | "int" | "float" )
Expression ::= ConditionalOrExpression
ConditionalOrExpression ::= ConditionalAndExpression ( "||" ConditionalAndExpression )*
ConditionalAndExpression ::= InclusiveOrExpression ( "&&" InclusiveOrExpression )*
InclusiveOrExpression ::= ExclusiveOrExpression ( "|" ExclusiveOrExpression )*
ExclusiveOrExpression ::= AndExpression ( "^" AndExpression )*
AndExpression ::= EqualityExpression ( "&" EqualityExpression )*
EqualityExpression ::= RelationalExpression ( ( ( "==" | "!=" ) ) RelationalExpression )*
RelationalExpression ::= ShiftExpression ( ( ( "<" | ">" | "<=" | ">=" ) ) ShiftExpression )?
ShiftExpression ::= AdditiveExpression ( ( ( "<<" | ">>" | ">>>" ) ) AdditiveExpression )*
AdditiveExpression ::= MultiplicativeExpression ( ( ( "+" | "-" ) ) MultiplicativeExpression )*
MultiplicativeExpression ::= UnaryExpression ( ( ( "*" | "/" | "%" ) ) UnaryExpression )*
UnaryExpression ::= ( ( ( "+" | "-" ) ) UnaryExpression | UnaryExpressionNotPlusMinus )
UnaryExpressionNotPlusMinus ::= ( ( ( "~" | "!" ) ) UnaryExpression | PrimaryExpression )
PrimaryExpression ::= ( Literal | "(" Expression ")" | StaticMethodCall | <IDENTIFIER> )
StaticMethodCall ::= <IDENTIFIER> Arguments
Literal ::= ( <INTEGER_LITERAL> | <FLOATING_POINT_LITERAL> | BooleanLiteral )
BooleanLiteral ::= ( "true" | "false" )
Arguments ::= "(" ( ArgumentList )? ")"
ArgumentList ::= Expression ( "," Expression )*
Statement ::= ( Block | EmptyStatement | StatementExpression ";" | SwitchStatement | IfStatement | WhileStatement | BreakStatement | ContinueStatement | ReturnStatement | PrintStatement )
PrintStatement ::= "print" "(" Expression ")" ";"
Block ::= "{" ( BlockStatement )* "}"
BlockStatement ::= ( LocalVariableDeclaration ";" | Statement )
LocalVariableDeclaration ::= Type <IDENTIFIER> "=" Expression
EmptyStatement ::= ";"
StatementExpression ::= <IDENTIFIER> "=" Expression
SwitchStatement ::= "switch" "(" Expression ")" "{" ( SwitchClause )* "}"
SwitchClause ::= SwitchLabel ( BlockStatement )*
SwitchLabel ::= ( CaseLabel | "default" ":" )
CaseLabel ::= "case" Expression ":"
IfStatement ::= "if" "(" Expression ")" Statement "else" Statement
WhileStatement ::= "while" "(" Expression ")" Statement
BreakStatement ::= "break" ";"
ContinueStatement ::= "continue" ";"
ReturnStatement ::= "return" ( Expression )? ";"