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 )? ";"