| CompilationUnit |
::= |
( PackageDeclaration )? ( ImportDeclaration )* ( TypeDeclaration )* <EOF> |
| PackageDeclaration |
::= |
"package" Name ";" |
| ImportDeclaration |
::= |
"import" ( "static" )? Name ( "." "*" )? ";" |
| Modifiers |
::= |
( ( "public" | "static" | "protected" | "private" | "final" | "abstract" | "synchronized" | "native" | "transient" | "volatile" | "strictfp" | Annotation ) )* |
| TypeDeclaration |
::= |
( ";" | Modifiers ( ClassOrInterfaceDeclaration | EnumDeclaration | AnnotationTypeDeclaration ) ) |
| ClassOrInterfaceDeclaration |
::= |
( "class" | "interface" ) <IDENTIFIER> ( TypeParameters )? ( ExtendsList )? ( ImplementsList )? ClassOrInterfaceBody |
| ExtendsList |
::= |
"extends" ClassOrInterfaceType ( "," ClassOrInterfaceType )* |
| ImplementsList |
::= |
"implements" ClassOrInterfaceType ( "," ClassOrInterfaceType )* |
| EnumDeclaration |
::= |
"enum" <IDENTIFIER> ( ImplementsList )? EnumBody |
| EnumBody |
::= |
"{" EnumConstant ( "," EnumConstant )* ( ";" ( ClassOrInterfaceBodyDeclaration )* )? "}" |
| EnumConstant |
::= |
<IDENTIFIER> ( Arguments )? ( ClassOrInterfaceBody )? |
| TypeParameters |
::= |
"<" TypeParameter ( "," TypeParameter )* ">" |
| TypeParameter |
::= |
<IDENTIFIER> ( TypeBound )? |
| TypeBound |
::= |
"extends" ClassOrInterfaceType ( "&" ClassOrInterfaceType )* |
| ClassOrInterfaceBody |
::= |
"{" ( ClassOrInterfaceBodyDeclaration )* "}" |
| ClassOrInterfaceBodyDeclaration |
::= |
( Initializer | Modifiers ( ClassOrInterfaceDeclaration | EnumDeclaration | ConstructorDeclaration | FieldDeclaration | MethodDeclaration ) | ";" ) |
| FieldDeclaration |
::= |
Type VariableDeclarator ( "," VariableDeclarator )* ";" |
| VariableDeclarator |
::= |
VariableDeclaratorId ( "=" VariableInitializer )? |
| VariableDeclaratorId |
::= |
<IDENTIFIER> ( "[" "]" )* |
| VariableInitializer |
::= |
( ArrayInitializer | Expression ) |
| ArrayInitializer |
::= |
"{" ( VariableInitializer ( "," VariableInitializer )* )? ( "," )? "}" |
| MethodDeclaration |
::= |
( TypeParameters )? ResultType MethodDeclarator ( "throws" NameList )? ( Block | ";" ) |
| MethodDeclarator |
::= |
<IDENTIFIER> FormalParameters ( "[" "]" )* |
| FormalParameters |
::= |
"(" ( FormalParameter ( "," FormalParameter )* )? ")" |
| FormalParameter |
::= |
( "final" )? Type ( "..." )? VariableDeclaratorId |
| ConstructorDeclaration |
::= |
( TypeParameters )? <IDENTIFIER> FormalParameters ( "throws" NameList )? "{" ( ExplicitConstructorInvocation )? ( BlockStatement )* "}" |
| ExplicitConstructorInvocation |
::= |
( "this" Arguments ";" | ( PrimaryExpression "." )? "super" Arguments ";" ) |
| Initializer |
::= |
( "static" )? Block |
| Type |
::= |
( ReferenceType | PrimitiveType ) |
| ReferenceType |
::= |
( PrimitiveType ( "[" "]" )+ | ( ClassOrInterfaceType ) ( "[" "]" )* ) |
| ClassOrInterfaceType |
::= |
<IDENTIFIER> ( TypeArguments )? ( "." <IDENTIFIER> ( TypeArguments )? )* |
| TypeArguments |
::= |
"<" TypeArgument ( "," TypeArgument )* ">" |
| TypeArgument |
::= |
( ReferenceType | "?" ( WildcardBounds )? ) |
| WildcardBounds |
::= |
( "extends" ReferenceType | "super" ReferenceType ) |
| PrimitiveType |
::= |
( "boolean" | "char" | "byte" | "short" | "int" | "long" | "float" | "double" ) |
| ResultType |
::= |
( "void" | Type ) |
| Name |
::= |
<IDENTIFIER> ( "." <IDENTIFIER> )* |
| NameList |
::= |
Name ( "," Name )* |
| Expression |
::= |
ConditionalExpression ( AssignmentOperator Expression )? |
| AssignmentOperator |
::= |
( "=" | "*=" | "/=" | "%=" | "+=" | "-=" | "<<=" | ">>=" | ">>>=" | "&=" | "^=" | "|=" ) |
| ConditionalExpression |
::= |
ConditionalOrExpression ( "?" Expression ":" Expression )? |
| ConditionalOrExpression |
::= |
ConditionalAndExpression ( "||" ConditionalAndExpression )* |
| ConditionalAndExpression |
::= |
InclusiveOrExpression ( "&&" InclusiveOrExpression )* |
| InclusiveOrExpression |
::= |
ExclusiveOrExpression ( "|" ExclusiveOrExpression )* |
| ExclusiveOrExpression |
::= |
AndExpression ( "^" AndExpression )* |
| AndExpression |
::= |
EqualityExpression ( "&" EqualityExpression )* |
| EqualityExpression |
::= |
InstanceOfExpression ( ( "==" | "!=" ) InstanceOfExpression )* |
| InstanceOfExpression |
::= |
RelationalExpression ( "instanceof" Type )? |
| RelationalExpression |
::= |
ShiftExpression ( ( "<" | ">" | "<=" | ">=" ) ShiftExpression )* |
| ShiftExpression |
::= |
AdditiveExpression ( ( "<<" | RSIGNEDSHIFT | RUNSIGNEDSHIFT ) AdditiveExpression )* |
| AdditiveExpression |
::= |
MultiplicativeExpression ( ( "+" | "-" ) MultiplicativeExpression )* |
| MultiplicativeExpression |
::= |
UnaryExpression ( ( "*" | "/" | "%" ) UnaryExpression )* |
| UnaryExpression |
::= |
( ( "+" | "-" ) UnaryExpression | PreIncrementExpression | PreDecrementExpression | UnaryExpressionNotPlusMinus ) |
| PreIncrementExpression |
::= |
"++" PrimaryExpression |
| PreDecrementExpression |
::= |
"--" PrimaryExpression |
| UnaryExpressionNotPlusMinus |
::= |
( ( "~" | "!" ) UnaryExpression | CastExpression | PostfixExpression ) |
| CastLookahead |
::= |
( "(" PrimitiveType | "(" Type "[" "]" | "(" Type ")" ( "~" | "!" | "(" | <IDENTIFIER> | "this" | "super" | "new" | Literal ) ) |
| PostfixExpression |
::= |
PrimaryExpression ( "++" | "--" )? |
| CastExpression |
::= |
( "(" Type ")" UnaryExpression | "(" Type ")" UnaryExpressionNotPlusMinus ) |
| PrimaryExpression |
::= |
PrimaryPrefix ( PrimarySuffix )* |
| MemberSelector |
::= |
"." TypeArguments <IDENTIFIER> |
| PrimaryPrefix |
::= |
( Literal | "this" | "super" "." <IDENTIFIER> | "(" Expression ")" | AllocationExpression | ResultType "." "class" | Name ) |
| PrimarySuffix |
::= |
( "." "this" | "." AllocationExpression | MemberSelector | "[" Expression "]" | "." <IDENTIFIER> | Arguments ) |
| Literal |
::= |
( <INTEGER_LITERAL> | <FLOATING_POINT_LITERAL> | <CHARACTER_LITERAL> | <STRING_LITERAL> | BooleanLiteral | NullLiteral ) |
| BooleanLiteral |
::= |
( "true" | "false" ) |
| NullLiteral |
::= |
"null" |
| Arguments |
::= |
"(" ( ArgumentList )? ")" |
| ArgumentList |
::= |
Expression ( "," Expression )* |
| AllocationExpression |
::= |
( "new" PrimitiveType ArrayDimsAndInits | "new" ClassOrInterfaceType ( TypeArguments )? ( ArrayDimsAndInits | Arguments ( ClassOrInterfaceBody )? ) ) |
| ArrayDimsAndInits |
::= |
( ( "[" Expression "]" )+ ( "[" "]" )* | ( "[" "]" )+ ArrayInitializer ) |
| Statement |
::= |
( LabeledStatement | AssertStatement | Block | EmptyStatement | StatementExpression ";" | SwitchStatement | IfStatement | WhileStatement | DoStatement | ForStatement | BreakStatement | ContinueStatement | ReturnStatement | ThrowStatement | SynchronizedStatement | TryStatement ) |
| AssertStatement |
::= |
"assert" Expression ( ":" Expression )? ";" |
| LabeledStatement |
::= |
<IDENTIFIER> ":" Statement |
| Block |
::= |
"{" ( BlockStatement )* "}" |
| BlockStatement |
::= |
( LocalVariableDeclaration ";" | Statement | ClassOrInterfaceDeclaration ) |
| LocalVariableDeclaration |
::= |
( "final" )? Type VariableDeclarator ( "," VariableDeclarator )* |
| EmptyStatement |
::= |
";" |
| StatementExpression |
::= |
( PreIncrementExpression | PreDecrementExpression | PrimaryExpression ( "++" | "--" | AssignmentOperator Expression )? ) |
| SwitchStatement |
::= |
"switch" "(" Expression ")" "{" ( SwitchLabel ( BlockStatement )* )* "}" |
| SwitchLabel |
::= |
( "case" Expression ":" | "default" ":" ) |
| IfStatement |
::= |
"if" "(" Expression ")" Statement ( "else" Statement )? |
| WhileStatement |
::= |
"while" "(" Expression ")" Statement |
| DoStatement |
::= |
"do" Statement "while" "(" Expression ")" ";" |
| ForStatement |
::= |
"for" "(" ( Type <IDENTIFIER> ":" Expression | ( ForInit )? ";" ( Expression )? ";" ( ForUpdate )? ) ")" Statement |
| ForInit |
::= |
( LocalVariableDeclaration | StatementExpressionList ) |
| StatementExpressionList |
::= |
StatementExpression ( "," StatementExpression )* |
| ForUpdate |
::= |
StatementExpressionList |
| BreakStatement |
::= |
"break" ( <IDENTIFIER> )? ";" |
| ContinueStatement |
::= |
"continue" ( <IDENTIFIER> )? ";" |
| ReturnStatement |
::= |
"return" ( Expression )? ";" |
| ThrowStatement |
::= |
"throw" Expression ";" |
| SynchronizedStatement |
::= |
"synchronized" "(" Expression ")" Block |
| TryStatement |
::= |
"try" Block ( "catch" "(" FormalParameter ")" Block )* ( "finally" Block )? |
| RUNSIGNEDSHIFT |
::= |
( ">" ">" ">" ) |
| RSIGNEDSHIFT |
::= |
( ">" ">" ) |
| Annotation |
::= |
( NormalAnnotation | SingleMemberAnnotation | MarkerAnnotation ) |
| NormalAnnotation |
::= |
"@" Name "(" ( MemberValuePairs )? ")" |
| MarkerAnnotation |
::= |
"@" Name |
| SingleMemberAnnotation |
::= |
"@" Name "(" MemberValue ")" |
| MemberValuePairs |
::= |
MemberValuePair ( "," MemberValuePair )* |
| MemberValuePair |
::= |
<IDENTIFIER> "=" MemberValue |
| MemberValue |
::= |
( Annotation | MemberValueArrayInitializer | ConditionalExpression ) |
| MemberValueArrayInitializer |
::= |
"{" MemberValue ( "," MemberValue )* ( "," )? "}" |
| AnnotationTypeDeclaration |
::= |
"@" "interface" <IDENTIFIER> AnnotationTypeBody |
| AnnotationTypeBody |
::= |
"{" ( AnnotationTypeMemberDeclaration )* "}" |
| AnnotationTypeMemberDeclaration |
::= |
( Modifiers ( Type <IDENTIFIER> "(" ")" ( DefaultValue )? ";" | ClassOrInterfaceDeclaration | EnumDeclaration | AnnotationTypeDeclaration | FieldDeclaration ) | ( ";" ) ) |
| DefaultValue |
::= |
"default" MemberValue |