Chapter 19. Syntax
This chapter repeats the syntactic grammar given in Chapters 4, 6-10, 14, and 15, as well as key parts of the lexical grammar from Chapter 3, using the notation from §2.4.
Productions from §3 (Lexical Structure)
Identifier:
IdentifierChars:
JavaLetter:
any Unicode character that is a "Java letter"
JavaLetterOrDigit:
any Unicode character that is a "Java letter-or-digit"
TypeIdentifier:
UnqualifiedMethodIdentifier:
Productions from §4 (Types, Values, and Variables)
Type:
PrimitiveType:
NumericType:
IntegralType:
(one of)
byte short int long char FloatingPointType:
(one of)
float double ReferenceType:
ClassOrInterfaceType:
ClassType:
InterfaceType:
TypeVariable:
ArrayType:
Dims:
TypeParameter:
TypeParameterModifier:
TypeBound:
AdditionalBound:
TypeArguments:
TypeArgumentList:
TypeArgument:
Wildcard:
WildcardBounds:
Productions from §6 (Names)
ModuleName:
PackageName:
TypeName:
ExpressionName:
MethodName:
PackageOrTypeName:
AmbiguousName:
Productions from §7 (Packages and Modules)
CompilationUnit:
OrdinaryCompilationUnit:
ModularCompilationUnit:
PackageDeclaration:
PackageModifier:
SingleTypeImportDeclaration:
TypeImportOnDemandDeclaration:
SingleStaticImportDeclaration:
StaticImportOnDemandDeclaration:
TopLevelClassOrInterfaceDeclaration:
ModuleDeclaration:
ModuleDirective:
requires {RequiresModifier} ModuleName ; exports PackageName [to ModuleName {, ModuleName}] ; opens PackageName [to ModuleName {, ModuleName}] ; uses TypeName ; provides TypeName with TypeName {, TypeName} ; RequiresModifier:
(one of)
transitive static Productions from §8 (Classes)
ClassDeclaration:
NormalClassDeclaration:
ClassModifier:
TypeParameters:
TypeParameterList:
ClassExtends:
extends ClassType ClassImplements:
implements InterfaceTypeList InterfaceTypeList:
ClassBody:
ClassBodyDeclaration:
ClassMemberDeclaration:
FieldDeclaration:
FieldModifier:
VariableDeclaratorList:
VariableDeclarator:
VariableDeclaratorId:
VariableInitializer:
UnannType:
UnannPrimitiveType:
UnannReferenceType:
UnannClassOrInterfaceType:
UnannClassType:
UnannInterfaceType:
UnannTypeVariable:
UnannArrayType:
MethodDeclaration:
MethodModifier:
MethodHeader:
Result:
MethodDeclarator:
ReceiverParameter:
FormalParameterList:
FormalParameter:
VariableArityParameter:
VariableModifier:
Throws:
throws ExceptionTypeList ExceptionTypeList:
ExceptionType:
MethodBody:
InstanceInitializer:
StaticInitializer:
static Block ConstructorDeclaration:
ConstructorModifier:
ConstructorDeclarator:
SimpleTypeName:
ConstructorBody:
ExplicitConstructorInvocation:
[TypeArguments]
[TypeArguments]
ExpressionName
Primary
this ( [ArgumentList] ) ; [TypeArguments]
super ( [ArgumentList] ) ; ExpressionName
. [TypeArguments] super ( [ArgumentList] ) ; Primary
. [TypeArguments] super ( [ArgumentList] ) ; EnumDeclaration:
EnumBody:
EnumConstantList:
EnumConstant:
EnumConstantModifier:
EnumBodyDeclarations:
RecordDeclaration:
RecordHeader:
RecordComponentList:
RecordComponent:
VariableArityRecordComponent:
RecordComponentModifier:
RecordBody:
RecordBodyDeclaration:
CompactConstructorDeclaration:
Productions from §9 (Interfaces)
InterfaceDeclaration:
NormalInterfaceDeclaration:
{InterfaceModifier}
interface TypeIdentifier [TypeParameters] [InterfaceExtends] [InterfacePermits] InterfaceBody InterfaceModifier:
InterfaceExtends:
extends InterfaceTypeList InterfaceBody:
InterfaceMemberDeclaration:
ConstantDeclaration:
ConstantModifier:
InterfaceMethodDeclaration:
InterfaceMethodModifier:
AnnotationInterfaceDeclaration:
AnnotationInterfaceBody:
AnnotationInterfaceMemberDeclaration:
AnnotationInterfaceElementDeclaration:
AnnotationInterfaceElementModifier:
DefaultValue:
default ElementValue Annotation:
NormalAnnotation:
ElementValuePairList:
ElementValuePair:
ElementValue:
ElementValueArrayInitializer:
ElementValueList:
MarkerAnnotation:
@ TypeName SingleElementAnnotation:
Productions from §14 (Blocks, Statements, and Patterns)
Block:
BlockStatements:
LocalClassOrInterfaceDeclaration:
LocalVariableDeclarationStatement:
LocalVariableDeclaration:
LocalVariableType:
StatementWithoutTrailingSubstatement:
EmptyStatement:
; LabeledStatement:
LabeledStatementNoShortIf:
ExpressionStatement:
IfThenStatement:
IfThenElseStatement:
IfThenElseStatementNoShortIf:
AssertStatement:
SwitchStatement:
SwitchBlock:
SwitchRule:
SwitchBlockStatementGroup:
SwitchLabel:
case CaseConstant {, CaseConstant} case null [, default] case CasePattern {, CasePattern} [Guard] default CaseConstant:
CasePattern:
Guard:
when Expression WhileStatement:
WhileStatementNoShortIf:
DoStatement:
ForStatement:
ForStatementNoShortIf:
BasicForStatement:
BasicForStatementNoShortIf:
ForUpdate:
StatementExpressionList:
EnhancedForStatement:
EnhancedForStatementNoShortIf:
BreakStatement:
YieldStatement:
ContinueStatement:
ReturnStatement:
ThrowStatement:
SynchronizedStatement:
Catches:
CatchClause:
CatchFormalParameter:
CatchType:
Finally:
finally Block TryWithResourcesStatement:
ResourceSpecification:
Resource:
VariableAccess:
Pattern:
TypePattern:
RecordPattern:
ComponentPatternList:
ComponentPattern:
MatchAllPattern:
_ Productions from §15 (Expressions)
Primary:
PrimaryNoNewArray:
ClassLiteral:
ClassInstanceCreationExpression:
UnqualifiedClassInstanceCreationExpression:
ClassOrInterfaceTypeToInstantiate:
TypeArgumentsOrDiamond:
ArrayCreationExpression:
ArrayCreationExpressionWithoutInitializer:
ArrayCreationExpressionWithInitializer:
DimExpr:
ArrayAccess:
FieldAccess:
MethodInvocation:
MethodName
TypeName
ExpressionName
Primary
TypeName
( [ArgumentList] ) TypeName
. [TypeArguments] Identifier ( [ArgumentList] ) ExpressionName
. [TypeArguments] Identifier ( [ArgumentList] ) Primary
. [TypeArguments] Identifier ( [ArgumentList] ) super . [TypeArguments] Identifier ( [ArgumentList] ) TypeName
. super . [TypeArguments] Identifier ( [ArgumentList] ) ArgumentList:
MethodReference:
ExpressionName
Primary
ReferenceType
TypeName
ClassType
ArrayType
:: [TypeArguments] Identifier Primary
:: [TypeArguments] Identifier ReferenceType
:: [TypeArguments] Identifier super :: [TypeArguments] Identifier TypeName
. super :: [TypeArguments] Identifier ClassType
:: [TypeArguments] new ArrayType
:: new Expression:
LambdaExpression:
LambdaParameters:
LambdaParameterList:
NormalLambdaParameter:
LambdaParameterType:
ConciseLambdaParameter:
LambdaBody:
AssignmentExpression:
Assignment:
LeftHandSide:
AssignmentOperator:
(one of)
=*=/=%=+=-=<<=>>=>>>=&=^=|=
ConditionalExpression:
ConditionalOrExpression:
ConditionalAndExpression:
InclusiveOrExpression:
ExclusiveOrExpression:
AndExpression:
EqualityExpression:
InstanceofExpression:
ShiftExpression:
AdditiveExpression:
MultiplicativeExpression:
PreIncrementExpression:
PreDecrementExpression:
UnaryExpressionNotPlusMinus:
PostfixExpression:
PostIncrementExpression:
PostDecrementExpression:
CastExpression:
SwitchExpression:
© Oracle and/or its affiliates. All rights reserved.
Licensed under the Oracle Technology Network License Agreement.
