Глава 19. Синтаксис
В этой главе повторяется синтаксическая грамматика, представленная в главах 4, 6-10, 14 и 15, а также ключевые части лексической грамматики из главы 3, используя обозначения из §2.4.
Производные правила из §3 (Лексическая структура)
Идентификатор:
IdentifierChars:
JavaLetter:
любой символ Юникода, являющийся "буквой Java"
JavaLetterOrDigit:
любой символ Юникода, являющийся "буквой или цифрой Java"
TypeIdentifier:
UnqualifiedMethodIdentifier:
Производные правила из §4 (Типы, значения и переменные)
Примитивный тип:
Числовой тип:
Целочисленный тип:
(один из)
byte short int long char Тип с плавающей точкой:
(один из)
float double Тип ссылки:
Тип класса или интерфейса:
Тип интерфейса:
Переменная типа:
Параметр типа:
Модификатор параметра типа:
Связанный тип:
Дополнительное ограничение:
Аргументы типа:
Список аргументов типа:
Аргумент типа:
Подстановка:
Ограничения подстановки:
Производные из §6 (Имена)
Имя модуля:
Имя пакета:
Имя типа:
Имя выражения:
Имя метода:
Имя пакета или типа:
Неоднозначное имя:
Производные из §7 (Пакеты и модули)
Единица компиляции:
Единица обычной компиляции:
Единица модульной компиляции:
Декларация пакета:
Модификатор пакета:
Декларация импорта одного типа:
Декларация импорта всех типов из пакета:
Декларация статического импорта одного члена:
Декларация статического импорта всех членов:
Декларация класса или интерфейса верхнего уровня:
Декларация модуля:
Директива модуля:
requires {Модификатор Requires} Имя модуля ; exports Имя пакета [to Имя модуля {, Имя модуля}] ; opens Имя пакета [to Имя модуля {, Имя модуля}] ; uses Имя типа ; provides Имя типа with Имя типа {, Имя типа} ; Модификатор Requires:
(one of)
transitive static Производные из §8 (Классы)
ClassDeclaration:
NormalClassDeclaration:
{МодификаторКласса}
class ИдентификаторТипа [ПараметрыТипа] [Наследует] [Реализует] [Разрешает] ТелоКласса ClassModifier:
TypeParameters:
TypeParameterList:
ClassExtends:
extends ТипКласса ClassImplements:
implements СписокИнтерфейсов InterfaceTypeList:
ClassBody:
ClassBodyDeclaration:
ClassMemberDeclaration:
FieldDeclaration:
FieldModifier:
VariableDeclaratorList:
VariableDeclarator:
VariableDeclaratorId:
VariableInitializer:
UnannPrimitiveType:
UnannReferenceType:
UnannClassOrInterfaceType:
UnannClassType:
UnannInterfaceType:
UnannTypeVariable:
MethodDeclaration:
MethodModifier:
Result:
МетодДекларатор:
ПараметрПолучателя:
СписокФормальныхПараметров:
ФормальныйПараметр:
ПараметрПеременнойАрности:
МодификаторПеременной:
Исключения:
throws СписокТиповИсключений СписокТиповИсключений:
ТипИсключения:
ТелоМетода:
ИнициализаторОбъекта:
СтатическийИнициализатор:
static Блок ДекларацияКонструктора:
МодификаторКонструктора:
ДеклараторКонструктора:
ПростоеИмяТипа:
ТелоКонструктора:
ЯвноеВызовКонструктора:
[АргументыТипов]
[АргументыТипов]
ИмяВыражения
Основной
this ( [СписокАргументов] ) ; [АргументыТипов]
super ( [СписокАргументов] ) ; ИмяВыражения
. [АргументыТипов] super ( [СписокАргументов] ) ; Основной
. [АргументыТипов] super ( [СписокАргументов] ) ; ДекларацияПеречисления:
ТелоПеречисления:
СписокКонстантПеречисления:
КонстантаПеречисления:
МодификаторКонстантыПеречисления:
ДекларацииТелаПеречисления:
ДекларацияЗаписи:
ЗаголовокЗаписи:
СписокКомпонентовЗаписи:
КомпонентЗаписи:
КомпонентЗаписиПеременнойАрности:
МодификаторКомпонентаЗаписи:
ТелоЗаписи:
RecordBodyDeclaration:
CompactConstructorDeclaration:
Производные из §9 (Интерфейсы)
InterfaceDeclaration:
NormalInterfaceDeclaration:
InterfaceModifier:
InterfaceExtends:
extends Список типов интерфейса InterfaceBody:
InterfaceMemberDeclaration:
ConstantDeclaration:
ConstantModifier:
InterfaceMethodDeclaration:
InterfaceMethodModifier:
AnnotationInterfaceDeclaration:
AnnotationInterfaceBody:
AnnotationInterfaceMemberDeclaration:
AnnotationInterfaceElementDeclaration:
AnnotationInterfaceElementModifier:
DefaultValue:
default Значение элемента NormalAnnotation:
ElementValuePairList:
ElementValuePair:
ElementValueArrayInitializer:
ElementValueList:
MarkerAnnotation:
@ Имя типа SingleElementAnnotation:
Производные из §14 (Блоки, операторы и шаблоны)
Блок:
BlockStatements:
LocalClassOrInterfaceDeclaration:
LocalVariableDeclarationStatement:
LocalVariableDeclaration:
LocalVariableType:
StatementWithoutTrailingSubstatement:
EmptyStatement:
; LabeledStatement:
LabeledStatementNoShortIf:
Оператор выражения:
IfThenElseStatement:
IfThenElseStatementNoShortIf:
SwitchStatement:
SwitchBlock:
Правило switch:
Группа операторов блока switch:
Метка switch:
Постоянная case:
Шаблон case:
Guard:
when Выражение WhileStatementNoShortIf:
ForStatement:
ForStatementNoShortIf:
BasicForStatementNoShortIf:
ForUpdate:
StatementExpressionList:
EnhancedForStatement:
EnhancedForStatementNoShortIf:
BreakStatement:
YieldStatement:
ContinueStatement:
ReturnStatement:
ThrowStatement:
TryStatement:
Catches:
CatchClause:
CatchFormalParameter:
CatchType:
Finally:
finally Блок TryWithResourcesStatement:
ResourceSpecification:
Pattern:
TypePattern:
RecordPattern:
Производные из §15 (Выражения)
Первичное:
Первичное без нового массива:
Литерал класса:
Неквалифицированное выражение создания экземпляра класса:
Тип класса или интерфейса для создания:
Аргументы типа или алмаз:
Выражение создания массива:
Выражение создания массива без инициализатора:
Выражение создания массива с инициализатором:
Доступ к элементу массива:
Доступ к полю:
Вызов метода:
Имя метода
Тип имени
Имя выражения
Первичное
Тип имени
( [Список аргументов] ) Тип имени
. [Аргументы типа] Идентификатор ( [Список аргументов] ) Имя выражения
. [Аргументы типа] Идентификатор ( [Список аргументов] ) Первичное
. [Аргументы типа] Идентификатор ( [Список аргументов] ) super . [Аргументы типа] Идентификатор ( [Список аргументов] ) Тип имени
. super . [Аргументы типа] Идентификатор ( [Список аргументов] ) MethodReference:
Имя выражения
Основное
Тип ссылки
Имя типа
Тип класса
Тип массива
:: [Аргументы типа] Идентификатор Основное
:: [Аргументы типа] Идентификатор Тип ссылки
:: [Аргументы типа] Идентификатор super :: [Аргументы типа] Идентификатор Имя типа
. super :: [Аргументы типа] Идентификатор Тип класса
:: [Аргументы типа] new Тип массива
:: new Expression:
LambdaExpression:
LambdaParameters:
LambdaParameterList:
LambdaParameterType:
AssignmentExpression:
Assignment:
LeftHandSide:
AssignmentOperator:
(один из)
=*=/=%=+=-=<<=>>=>>>=&=^=|=
ConditionalExpression:
ConditionalOrExpression:
ConditionalAndExpression:
InclusiveOrExpression:
ExclusiveOrExpression:
AndExpression:
EqualityExpression:
InstanceofExpression:
AdditiveExpression:
MultiplicativeExpression:
PreIncrementExpression:
PreDecrementExpression:
UnaryExpressionNotPlusMinus:
PostfixExpression:
PostIncrementExpression:
PostDecrementExpression:
CastExpression:
SwitchExpression:
ConstantExpression:
© Oracle and/or its affiliates. All rights reserved.
Licensed under the Oracle Technology Network License Agreement.
