BNF for objects.oo

NON-TERMINALS

CompilationUnit ::= ClassDeclaration ( ClassDeclaration )* <EOF>
ClassDeclaration ::= ( "abstract" )? "class" <IDENTIFIER> ( ExtendsDeclaration )? "{" ( ClassBodyDeclaration )* "}"
ExtendsDeclaration ::= "extends" <IDENTIFIER>
ClassBodyDeclaration ::= ( ConstructorDeclaration | MethodDeclaration | FieldDeclaration )
FieldDeclaration ::= Type <IDENTIFIER> ";"
MethodDeclaration ::= ( "static" )? ( "abstract" )? ResultType <IDENTIFIER> FormalParameters ( ( Block | ";" ) )
FormalParameters ::= "(" ( FormalParameter ( "," FormalParameter )* )? ")"
FormalParameter ::= CallingConvention Type <IDENTIFIER>
CallingConvention ::= ( "val" | "need" )
ConstructorDeclaration ::= <IDENTIFIER> FormalParameters "{" ( ExplicitConstructorInvocation )? ( BlockStatement )* "}"
ExplicitConstructorInvocation ::= "super" Arguments ";"
Type ::= ( "boolean" | "int" | "float" | <IDENTIFIER> )
ResultType ::= ( "void" | "boolean" | "int" | "float" | <IDENTIFIER> )
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 | CastExpression | PrimaryExpression )
CastExpression ::= "(" <IDENTIFIER> ")" UnaryExpressionNotPlusMinus
PrimaryExpression ::= ( Literal | "(" Expression ")" | StaticMethodCall | VirtualMethodCall | FieldAccess | AllocationExpression | <IDENTIFIER> )
VirtualMethodCall ::= <IDENTIFIER> "." <IDENTIFIER> Arguments
StaticMethodCall ::= <IDENTIFIER> Arguments
FieldAccess ::= <IDENTIFIER> "." <IDENTIFIER>
Literal ::= ( <INTEGER_LITERAL> | <FLOATING_POINT_LITERAL> | BooleanLiteral | NullLiteral )
BooleanLiteral ::= ( "true" | "false" )
NullLiteral ::= "null"
Arguments ::= "(" ( ArgumentList )? ")"
ArgumentList ::= Expression ( "," Expression )*
AllocationExpression ::= "new" <IDENTIFIER> Arguments
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 )? ";"