# A.1 Lexical Grammar


- [x] SourceCharacter ::
	- [x] any Unicode code point

- [ ] InputElementDiv ::
	- [ ] WhiteSpace
	- [ ] LineTerminator
	- [ ] Comment
	- [ ] CommonToken
	- [ ] DivPunctuator
	- [ ] RightBracePunctuator

- [ ] InputElementRegExp ::
	- [ ] WhiteSpace
	- [ ] LineTerminator
	- [ ] Comment
	- [ ] CommonToken
	- [ ] RightBracePunctuator
	- [ ] RegularExpressionLiteral

- [ ] InputElementRegExpOrTemplateTail ::
	- [ ] WhiteSpace
	- [ ] LineTerminator
	- [ ] Comment
	- [ ] CommonToken
	- [ ] RegularExpressionLiteral
	- [ ] TemplateSubstitutionTail

- [ ] InputElementTemplateTail ::
	- [ ] WhiteSpace
	- [ ] LineTerminator
	- [ ] Comment
	- [ ] CommonToken
	- [ ] DivPunctuator
	- [ ] TemplateSubstitutionTail

- [ ] InputElementHashbangOrRegExp ::
	- [ ] WhiteSpace
	- [ ] LineTerminator
	- [ ] Comment
	- [ ] CommonToken
	- [ ] HashbangComment
	- [ ] RegularExpressionLiteral

- [ ] WhiteSpace ::
	- [ ] <TAB>
	- [ ] <VT>
	- [ ] <FF>
	- [ ] <ZWNBSP>
	- [ ] <USP>

- [ ] LineTerminator ::
	- [ ] <LF>
	- [ ] <CR>
	- [ ] <LS>
	- [ ] <PS>

- [ ] LineTerminatorSequence ::
	- [ ] <LF>
	- [ ] <CR> [lookahead ≠ <LF>]
	- [ ] <LS>
	- [ ] <PS>
	- [ ] <CR> <LF>

- [ ] Comment ::
	- [ ] MultiLineComment
	- [ ] SingleLineComment

- [ ] MultiLineComment ::
	- [ ] /* MultiLineCommentCharsopt */

- [ ] MultiLineCommentChars ::
	- [ ] MultiLineNotAsteriskChar MultiLineCommentCharsopt
	- [ ] * PostAsteriskCommentCharsopt

- [ ] PostAsteriskCommentChars ::
	- [ ] MultiLineNotForwardSlashOrAsteriskChar MultiLineCommentCharsopt
	- [ ] * PostAsteriskCommentCharsopt

- [ ] MultiLineNotAsteriskChar ::
	- [ ] SourceCharacter but not *

- [ ] MultiLineNotForwardSlashOrAsteriskChar ::
	- [ ] SourceCharacter but not one of / or *

- [ ] SingleLineComment ::
	- [ ] // SingleLineCommentCharsopt

- [ ] SingleLineCommentChars ::
	- [ ] SingleLineCommentChar SingleLineCommentCharsopt

- [ ] SingleLineCommentChar ::
	- [ ] SourceCharacter but not LineTerminator

- [ ] HashbangComment ::
    - [ ] #! SingleLineCommentCharsopt

- [ ] CommonToken ::
	- [ ] IdentifierName
	- [ ] PrivateIdentifier
	- [ ] Punctuator
	- [ ] NumericLiteral
	- [ ] StringLiteral
	- [ ] Template

- [ ] PrivateIdentifier ::
    - [ ] # IdentifierName

- [ ] IdentifierName ::
	- [ ] IdentifierStart
	- [ ] IdentifierName IdentifierPart

- [ ] IdentifierStart ::
	- [ ] IdentifierStartChar
	- [ ] \ UnicodeEscapeSequence

- [ ] IdentifierPart ::
	- [ ] IdentifierPartChar
	- [ ] \ UnicodeEscapeSequence

- [ ] IdentifierStartChar ::
	- [ ] UnicodeIDStart
$
_

- [ ] IdentifierPartChar ::
	- [ ] UnicodeIDContinue
$
	- [ ] AsciiLetter :: one of
	- [ ] a b c d e f g h i j k l m n o p q r s t u v w x y z A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

- [ ] UnicodeIDStart ::
	- [ ] any Unicode code point with the Unicode property “ID_Start”

- [ ] UnicodeIDContinue ::
	- [ ] any Unicode code point with the Unicode property “ID_Continue”
	- [ ] ReservedWord :: one of
	- [ ] await break case catch class const continue debugger default delete do else enum export extends false finally for function if import in instanceof new null return super switch this throw true try typeof var void while with yield

- [ ] Punctuator ::
	- [ ] OptionalChainingPunctuator
	- [ ] OtherPunctuator

- [ ] OptionalChainingPunctuator ::
	- [ ] ?. [lookahead ∉ DecimalDigit]
	- [ ] OtherPunctuator :: one of
	- [ ] { ( ) [ ] . ... ; , < > <= >= == != === !== + - * % ** ++ -- << >> >>> & | ^ ! ~ && || ?? ? : = += -= *= %= **= <<= >>= >>>= &= |= ^= &&= ||= ??= =>

- [ ] DivPunctuator ::
/
/=

- [ ] RightBracePunctuator ::
}

- [ ] NullLiteral ::
	- [ ] null

- [ ] BooleanLiteral ::
	- [ ] true
	- [ ] false

- [ ] NumericLiteralSeparator ::
_

- [ ] NumericLiteral ::
	- [ ] DecimalLiteral
	- [ ] DecimalBigIntegerLiteral
	- [ ] NonDecimalIntegerLiteral[+Sep]
	- [ ] NonDecimalIntegerLiteral[+Sep] BigIntLiteralSuffix
	- [ ] LegacyOctalIntegerLiteral

- [ ] DecimalBigIntegerLiteral ::
	- [ ] 0 BigIntLiteralSuffix
	- [ ] NonZeroDigit DecimalDigits[+Sep]opt BigIntLiteralSuffix
	- [ ] NonZeroDigit NumericLiteralSeparator DecimalDigits[+Sep] BigIntLiteralSuffix

- [ ] NonDecimalIntegerLiteral[Sep] ::
	- [ ] BinaryIntegerLiteral[?Sep]
	- [ ] OctalIntegerLiteral[?Sep]
	- [ ] HexIntegerLiteral[?Sep]

- [ ] BigIntLiteralSuffix ::
n

- [ ] DecimalLiteral ::
	- [ ] DecimalIntegerLiteral . DecimalDigits[+Sep]opt ExponentPart[+Sep]opt
	- [ ] . DecimalDigits[+Sep] ExponentPart[+Sep]opt
	- [ ] DecimalIntegerLiteral ExponentPart[+Sep]opt

- [ ] DecimalIntegerLiteral ::
0
	- [ ] NonZeroDigit
	- [ ] NonZeroDigit NumericLiteralSeparatoropt DecimalDigits[+Sep]
	- [ ] NonOctalDecimalIntegerLiteral

- [ ] DecimalDigits[Sep] ::
	- [ ] DecimalDigit
	- [ ] DecimalDigits[?Sep] DecimalDigit
	- [ ] [+Sep] DecimalDigits[+Sep] NumericLiteralSeparator DecimalDigit
	- [ ] DecimalDigit :: one of
	- [ ] 0 1 2 3 4 5 6 7 8 9
	- [ ] NonZeroDigit :: one of
	- [ ] 1 2 3 4 5 6 7 8 9

- [ ] ExponentPart[Sep] ::
	- [ ] ExponentIndicator SignedInteger[?Sep]
	- [ ] ExponentIndicator :: one of
	- [ ] e E

- [ ] SignedInteger[Sep] ::
	- [ ] DecimalDigits[?Sep]
	- [ ] + DecimalDigits[?Sep]
	- [ ] - DecimalDigits[?Sep]

- [ ] BinaryIntegerLiteral[Sep] ::
	- [ ] 0b BinaryDigits[?Sep]
	- [ ] 0B BinaryDigits[?Sep]

- [ ] BinaryDigits[Sep] ::
	- [ ] BinaryDigit
	- [ ] BinaryDigits[?Sep] BinaryDigit
	- [ ] [+Sep] BinaryDigits[+Sep] NumericLiteralSeparator BinaryDigit
	- [ ] BinaryDigit :: one of
	- [ ] 0 1

- [ ] OctalIntegerLiteral[Sep] ::
	- [ ] 0o OctalDigits[?Sep]
	- [ ] 0O OctalDigits[?Sep]

- [ ] OctalDigits[Sep] ::
	- [ ] OctalDigit
	- [ ] OctalDigits[?Sep] OctalDigit
	- [ ] [+Sep] OctalDigits[+Sep] NumericLiteralSeparator OctalDigit

- [ ] LegacyOctalIntegerLiteral ::
	- [ ] 0 OctalDigit
	- [ ] LegacyOctalIntegerLiteral OctalDigit

- [ ] NonOctalDecimalIntegerLiteral ::
	- [ ] 0 NonOctalDigit
	- [ ] LegacyOctalLikeDecimalIntegerLiteral NonOctalDigit
	- [ ] NonOctalDecimalIntegerLiteral DecimalDigit

- [ ] LegacyOctalLikeDecimalIntegerLiteral ::
	- [ ] 0 OctalDigit
	- [ ] LegacyOctalLikeDecimalIntegerLiteral OctalDigit
	- [ ] OctalDigit :: one of
	- [ ] 0 1 2 3 4 5 6 7
	- [ ] NonOctalDigit :: one of
	- [ ] 8 9

- [ ] HexIntegerLiteral[Sep] ::
	- [ ] 0x HexDigits[?Sep]
	- [ ] 0X HexDigits[?Sep]

- [ ] HexDigits[Sep] ::
	- [ ] HexDigit
	- [ ] HexDigits[?Sep] HexDigit
	- [ ] [+Sep] HexDigits[+Sep] NumericLiteralSeparator HexDigit
	- [ ] HexDigit :: one of
	- [ ] 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F

- [ ] StringLiteral ::
	- [ ] " DoubleStringCharactersopt "
	- [ ] ' SingleStringCharactersopt '

- [ ] DoubleStringCharacters ::
	- [ ] DoubleStringCharacter DoubleStringCharactersopt

- [ ] SingleStringCharacters ::
	- [ ] SingleStringCharacter SingleStringCharactersopt

- [ ] DoubleStringCharacter ::
	- [ ] SourceCharacter but not one of " or \ or LineTerminator
	- [ ] <LS>
	- [ ] <PS>
	- [ ] \ EscapeSequence
	- [ ] LineContinuation

- [ ] SingleStringCharacter ::
	- [ ] SourceCharacter but not one of ' or \ or LineTerminator
	- [ ] <LS>
	- [ ] <PS>
	- [ ] \ EscapeSequence
	- [ ] LineContinuation

- [ ] LineContinuation ::
	- [ ] \ LineTerminatorSequence

- [ ] EscapeSequence ::
	- [ ] CharacterEscapeSequence
	- [ ] 0 [lookahead ∉ DecimalDigit]
	- [ ] LegacyOctalEscapeSequence
	- [ ] NonOctalDecimalEscapeSequence
	- [ ] HexEscapeSequence
	- [ ] UnicodeEscapeSequence

- [ ] CharacterEscapeSequence ::
	- [ ] SingleEscapeCharacter
	- [ ] NonEscapeCharacter
	- [ ] SingleEscapeCharacter :: one of
	- [ ] ' " \ b f n r t v

- [ ] NonEscapeCharacter ::
	- [ ] SourceCharacter but not one of EscapeCharacter or LineTerminator

- [ ] EscapeCharacter ::
	- [ ] SingleEscapeCharacter
	- [ ] DecimalDigit
x
u

- [ ] LegacyOctalEscapeSequence ::
	- [ ] 0 [lookahead ∈ { 8, 9 }]
	- [ ] NonZeroOctalDigit [lookahead ∉ OctalDigit]
	- [ ] ZeroToThree OctalDigit [lookahead ∉ OctalDigit]
	- [ ] FourToSeven OctalDigit
	- [ ] ZeroToThree OctalDigit OctalDigit

- [ ] NonZeroOctalDigit ::
	- [ ] OctalDigit but not 0
	- [ ] ZeroToThree :: one of
	- [ ] 0 1 2 3
	- [ ] FourToSeven :: one of
	- [ ] 4 5 6 7
	- [ ] NonOctalDecimalEscapeSequence :: one of
	- [ ] 8 9

- [ ] HexEscapeSequence ::
	- [ ] x HexDigit HexDigit

- [ ] UnicodeEscapeSequence ::
	- [ ] u Hex4Digits
	- [ ] u{ CodePoint }

- [ ] Hex4Digits ::
	- [ ] HexDigit HexDigit HexDigit HexDigit

- [ ] RegularExpressionLiteral ::
	- [ ] / RegularExpressionBody / RegularExpressionFlags

- [ ] RegularExpressionBody ::
	- [ ] RegularExpressionFirstChar RegularExpressionChars

- [ ] RegularExpressionChars ::
	- [ ] [empty]
	- [ ] RegularExpressionChars RegularExpressionChar

- [ ] RegularExpressionFirstChar ::
	- [ ] RegularExpressionNonTerminator but not one of * or \ or / or [
	- [ ] RegularExpressionBackslashSequence
	- [ ] RegularExpressionClass

- [ ] RegularExpressionChar ::
	- [ ] RegularExpressionNonTerminator but not one of \ or / or [
	- [ ] RegularExpressionBackslashSequence
	- [ ] RegularExpressionClass

- [ ] RegularExpressionBackslashSequence ::
	- [ ] \ RegularExpressionNonTerminator

- [ ] RegularExpressionNonTerminator ::
	- [ ] SourceCharacter but not LineTerminator

- [ ] RegularExpressionClass ::
	- [ ] [ RegularExpressionClassChars ]

- [ ] RegularExpressionClassChars ::
	- [ ] [empty]
	- [ ] RegularExpressionClassChars RegularExpressionClassChar

- [ ] RegularExpressionClassChar ::
	- [ ] RegularExpressionNonTerminator but not one of ] or \
	- [ ] RegularExpressionBackslashSequence

- [ ] RegularExpressionFlags ::
	- [ ] [empty]
	- [ ] RegularExpressionFlags IdentifierPartChar

- [ ] Template ::
	- [ ] NoSubstitutionTemplate
	- [ ] TemplateHead

- [ ] NoSubstitutionTemplate ::
	- [ ] ` TemplateCharactersopt `

- [ ] TemplateHead ::
	- [ ] ` TemplateCharactersopt ${

- [ ] TemplateSubstitutionTail ::
	- [ ] TemplateMiddle
	- [ ] TemplateTail

- [ ] TemplateMiddle ::
	- [ ] } TemplateCharactersopt ${

- [ ] TemplateTail ::
	- [ ] } TemplateCharactersopt `

- [ ] TemplateCharacters ::
	- [ ] TemplateCharacter TemplateCharactersopt

- [ ] TemplateCharacter ::
	- [ ] $ [lookahead ≠ {]
	- [ ] \ TemplateEscapeSequence
	- [ ] \ NotEscapeSequence
	- [ ] LineContinuation
	- [ ] LineTerminatorSequence
	- [ ] SourceCharacter but not one of ` or \ or $ or LineTerminator

- [ ] TemplateEscapeSequence ::
	- [ ] CharacterEscapeSequence
	- [ ] 0 [lookahead ∉ DecimalDigit]
	- [ ] HexEscapeSequence
	- [ ] UnicodeEscapeSequence

- [ ] NotEscapeSequence ::
	- [ ] 0 DecimalDigit
	- [ ] DecimalDigit but not 0
	- [ ] x [lookahead ∉ HexDigit]
	- [ ] x HexDigit [lookahead ∉ HexDigit]
	- [ ] u [lookahead ∉ HexDigit] [lookahead ≠ {]
	- [ ] u HexDigit [lookahead ∉ HexDigit]
	- [ ] u HexDigit HexDigit [lookahead ∉ HexDigit]
	- [ ] u HexDigit HexDigit HexDigit [lookahead ∉ HexDigit]
	- [ ] u { [lookahead ∉ HexDigit]
	- [ ] u { NotCodePoint [lookahead ∉ HexDigit]
	- [ ] u { CodePoint [lookahead ∉ HexDigit] [lookahead ≠ }]

- [ ] NotCodePoint ::
	- [ ] HexDigits[~Sep] but only if the MV of HexDigits > 0x10FFFF

- [ ] CodePoint ::
	- [ ] HexDigits[~Sep] but only if the MV of HexDigits ≤ 0x10FFFF

# A.2 Expressions

IdentifierReference[Yield, Await] :
	- [ ] Identifier
	- [ ] [~Yield] yield
	- [ ] [~Await] await
BindingIdentifier[Yield, Await] :
	- [ ] Identifier
	- [ ] yield
	- [ ] await
LabelIdentifier[Yield, Await] :
	- [ ] Identifier
	- [ ] [~Yield] yield
	- [ ] [~Await] await
Identifier :
	- [ ] IdentifierName but not ReservedWord
PrimaryExpression[Yield, Await] :
	- [ ] this
	- [ ] IdentifierReference[?Yield, ?Await]
	- [ ] Literal
	- [ ] ArrayLiteral[?Yield, ?Await]
	- [ ] ObjectLiteral[?Yield, ?Await]
	- [ ] FunctionExpression
	- [ ] ClassExpression[?Yield, ?Await]
	- [ ] GeneratorExpression
	- [ ] AsyncFunctionExpression
	- [ ] AsyncGeneratorExpression
	- [ ] RegularExpressionLiteral
	- [ ] TemplateLiteral[?Yield, ?Await, ~Tagged]
	- [ ] CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
CoverParenthesizedExpressionAndArrowParameterList[Yield, Await] :
	- [ ] ( Expression[+In, ?Yield, ?Await] )
	- [ ] ( Expression[+In, ?Yield, ?Await] , )
	- [ ] ( )
	- [ ] ( ... BindingIdentifier[?Yield, ?Await] )
	- [ ] ( ... BindingPattern[?Yield, ?Await] )
	- [ ] ( Expression[+In, ?Yield, ?Await] , ... BindingIdentifier[?Yield, ?Await] )
	- [ ] ( Expression[+In, ?Yield, ?Await] , ... BindingPattern[?Yield, ?Await] )

	- [ ] When processing an instance of the production
	- [ ] PrimaryExpression[Yield, Await] : CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
the interpretation of CoverParenthesizedExpressionAndArrowParameterList is refined using the following grammar:
ParenthesizedExpression[Yield, Await] :
	- [ ] ( Expression[+In, ?Yield, ?Await] )

 
Literal :
	- [ ] NullLiteral
	- [ ] BooleanLiteral
	- [ ] NumericLiteral
	- [ ] StringLiteral
ArrayLiteral[Yield, Await] :
	- [ ] [ Elisionopt ]
	- [ ] [ ElementList[?Yield, ?Await] ]
	- [ ] [ ElementList[?Yield, ?Await] , Elisionopt ]
ElementList[Yield, Await] :
	- [ ] Elisionopt AssignmentExpression[+In, ?Yield, ?Await]
	- [ ] Elisionopt SpreadElement[?Yield, ?Await]
	- [ ] ElementList[?Yield, ?Await] , Elisionopt AssignmentExpression[+In, ?Yield, ?Await]
	- [ ] ElementList[?Yield, ?Await] , Elisionopt SpreadElement[?Yield, ?Await]
Elision :
,
	- [ ] Elision ,
SpreadElement[Yield, Await] :
	- [ ] ... AssignmentExpression[+In, ?Yield, ?Await]
ObjectLiteral[Yield, Await] :
	- [ ] { }
	- [ ] { PropertyDefinitionList[?Yield, ?Await] }
	- [ ] { PropertyDefinitionList[?Yield, ?Await] , }
PropertyDefinitionList[Yield, Await] :
	- [ ] PropertyDefinition[?Yield, ?Await]
	- [ ] PropertyDefinitionList[?Yield, ?Await] , PropertyDefinition[?Yield, ?Await]
PropertyDefinition[Yield, Await] :
	- [ ] IdentifierReference[?Yield, ?Await]
	- [ ] CoverInitializedName[?Yield, ?Await]
	- [ ] PropertyName[?Yield, ?Await] : AssignmentExpression[+In, ?Yield, ?Await]
	- [ ] MethodDefinition[?Yield, ?Await]
	- [ ] ... AssignmentExpression[+In, ?Yield, ?Await]
PropertyName[Yield, Await] :
	- [ ] LiteralPropertyName
	- [ ] ComputedPropertyName[?Yield, ?Await]
LiteralPropertyName :
	- [ ] IdentifierName
	- [ ] StringLiteral
	- [ ] NumericLiteral
ComputedPropertyName[Yield, Await] :
	- [ ] [ AssignmentExpression[+In, ?Yield, ?Await] ]
CoverInitializedName[Yield, Await] :
	- [ ] IdentifierReference[?Yield, ?Await] Initializer[+In, ?Yield, ?Await]
Initializer[In, Yield, Await] :
	- [ ] = AssignmentExpression[?In, ?Yield, ?Await]
TemplateLiteral[Yield, Await, Tagged] :
	- [ ] NoSubstitutionTemplate
	- [ ] SubstitutionTemplate[?Yield, ?Await, ?Tagged]
SubstitutionTemplate[Yield, Await, Tagged] :
	- [ ] TemplateHead Expression[+In, ?Yield, ?Await] TemplateSpans[?Yield, ?Await, ?Tagged]
TemplateSpans[Yield, Await, Tagged] :
	- [ ] TemplateTail
	- [ ] TemplateMiddleList[?Yield, ?Await, ?Tagged] TemplateTail
TemplateMiddleList[Yield, Await, Tagged] :
	- [ ] TemplateMiddle Expression[+In, ?Yield, ?Await]
	- [ ] TemplateMiddleList[?Yield, ?Await, ?Tagged] TemplateMiddle Expression[+In, ?Yield, ?Await]
MemberExpression[Yield, Await] :
	- [ ] PrimaryExpression[?Yield, ?Await]
	- [ ] MemberExpression[?Yield, ?Await] [ Expression[+In, ?Yield, ?Await] ]
	- [ ] MemberExpression[?Yield, ?Await] . IdentifierName
	- [ ] MemberExpression[?Yield, ?Await] TemplateLiteral[?Yield, ?Await, +Tagged]
	- [ ] SuperProperty[?Yield, ?Await]
	- [ ] MetaProperty
	- [ ] new MemberExpression[?Yield, ?Await] Arguments[?Yield, ?Await]
	- [ ] MemberExpression[?Yield, ?Await] . PrivateIdentifier
SuperProperty[Yield, Await] :
	- [ ] super [ Expression[+In, ?Yield, ?Await] ]
	- [ ] super . IdentifierName
MetaProperty :
	- [ ] NewTarget
	- [ ] ImportMeta
NewTarget :
	- [ ] new . target
ImportMeta :
	- [ ] import . meta
NewExpression[Yield, Await] :
	- [ ] MemberExpression[?Yield, ?Await]
	- [ ] new NewExpression[?Yield, ?Await]
CallExpression[Yield, Await] :
	- [ ] CoverCallExpressionAndAsyncArrowHead[?Yield, ?Await]
	- [ ] SuperCall[?Yield, ?Await]
	- [ ] ImportCall[?Yield, ?Await]
	- [ ] CallExpression[?Yield, ?Await] Arguments[?Yield, ?Await]
	- [ ] CallExpression[?Yield, ?Await] [ Expression[+In, ?Yield, ?Await] ]
	- [ ] CallExpression[?Yield, ?Await] . IdentifierName
	- [ ] CallExpression[?Yield, ?Await] TemplateLiteral[?Yield, ?Await, +Tagged]
	- [ ] CallExpression[?Yield, ?Await] . PrivateIdentifier

	- [ ] When processing an instance of the production
	- [ ] CallExpression[Yield, Await] : CoverCallExpressionAndAsyncArrowHead[?Yield, ?Await]
the interpretation of CoverCallExpressionAndAsyncArrowHead is refined using the following grammar:
CallMemberExpression[Yield, Await] :
	- [ ] MemberExpression[?Yield, ?Await] Arguments[?Yield, ?Await]

 
SuperCall[Yield, Await] :
	- [ ] super Arguments[?Yield, ?Await]
ImportCall[Yield, Await] :
	- [ ] import ( AssignmentExpression[+In, ?Yield, ?Await] ,opt )
	- [ ] import ( AssignmentExpression[+In, ?Yield, ?Await] , AssignmentExpression[+In, ?Yield, ?Await] ,opt )
Arguments[Yield, Await] :
	- [ ] ( )
	- [ ] ( ArgumentList[?Yield, ?Await] )
	- [ ] ( ArgumentList[?Yield, ?Await] , )
ArgumentList[Yield, Await] :
	- [ ] AssignmentExpression[+In, ?Yield, ?Await]
	- [ ] ... AssignmentExpression[+In, ?Yield, ?Await]
	- [ ] ArgumentList[?Yield, ?Await] , AssignmentExpression[+In, ?Yield, ?Await]
	- [ ] ArgumentList[?Yield, ?Await] , ... AssignmentExpression[+In, ?Yield, ?Await]
OptionalExpression[Yield, Await] :
	- [ ] MemberExpression[?Yield, ?Await] OptionalChain[?Yield, ?Await]
	- [ ] CallExpression[?Yield, ?Await] OptionalChain[?Yield, ?Await]
	- [ ] OptionalExpression[?Yield, ?Await] OptionalChain[?Yield, ?Await]
OptionalChain[Yield, Await] :
	- [ ] ?. Arguments[?Yield, ?Await]
	- [ ] ?. [ Expression[+In, ?Yield, ?Await] ]
	- [ ] ?. IdentifierName
	- [ ] ?. TemplateLiteral[?Yield, ?Await, +Tagged]
	- [ ] ?. PrivateIdentifier
	- [ ] OptionalChain[?Yield, ?Await] Arguments[?Yield, ?Await]
	- [ ] OptionalChain[?Yield, ?Await] [ Expression[+In, ?Yield, ?Await] ]
	- [ ] OptionalChain[?Yield, ?Await] . IdentifierName
	- [ ] OptionalChain[?Yield, ?Await] TemplateLiteral[?Yield, ?Await, +Tagged]
	- [ ] OptionalChain[?Yield, ?Await] . PrivateIdentifier
LeftHandSideExpression[Yield, Await] :
	- [ ] NewExpression[?Yield, ?Await]
	- [ ] CallExpression[?Yield, ?Await]
	- [ ] OptionalExpression[?Yield, ?Await]
UpdateExpression[Yield, Await] :
	- [ ] LeftHandSideExpression[?Yield, ?Await]
	- [ ] LeftHandSideExpression[?Yield, ?Await] [no LineTerminator here] ++
	- [ ] LeftHandSideExpression[?Yield, ?Await] [no LineTerminator here] --
	- [ ] ++ UnaryExpression[?Yield, ?Await]
	- [ ] -- UnaryExpression[?Yield, ?Await]
UnaryExpression[Yield, Await] :
	- [ ] UpdateExpression[?Yield, ?Await]
	- [ ] delete UnaryExpression[?Yield, ?Await]
	- [ ] void UnaryExpression[?Yield, ?Await]
	- [ ] typeof UnaryExpression[?Yield, ?Await]
	- [ ] + UnaryExpression[?Yield, ?Await]
	- [ ] - UnaryExpression[?Yield, ?Await]
	- [ ] ~ UnaryExpression[?Yield, ?Await]
	- [ ] ! UnaryExpression[?Yield, ?Await]
	- [ ] [+Await] CoverAwaitExpressionAndAwaitUsingDeclarationHead[?Yield]
CoverAwaitExpressionAndAwaitUsingDeclarationHead[Yield] :
	- [ ] await UnaryExpression[?Yield, +Await]

	- [ ] When processing an instance of the production
	- [ ] UnaryExpression[Yield, Await] : [+Await] CoverAwaitExpressionAndAwaitUsingDeclarationHead[?Yield]
the interpretation of CoverAwaitExpressionAndAwaitUsingDeclarationHead is refined using the following grammar:
AwaitExpression[Yield] :
	- [ ] await UnaryExpression[?Yield, +Await]

 
ExponentiationExpression[Yield, Await] :
	- [ ] UnaryExpression[?Yield, ?Await]
	- [ ] UpdateExpression[?Yield, ?Await] ** ExponentiationExpression[?Yield, ?Await]
MultiplicativeExpression[Yield, Await] :
	- [ ] ExponentiationExpression[?Yield, ?Await]
	- [ ] MultiplicativeExpression[?Yield, ?Await] MultiplicativeOperator ExponentiationExpression[?Yield, ?Await]
	- [ ] MultiplicativeOperator : one of
	- [ ] * / %
AdditiveExpression[Yield, Await] :
	- [ ] MultiplicativeExpression[?Yield, ?Await]
	- [ ] AdditiveExpression[?Yield, ?Await] + MultiplicativeExpression[?Yield, ?Await]
	- [ ] AdditiveExpression[?Yield, ?Await] - MultiplicativeExpression[?Yield, ?Await]
ShiftExpression[Yield, Await] :
	- [ ] AdditiveExpression[?Yield, ?Await]
	- [ ] ShiftExpression[?Yield, ?Await] << AdditiveExpression[?Yield, ?Await]
	- [ ] ShiftExpression[?Yield, ?Await] >> AdditiveExpression[?Yield, ?Await]
	- [ ] ShiftExpression[?Yield, ?Await] >>> AdditiveExpression[?Yield, ?Await]
RelationalExpression[In, Yield, Await] :
	- [ ] ShiftExpression[?Yield, ?Await]
	- [ ] RelationalExpression[?In, ?Yield, ?Await] < ShiftExpression[?Yield, ?Await]
	- [ ] RelationalExpression[?In, ?Yield, ?Await] > ShiftExpression[?Yield, ?Await]
	- [ ] RelationalExpression[?In, ?Yield, ?Await] <= ShiftExpression[?Yield, ?Await]
	- [ ] RelationalExpression[?In, ?Yield, ?Await] >= ShiftExpression[?Yield, ?Await]
	- [ ] RelationalExpression[?In, ?Yield, ?Await] instanceof ShiftExpression[?Yield, ?Await]
	- [ ] [+In] RelationalExpression[+In, ?Yield, ?Await] in ShiftExpression[?Yield, ?Await]
	- [ ] [+In] PrivateIdentifier in ShiftExpression[?Yield, ?Await]
EqualityExpression[In, Yield, Await] :
	- [ ] RelationalExpression[?In, ?Yield, ?Await]
	- [ ] EqualityExpression[?In, ?Yield, ?Await] == RelationalExpression[?In, ?Yield, ?Await]
	- [ ] EqualityExpression[?In, ?Yield, ?Await] != RelationalExpression[?In, ?Yield, ?Await]
	- [ ] EqualityExpression[?In, ?Yield, ?Await] === RelationalExpression[?In, ?Yield, ?Await]
	- [ ] EqualityExpression[?In, ?Yield, ?Await] !== RelationalExpression[?In, ?Yield, ?Await]
BitwiseANDExpression[In, Yield, Await] :
	- [ ] EqualityExpression[?In, ?Yield, ?Await]
	- [ ] BitwiseANDExpression[?In, ?Yield, ?Await] & EqualityExpression[?In, ?Yield, ?Await]
BitwiseXORExpression[In, Yield, Await] :
	- [ ] BitwiseANDExpression[?In, ?Yield, ?Await]
	- [ ] BitwiseXORExpression[?In, ?Yield, ?Await] ^ BitwiseANDExpression[?In, ?Yield, ?Await]
BitwiseORExpression[In, Yield, Await] :
	- [ ] BitwiseXORExpression[?In, ?Yield, ?Await]
	- [ ] BitwiseORExpression[?In, ?Yield, ?Await] | BitwiseXORExpression[?In, ?Yield, ?Await]
LogicalANDExpression[In, Yield, Await] :
	- [ ] BitwiseORExpression[?In, ?Yield, ?Await]
	- [ ] LogicalANDExpression[?In, ?Yield, ?Await] && BitwiseORExpression[?In, ?Yield, ?Await]
LogicalORExpression[In, Yield, Await] :
	- [ ] LogicalANDExpression[?In, ?Yield, ?Await]
	- [ ] LogicalORExpression[?In, ?Yield, ?Await] || LogicalANDExpression[?In, ?Yield, ?Await]
CoalesceExpression[In, Yield, Await] :
	- [ ] CoalesceExpressionHead[?In, ?Yield, ?Await] ?? BitwiseORExpression[?In, ?Yield, ?Await]
CoalesceExpressionHead[In, Yield, Await] :
	- [ ] CoalesceExpression[?In, ?Yield, ?Await]
	- [ ] BitwiseORExpression[?In, ?Yield, ?Await]
ShortCircuitExpression[In, Yield, Await] :
	- [ ] LogicalORExpression[?In, ?Yield, ?Await]
	- [ ] CoalesceExpression[?In, ?Yield, ?Await]
ConditionalExpression[In, Yield, Await] :
	- [ ] ShortCircuitExpression[?In, ?Yield, ?Await]
	- [ ] ShortCircuitExpression[?In, ?Yield, ?Await] ? AssignmentExpression[+In, ?Yield, ?Await] : AssignmentExpression[?In, ?Yield, ?Await]
AssignmentExpression[In, Yield, Await] :
	- [ ] ConditionalExpression[?In, ?Yield, ?Await]
	- [ ] [+Yield] YieldExpression[?In, ?Await]
	- [ ] ArrowFunction[?In, ?Yield, ?Await]
	- [ ] AsyncArrowFunction[?In, ?Yield, ?Await]
	- [ ] LeftHandSideExpression[?Yield, ?Await] = AssignmentExpression[?In, ?Yield, ?Await]
	- [ ] LeftHandSideExpression[?Yield, ?Await] AssignmentOperator AssignmentExpression[?In, ?Yield, ?Await]
	- [ ] LeftHandSideExpression[?Yield, ?Await] &&= AssignmentExpression[?In, ?Yield, ?Await]
	- [ ] LeftHandSideExpression[?Yield, ?Await] ||= AssignmentExpression[?In, ?Yield, ?Await]
	- [ ] LeftHandSideExpression[?Yield, ?Await] ??= AssignmentExpression[?In, ?Yield, ?Await]
	- [ ] AssignmentOperator : one of
	- [ ] *= /= %= += -= <<= >>= >>>= &= ^= |= **=

	- [ ] In certain circumstances when processing an instance of the production
	- [ ] AssignmentExpression[In, Yield, Await] : LeftHandSideExpression[?Yield, ?Await] = AssignmentExpression[?In, ?Yield, ?Await]
the interpretation of LeftHandSideExpression is refined using the following grammar:
AssignmentPattern[Yield, Await] :
	- [ ] ObjectAssignmentPattern[?Yield, ?Await]
	- [ ] ArrayAssignmentPattern[?Yield, ?Await]
ObjectAssignmentPattern[Yield, Await] :
	- [ ] { }
	- [ ] { AssignmentRestProperty[?Yield, ?Await] }
	- [ ] { AssignmentPropertyList[?Yield, ?Await] }
	- [ ] { AssignmentPropertyList[?Yield, ?Await] , AssignmentRestProperty[?Yield, ?Await]opt }
ArrayAssignmentPattern[Yield, Await] :
	- [ ] [ Elisionopt AssignmentRestElement[?Yield, ?Await]opt ]
	- [ ] [ AssignmentElementList[?Yield, ?Await] ]
	- [ ] [ AssignmentElementList[?Yield, ?Await] , Elisionopt AssignmentRestElement[?Yield, ?Await]opt ]
AssignmentRestProperty[Yield, Await] :
	- [ ] ... DestructuringAssignmentTarget[?Yield, ?Await]
AssignmentPropertyList[Yield, Await] :
	- [ ] AssignmentProperty[?Yield, ?Await]
	- [ ] AssignmentPropertyList[?Yield, ?Await] , AssignmentProperty[?Yield, ?Await]
AssignmentElementList[Yield, Await] :
	- [ ] AssignmentElisionElement[?Yield, ?Await]
	- [ ] AssignmentElementList[?Yield, ?Await] , AssignmentElisionElement[?Yield, ?Await]
AssignmentElisionElement[Yield, Await] :
	- [ ] Elisionopt AssignmentElement[?Yield, ?Await]
AssignmentProperty[Yield, Await] :
	- [ ] IdentifierReference[?Yield, ?Await] Initializer[+In, ?Yield, ?Await]opt
	- [ ] PropertyName[?Yield, ?Await] : AssignmentElement[?Yield, ?Await]
AssignmentElement[Yield, Await] :
	- [ ] DestructuringAssignmentTarget[?Yield, ?Await] Initializer[+In, ?Yield, ?Await]opt
AssignmentRestElement[Yield, Await] :
	- [ ] ... DestructuringAssignmentTarget[?Yield, ?Await]
DestructuringAssignmentTarget[Yield, Await] :
	- [ ] LeftHandSideExpression[?Yield, ?Await]

 
Expression[In, Yield, Await] :
	- [ ] AssignmentExpression[?In, ?Yield, ?Await]
	- [ ] Expression[?In, ?Yield, ?Await] , AssignmentExpression[?In, ?Yield, ?Await]

# A.3 Statements

Statement[Yield, Await, Return] :
	- [ ] BlockStatement[?Yield, ?Await, ?Return]
	- [ ] VariableStatement[?Yield, ?Await]
	- [ ] EmptyStatement
	- [ ] ExpressionStatement[?Yield, ?Await]
	- [ ] IfStatement[?Yield, ?Await, ?Return]
	- [ ] BreakableStatement[?Yield, ?Await, ?Return]
	- [ ] ContinueStatement[?Yield, ?Await]
	- [ ] BreakStatement[?Yield, ?Await]
	- [ ] [+Return] ReturnStatement[?Yield, ?Await]
	- [ ] WithStatement[?Yield, ?Await, ?Return]
	- [ ] LabelledStatement[?Yield, ?Await, ?Return]
	- [ ] ThrowStatement[?Yield, ?Await]
	- [ ] TryStatement[?Yield, ?Await, ?Return]
	- [ ] DebuggerStatement
Declaration[Yield, Await] :
	- [ ] HoistableDeclaration[?Yield, ?Await, ~Default]
	- [ ] ClassDeclaration[?Yield, ?Await, ~Default]
	- [ ] LexicalDeclaration[+In, ?Yield, ?Await]
HoistableDeclaration[Yield, Await, Default] :
	- [ ] FunctionDeclaration[?Yield, ?Await, ?Default]
	- [ ] GeneratorDeclaration[?Yield, ?Await, ?Default]
	- [ ] AsyncFunctionDeclaration[?Yield, ?Await, ?Default]
	- [ ] AsyncGeneratorDeclaration[?Yield, ?Await, ?Default]
BreakableStatement[Yield, Await, Return] :
	- [ ] IterationStatement[?Yield, ?Await, ?Return]
	- [ ] SwitchStatement[?Yield, ?Await, ?Return]
BlockStatement[Yield, Await, Return] :
	- [ ] Block[?Yield, ?Await, ?Return]
Block[Yield, Await, Return] :
	- [ ] { StatementList[?Yield, ?Await, ?Return]opt }
StatementList[Yield, Await, Return] :
	- [ ] StatementListItem[?Yield, ?Await, ?Return]
	- [ ] StatementList[?Yield, ?Await, ?Return] StatementListItem[?Yield, ?Await, ?Return]
StatementListItem[Yield, Await, Return] :
	- [ ] Statement[?Yield, ?Await, ?Return]
	- [ ] Declaration[?Yield, ?Await]
LexicalDeclaration[In, Yield, Await] :
	- [ ] LetOrConst BindingList[?In, ?Yield, ?Await, +Pattern] ;
	- [ ] UsingDeclaration[?In, ?Yield, ?Await]
	- [ ] [+Await] AwaitUsingDeclaration[?In, ?Yield]
LetOrConst :
	- [ ] let
	- [ ] const
UsingDeclaration[In, Yield, Await] :
	- [ ] using [no LineTerminator here] BindingList[?In, ?Yield, ?Await, ~Pattern] ;
AwaitUsingDeclaration[In, Yield] :
	- [ ] CoverAwaitExpressionAndAwaitUsingDeclarationHead[?Yield] [no LineTerminator here] BindingList[?In, ?Yield, +Await, ~Pattern] ;
BindingList[In, Yield, Await, Pattern] :
	- [ ] LexicalBinding[?In, ?Yield, ?Await, ?Pattern]
	- [ ] BindingList[?In, ?Yield, ?Await, ?Pattern] , LexicalBinding[?In, ?Yield, ?Await, ?Pattern]
LexicalBinding[In, Yield, Await, Pattern] :
	- [ ] BindingIdentifier[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]opt
	- [ ] [+Pattern] BindingPattern[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]

	- [ ] When processing an instance of the production
	- [ ] AwaitUsingDeclaration[In, Yield] : CoverAwaitExpressionAndAwaitUsingDeclarationHead[?Yield] [no LineTerminator here] BindingList[?In, ?Yield, +Await, ~Pattern] ;
the interpretation of CoverAwaitExpressionAndAwaitUsingDeclarationHead is refined using the following grammar:
AwaitUsingDeclarationHead :
	- [ ] await [no LineTerminator here] using

 
VariableStatement[Yield, Await] :
	- [ ] var VariableDeclarationList[+In, ?Yield, ?Await] ;
VariableDeclarationList[In, Yield, Await] :
	- [ ] VariableDeclaration[?In, ?Yield, ?Await]
	- [ ] VariableDeclarationList[?In, ?Yield, ?Await] , VariableDeclaration[?In, ?Yield, ?Await]
VariableDeclaration[In, Yield, Await] :
	- [ ] BindingIdentifier[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]opt
	- [ ] BindingPattern[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]
BindingPattern[Yield, Await] :
	- [ ] ObjectBindingPattern[?Yield, ?Await]
	- [ ] ArrayBindingPattern[?Yield, ?Await]
ObjectBindingPattern[Yield, Await] :
	- [ ] { }
	- [ ] { BindingRestProperty[?Yield, ?Await] }
	- [ ] { BindingPropertyList[?Yield, ?Await] }
	- [ ] { BindingPropertyList[?Yield, ?Await] , BindingRestProperty[?Yield, ?Await]opt }
ArrayBindingPattern[Yield, Await] :
	- [ ] [ Elisionopt BindingRestElement[?Yield, ?Await]opt ]
	- [ ] [ BindingElementList[?Yield, ?Await] ]
	- [ ] [ BindingElementList[?Yield, ?Await] , Elisionopt BindingRestElement[?Yield, ?Await]opt ]
BindingRestProperty[Yield, Await] :
	- [ ] ... BindingIdentifier[?Yield, ?Await]
BindingPropertyList[Yield, Await] :
	- [ ] BindingProperty[?Yield, ?Await]
	- [ ] BindingPropertyList[?Yield, ?Await] , BindingProperty[?Yield, ?Await]
BindingElementList[Yield, Await] :
	- [ ] BindingElisionElement[?Yield, ?Await]
	- [ ] BindingElementList[?Yield, ?Await] , BindingElisionElement[?Yield, ?Await]
BindingElisionElement[Yield, Await] :
	- [ ] Elisionopt BindingElement[?Yield, ?Await]
BindingProperty[Yield, Await] :
	- [ ] SingleNameBinding[?Yield, ?Await]
	- [ ] PropertyName[?Yield, ?Await] : BindingElement[?Yield, ?Await]
BindingElement[Yield, Await] :
	- [ ] SingleNameBinding[?Yield, ?Await]
	- [ ] BindingPattern[?Yield, ?Await] Initializer[+In, ?Yield, ?Await]opt
SingleNameBinding[Yield, Await] :
	- [ ] BindingIdentifier[?Yield, ?Await] Initializer[+In, ?Yield, ?Await]opt
BindingRestElement[Yield, Await] :
	- [ ] ... BindingIdentifier[?Yield, ?Await]
	- [ ] ... BindingPattern[?Yield, ?Await]
EmptyStatement :
;
ExpressionStatement[Yield, Await] :
	- [ ] [lookahead ∉ { {, function, async [no LineTerminator here] function, class, let [ }] Expression[+In, ?Yield, ?Await] ;
IfStatement[Yield, Await, Return] :
	- [ ] if ( Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return] else Statement[?Yield, ?Await, ?Return]
	- [ ] if ( Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return] [lookahead ≠ else]
IterationStatement[Yield, Await, Return] :
	- [ ] DoWhileStatement[?Yield, ?Await, ?Return]
	- [ ] WhileStatement[?Yield, ?Await, ?Return]
	- [ ] ForStatement[?Yield, ?Await, ?Return]
	- [ ] ForInOfStatement[?Yield, ?Await, ?Return]
DoWhileStatement[Yield, Await, Return] :
	- [ ] do Statement[?Yield, ?Await, ?Return] while ( Expression[+In, ?Yield, ?Await] ) ;
WhileStatement[Yield, Await, Return] :
	- [ ] while ( Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
ForStatement[Yield, Await, Return] :
	- [ ] for ( [lookahead ≠ let [] Expression[~In, ?Yield, ?Await]opt ; Expression[+In, ?Yield, ?Await]opt ; Expression[+In, ?Yield, ?Await]opt ) Statement[?Yield, ?Await, ?Return]
	- [ ] for ( var VariableDeclarationList[~In, ?Yield, ?Await] ; Expression[+In, ?Yield, ?Await]opt ; Expression[+In, ?Yield, ?Await]opt ) Statement[?Yield, ?Await, ?Return]
	- [ ] for ( LexicalDeclaration[~In, ?Yield, ?Await] Expression[+In, ?Yield, ?Await]opt ; Expression[+In, ?Yield, ?Await]opt ) Statement[?Yield, ?Await, ?Return]
ForInOfStatement[Yield, Await, Return] :
	- [ ] for ( [lookahead ≠ let [] LeftHandSideExpression[?Yield, ?Await] in Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
	- [ ] for ( var ForBinding[?Yield, ?Await, +Pattern] in Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
	- [ ] for ( ForDeclaration[?Yield, ?Await, ~Using] in Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
	- [ ] for ( [lookahead ∉ { let, async of }] LeftHandSideExpression[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
	- [ ] for ( var ForBinding[?Yield, ?Await, +Pattern] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
	- [ ] for ( [lookahead ≠ using of] ForDeclaration[?Yield, ?Await, +Using] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
	- [ ] [+Await] for await ( [lookahead ≠ let] LeftHandSideExpression[?Yield, ?Await] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
	- [ ] [+Await] for await ( var ForBinding[?Yield, ?Await, +Pattern] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
	- [ ] [+Await] for await ( [lookahead ≠ using of] ForDeclaration[?Yield, ?Await, +Using] of AssignmentExpression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
ForDeclaration[Yield, Await, Using] :
	- [ ] LetOrConst ForBinding[?Yield, ?Await, +Pattern]
	- [ ] [+Using] using [no LineTerminator here] ForBinding[?Yield, ?Await, ~Pattern]
	- [ ] [+Using, +Await] await [no LineTerminator here] using [no LineTerminator here] ForBinding[?Yield, +Await, ~Pattern]
ForBinding[Yield, Await, Pattern] :
	- [ ] BindingIdentifier[?Yield, ?Await]
	- [ ] [+Pattern] BindingPattern[?Yield, ?Await]
ContinueStatement[Yield, Await] :
	- [ ] continue ;
	- [ ] continue [no LineTerminator here] LabelIdentifier[?Yield, ?Await] ;
BreakStatement[Yield, Await] :
	- [ ] break ;
	- [ ] break [no LineTerminator here] LabelIdentifier[?Yield, ?Await] ;
ReturnStatement[Yield, Await] :
	- [ ] return ;
	- [ ] return [no LineTerminator here] Expression[+In, ?Yield, ?Await] ;
WithStatement[Yield, Await, Return] :
	- [ ] with ( Expression[+In, ?Yield, ?Await] ) Statement[?Yield, ?Await, ?Return]
SwitchStatement[Yield, Await, Return] :
	- [ ] switch ( Expression[+In, ?Yield, ?Await] ) CaseBlock[?Yield, ?Await, ?Return]
CaseBlock[Yield, Await, Return] :
	- [ ] { CaseClauses[?Yield, ?Await, ?Return]opt }
	- [ ] { CaseClauses[?Yield, ?Await, ?Return]opt DefaultClause[?Yield, ?Await, ?Return] CaseClauses[?Yield, ?Await, ?Return]opt }
CaseClauses[Yield, Await, Return] :
	- [ ] CaseClause[?Yield, ?Await, ?Return]
	- [ ] CaseClauses[?Yield, ?Await, ?Return] CaseClause[?Yield, ?Await, ?Return]
CaseClause[Yield, Await, Return] :
	- [ ] case Expression[+In, ?Yield, ?Await] : StatementList[?Yield, ?Await, ?Return]opt
DefaultClause[Yield, Await, Return] :
	- [ ] default : StatementList[?Yield, ?Await, ?Return]opt
LabelledStatement[Yield, Await, Return] :
	- [ ] LabelIdentifier[?Yield, ?Await] : LabelledItem[?Yield, ?Await, ?Return]
LabelledItem[Yield, Await, Return] :
	- [ ] Statement[?Yield, ?Await, ?Return]
	- [ ] FunctionDeclaration[?Yield, ?Await, ~Default]
ThrowStatement[Yield, Await] :
	- [ ] throw [no LineTerminator here] Expression[+In, ?Yield, ?Await] ;
TryStatement[Yield, Await, Return] :
	- [ ] try Block[?Yield, ?Await, ?Return] Catch[?Yield, ?Await, ?Return]
	- [ ] try Block[?Yield, ?Await, ?Return] Finally[?Yield, ?Await, ?Return]
	- [ ] try Block[?Yield, ?Await, ?Return] Catch[?Yield, ?Await, ?Return] Finally[?Yield, ?Await, ?Return]
Catch[Yield, Await, Return] :
	- [ ] catch ( CatchParameter[?Yield, ?Await] ) Block[?Yield, ?Await, ?Return]
	- [ ] catch Block[?Yield, ?Await, ?Return]
Finally[Yield, Await, Return] :
	- [ ] finally Block[?Yield, ?Await, ?Return]
CatchParameter[Yield, Await] :
	- [ ] BindingIdentifier[?Yield, ?Await]
	- [ ] BindingPattern[?Yield, ?Await]
DebuggerStatement :
	- [ ] debugger ;

# A.4 Functions and Classes

UniqueFormalParameters[Yield, Await] :
	- [ ] FormalParameters[?Yield, ?Await]
FormalParameters[Yield, Await] :
	- [ ] [empty]
	- [ ] FunctionRestParameter[?Yield, ?Await]
	- [ ] FormalParameterList[?Yield, ?Await]
	- [ ] FormalParameterList[?Yield, ?Await] ,
	- [ ] FormalParameterList[?Yield, ?Await] , FunctionRestParameter[?Yield, ?Await]
FormalParameterList[Yield, Await] :
	- [ ] FormalParameter[?Yield, ?Await]
	- [ ] FormalParameterList[?Yield, ?Await] , FormalParameter[?Yield, ?Await]
FunctionRestParameter[Yield, Await] :
	- [ ] BindingRestElement[?Yield, ?Await]
FormalParameter[Yield, Await] :
	- [ ] BindingElement[?Yield, ?Await]
FunctionDeclaration[Yield, Await, Default] :
	- [ ] function BindingIdentifier[?Yield, ?Await] ( FormalParameters[~Yield, ~Await] ) { FunctionBody[~Yield, ~Await] }
	- [ ] [+Default] function ( FormalParameters[~Yield, ~Await] ) { FunctionBody[~Yield, ~Await] }
FunctionExpression :
	- [ ] function BindingIdentifier[~Yield, ~Await]opt ( FormalParameters[~Yield, ~Await] ) { FunctionBody[~Yield, ~Await] }
FunctionBody[Yield, Await] :
	- [ ] FunctionStatementList[?Yield, ?Await]
FunctionStatementList[Yield, Await] :
	- [ ] StatementList[?Yield, ?Await, +Return]opt
ArrowFunction[In, Yield, Await] :
	- [ ] ArrowParameters[?Yield, ?Await] [no LineTerminator here] => ConciseBody[?In]
ArrowParameters[Yield, Await] :
	- [ ] BindingIdentifier[?Yield, ?Await]
	- [ ] CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
ConciseBody[In] :
	- [ ] [lookahead ≠ {] ExpressionBody[?In, ~Await]
	- [ ] { FunctionBody[~Yield, ~Await] }
ExpressionBody[In, Await] :
	- [ ] AssignmentExpression[?In, ~Yield, ?Await]

	- [ ] When processing an instance of the production
	- [ ] ArrowParameters[Yield, Await] : CoverParenthesizedExpressionAndArrowParameterList[?Yield, ?Await]
the interpretation of CoverParenthesizedExpressionAndArrowParameterList is refined using the following grammar:
ArrowFormalParameters[Yield, Await] :
	- [ ] ( UniqueFormalParameters[?Yield, ?Await] )

 
AsyncArrowFunction[In, Yield, Await] :
	- [ ] async [no LineTerminator here] AsyncArrowBindingIdentifier[?Yield] [no LineTerminator here] => AsyncConciseBody[?In]
	- [ ] CoverCallExpressionAndAsyncArrowHead[?Yield, ?Await] [no LineTerminator here] => AsyncConciseBody[?In]
AsyncConciseBody[In] :
	- [ ] [lookahead ≠ {] ExpressionBody[?In, +Await]
	- [ ] { AsyncFunctionBody }
AsyncArrowBindingIdentifier[Yield] :
	- [ ] BindingIdentifier[?Yield, +Await]
CoverCallExpressionAndAsyncArrowHead[Yield, Await] :
	- [ ] MemberExpression[?Yield, ?Await] Arguments[?Yield, ?Await]

	- [ ] When processing an instance of the production
	- [ ] AsyncArrowFunction[In, Yield, Await] : CoverCallExpressionAndAsyncArrowHead[?Yield, ?Await] [no LineTerminator here] => AsyncConciseBody[?In]
the interpretation of CoverCallExpressionAndAsyncArrowHead is refined using the following grammar:
AsyncArrowHead :
	- [ ] async [no LineTerminator here] ArrowFormalParameters[~Yield, +Await]

 
MethodDefinition[Yield, Await] :
	- [ ] ClassElementName[?Yield, ?Await] ( UniqueFormalParameters[~Yield, ~Await] ) { FunctionBody[~Yield, ~Await] }
	- [ ] GeneratorMethod[?Yield, ?Await]
	- [ ] AsyncMethod[?Yield, ?Await]
	- [ ] AsyncGeneratorMethod[?Yield, ?Await]
	- [ ] get ClassElementName[?Yield, ?Await] ( ) { FunctionBody[~Yield, ~Await] }
	- [ ] set ClassElementName[?Yield, ?Await] ( PropertySetParameterList ) { FunctionBody[~Yield, ~Await] }
PropertySetParameterList :
	- [ ] FormalParameter[~Yield, ~Await]
GeneratorDeclaration[Yield, Await, Default] :
	- [ ] function * BindingIdentifier[?Yield, ?Await] ( FormalParameters[+Yield, ~Await] ) { GeneratorBody }
	- [ ] [+Default] function * ( FormalParameters[+Yield, ~Await] ) { GeneratorBody }
GeneratorExpression :
	- [ ] function * BindingIdentifier[+Yield, ~Await]opt ( FormalParameters[+Yield, ~Await] ) { GeneratorBody }
GeneratorMethod[Yield, Await] :
	- [ ] * ClassElementName[?Yield, ?Await] ( UniqueFormalParameters[+Yield, ~Await] ) { GeneratorBody }
GeneratorBody :
	- [ ] FunctionBody[+Yield, ~Await]
YieldExpression[In, Await] :
	- [ ] yield
	- [ ] yield [no LineTerminator here] AssignmentExpression[?In, +Yield, ?Await]
	- [ ] yield [no LineTerminator here] * AssignmentExpression[?In, +Yield, ?Await]
AsyncGeneratorDeclaration[Yield, Await, Default] :
	- [ ] async [no LineTerminator here] function * BindingIdentifier[?Yield, ?Await] ( FormalParameters[+Yield, +Await] ) { AsyncGeneratorBody }
	- [ ] [+Default] async [no LineTerminator here] function * ( FormalParameters[+Yield, +Await] ) { AsyncGeneratorBody }
AsyncGeneratorExpression :
	- [ ] async [no LineTerminator here] function * BindingIdentifier[+Yield, +Await]opt ( FormalParameters[+Yield, +Await] ) { AsyncGeneratorBody }
AsyncGeneratorMethod[Yield, Await] :
	- [ ] async [no LineTerminator here] * ClassElementName[?Yield, ?Await] ( UniqueFormalParameters[+Yield, +Await] ) { AsyncGeneratorBody }
AsyncGeneratorBody :
	- [ ] FunctionBody[+Yield, +Await]
AsyncFunctionDeclaration[Yield, Await, Default] :
	- [ ] async [no LineTerminator here] function BindingIdentifier[?Yield, ?Await] ( FormalParameters[~Yield, +Await] ) { AsyncFunctionBody }
	- [ ] [+Default] async [no LineTerminator here] function ( FormalParameters[~Yield, +Await] ) { AsyncFunctionBody }
AsyncFunctionExpression :
	- [ ] async [no LineTerminator here] function BindingIdentifier[~Yield, +Await]opt ( FormalParameters[~Yield, +Await] ) { AsyncFunctionBody }
AsyncMethod[Yield, Await] :
	- [ ] async [no LineTerminator here] ClassElementName[?Yield, ?Await] ( UniqueFormalParameters[~Yield, +Await] ) { AsyncFunctionBody }
AsyncFunctionBody :
	- [ ] FunctionBody[~Yield, +Await]
AwaitExpression[Yield] :
	- [ ] await UnaryExpression[?Yield, +Await]
ClassDeclaration[Yield, Await, Default] :
	- [ ] class BindingIdentifier[?Yield, ?Await] ClassTail[?Yield, ?Await]
	- [ ] [+Default] class ClassTail[?Yield, ?Await]
ClassExpression[Yield, Await] :
	- [ ] class BindingIdentifier[?Yield, ?Await]opt ClassTail[?Yield, ?Await]
ClassTail[Yield, Await] :
	- [ ] ClassHeritage[?Yield, ?Await]opt { ClassBody[?Yield, ?Await]opt }
ClassHeritage[Yield, Await] :
	- [ ] extends LeftHandSideExpression[?Yield, ?Await]
ClassBody[Yield, Await] :
	- [ ] ClassElementList[?Yield, ?Await]
ClassElementList[Yield, Await] :
	- [ ] ClassElement[?Yield, ?Await]
	- [ ] ClassElementList[?Yield, ?Await] ClassElement[?Yield, ?Await]
ClassElement[Yield, Await] :
	- [ ] MethodDefinition[?Yield, ?Await]
	- [ ] static MethodDefinition[?Yield, ?Await]
	- [ ] FieldDefinition[?Yield, ?Await] ;
	- [ ] static FieldDefinition[?Yield, ?Await] ;
	- [ ] ClassStaticBlock
;
FieldDefinition[Yield, Await] :
	- [ ] ClassElementName[?Yield, ?Await] Initializer[+In, ?Yield, ?Await]opt
ClassElementName[Yield, Await] :
	- [ ] PropertyName[?Yield, ?Await]
	- [ ] PrivateIdentifier
ClassStaticBlock :
	- [ ] static { ClassStaticBlockBody }
ClassStaticBlockBody :
	- [ ] ClassStaticBlockStatementList
ClassStaticBlockStatementList :
	- [ ] StatementList[~Yield, +Await, ~Return]opt

# A.5 Scripts and Modules

Script :
	- [ ] ScriptBodyopt
ScriptBody :
	- [ ] StatementList[~Yield, ~Await, ~Return]
Module :
	- [ ] ModuleBodyopt
ModuleBody :
	- [ ] ModuleItemList
ModuleItemList :
	- [ ] ModuleItem
	- [ ] ModuleItemList ModuleItem
ModuleItem :
	- [ ] ImportDeclaration
	- [ ] ExportDeclaration
	- [ ] StatementListItem[~Yield, +Await, ~Return]
ModuleExportName :
	- [ ] IdentifierName
	- [ ] StringLiteral
ImportDeclaration :
	- [ ] import ImportClause FromClause WithClauseopt ;
	- [ ] import ModuleSpecifier WithClauseopt ;
ImportClause :
	- [ ] ImportedDefaultBinding
	- [ ] NameSpaceImport
	- [ ] NamedImports
	- [ ] ImportedDefaultBinding , NameSpaceImport
	- [ ] ImportedDefaultBinding , NamedImports
ImportedDefaultBinding :
	- [ ] ImportedBinding
NameSpaceImport :
	- [ ] * as ImportedBinding
NamedImports :
	- [ ] { }
	- [ ] { ImportsList }
	- [ ] { ImportsList , }
FromClause :
	- [ ] from ModuleSpecifier
ImportsList :
	- [ ] ImportSpecifier
	- [ ] ImportsList , ImportSpecifier
ImportSpecifier :
	- [ ] ImportedBinding
	- [ ] ModuleExportName as ImportedBinding
ModuleSpecifier :
	- [ ] StringLiteral
ImportedBinding :
	- [ ] BindingIdentifier[~Yield, +Await]
WithClause :
	- [ ] with { }
	- [ ] with { WithEntries ,opt }
WithEntries :
	- [ ] AttributeKey : StringLiteral
	- [ ] AttributeKey : StringLiteral , WithEntries
AttributeKey :
	- [ ] IdentifierName
	- [ ] StringLiteral
ExportDeclaration :
	- [ ] export ExportFromClause FromClause WithClauseopt ;
	- [ ] export NamedExports ;
	- [ ] export VariableStatement[~Yield, +Await]
	- [ ] export [lookahead ∉ { using, await }] Declaration[~Yield, +Await]
	- [ ] export default HoistableDeclaration[~Yield, +Await, +Default]
	- [ ] export default ClassDeclaration[~Yield, +Await, +Default]
	- [ ] export default [lookahead ∉ { function, async [no LineTerminator here] function, class }] AssignmentExpression[+In, ~Yield, +Await] ;
ExportFromClause :
*
	- [ ] * as ModuleExportName
	- [ ] NamedExports
NamedExports :
	- [ ] { }
	- [ ] { ExportsList }
	- [ ] { ExportsList , }
ExportsList :
	- [ ] ExportSpecifier
	- [ ] ExportsList , ExportSpecifier
ExportSpecifier :
	- [ ] ModuleExportName
	- [ ] ModuleExportName as ModuleExportName

# A.6 Number Conversions


- [ ] StringNumericLiteral :::
	- [ ] StrWhiteSpaceopt
	- [ ] StrWhiteSpaceopt StrNumericLiteral StrWhiteSpaceopt

- [ ] StrWhiteSpace :::
	- [ ] StrWhiteSpaceChar StrWhiteSpaceopt

- [ ] StrWhiteSpaceChar :::
	- [ ] WhiteSpace
	- [ ] LineTerminator

- [ ] StrNumericLiteral :::
	- [ ] StrDecimalLiteral
	- [ ] NonDecimalIntegerLiteral[~Sep]

- [ ] StrDecimalLiteral :::
	- [ ] StrUnsignedDecimalLiteral
	- [ ] + StrUnsignedDecimalLiteral
	- [ ] - StrUnsignedDecimalLiteral

- [ ] StrUnsignedDecimalLiteral :::
	- [ ] Infinity
	- [ ] DecimalDigits[~Sep] . DecimalDigits[~Sep]opt ExponentPart[~Sep]opt
	- [ ] . DecimalDigits[~Sep] ExponentPart[~Sep]opt
	- [ ] DecimalDigits[~Sep] ExponentPart[~Sep]opt

	- [ ] All grammar symbols not explicitly defined by the StringNumericLiteral grammar have the definitions used in the Lexical Grammar for numeric literals.

- [ ] StringIntegerLiteral :::
	- [ ] StrWhiteSpaceopt
	- [ ] StrWhiteSpaceopt StrIntegerLiteral StrWhiteSpaceopt

- [ ] StrIntegerLiteral :::
	- [ ] SignedInteger[~Sep]
	- [ ] NonDecimalIntegerLiteral[~Sep]

# A.7 Time Zone Offset String Format


- [ ] UTCOffset :::
	- [ ] ASCIISign Hour
	- [ ] ASCIISign Hour HourSubcomponents[+Extended]
	- [ ] ASCIISign Hour HourSubcomponents[~Extended]
	- [ ] ASCIISign ::: one of
	- [ ] + -

- [ ] Hour :::
	- [ ] 0 DecimalDigit
	- [ ] 1 DecimalDigit
20
21
22
23

- [ ] HourSubcomponents[Extended] :::
	- [ ] TimeSeparator[?Extended] MinuteSecond
	- [ ] TimeSeparator[?Extended] MinuteSecond TimeSeparator[?Extended] MinuteSecond TemporalDecimalFractionopt

- [ ] TimeSeparator[Extended] :::
[+Extended] :
	- [ ] [~Extended] [empty]

- [ ] MinuteSecond :::
	- [ ] 0 DecimalDigit
	- [ ] 1 DecimalDigit
	- [ ] 2 DecimalDigit
	- [ ] 3 DecimalDigit
	- [ ] 4 DecimalDigit
	- [ ] 5 DecimalDigit

- [ ] TemporalDecimalFraction :::
	- [ ] TemporalDecimalSeparator DecimalDigit
	- [ ] TemporalDecimalSeparator DecimalDigit DecimalDigit
	- [ ] TemporalDecimalSeparator DecimalDigit DecimalDigit DecimalDigit
	- [ ] TemporalDecimalSeparator DecimalDigit DecimalDigit DecimalDigit DecimalDigit
	- [ ] TemporalDecimalSeparator DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit
	- [ ] TemporalDecimalSeparator DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit
	- [ ] TemporalDecimalSeparator DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit
	- [ ] TemporalDecimalSeparator DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit
	- [ ] TemporalDecimalSeparator DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit DecimalDigit
	- [ ] TemporalDecimalSeparator ::: one of
	- [ ] . ,

# A.8 Regular Expressions


- [ ] Pattern[UnicodeMode, UnicodeSetsMode, NamedCaptureGroups] ::
	- [ ] Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups]

- [ ] Disjunction[UnicodeMode, UnicodeSetsMode, NamedCaptureGroups] ::
	- [ ] Alternative[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups]
	- [ ] Alternative[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] | Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups]

- [ ] Alternative[UnicodeMode, UnicodeSetsMode, NamedCaptureGroups] ::
	- [ ] [empty]
	- [ ] Alternative[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] Term[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups]

- [ ] Term[UnicodeMode, UnicodeSetsMode, NamedCaptureGroups] ::
	- [ ] Assertion[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups]
	- [ ] Atom[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups]
	- [ ] Atom[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] Quantifier

- [ ] Assertion[UnicodeMode, UnicodeSetsMode, NamedCaptureGroups] ::
^
$
\b
\B
	- [ ] (?= Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] )
	- [ ] (?! Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] )
	- [ ] (?<= Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] )
	- [ ] (?<! Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] )

- [ ] Quantifier ::
	- [ ] QuantifierPrefix
	- [ ] QuantifierPrefix ?

- [ ] QuantifierPrefix ::
*
+
?
	- [ ] { DecimalDigits[~Sep] }
	- [ ] { DecimalDigits[~Sep] ,}
	- [ ] { DecimalDigits[~Sep] , DecimalDigits[~Sep] }

- [ ] Atom[UnicodeMode, UnicodeSetsMode, NamedCaptureGroups] ::
	- [ ] PatternCharacter
.
	- [ ] \ AtomEscape[?UnicodeMode, ?NamedCaptureGroups]
	- [ ] CharacterClass[?UnicodeMode, ?UnicodeSetsMode]
	- [ ] ( GroupSpecifier[?UnicodeMode]opt Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] )
	- [ ] (? RegularExpressionModifiers : Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] )
	- [ ] (? RegularExpressionModifiers - RegularExpressionModifiers : Disjunction[?UnicodeMode, ?UnicodeSetsMode, ?NamedCaptureGroups] )

- [ ] RegularExpressionModifiers ::
	- [ ] [empty]
	- [ ] RegularExpressionModifiers RegularExpressionModifier
	- [ ] RegularExpressionModifier :: one of
	- [ ] i m s
	- [ ] SyntaxCharacter :: one of
	- [ ] ^ $ \ . * + ? ( ) [ ] { } |

- [ ] PatternCharacter ::
	- [ ] SourceCharacter but not SyntaxCharacter

- [ ] AtomEscape[UnicodeMode, NamedCaptureGroups] ::
	- [ ] DecimalEscape
	- [ ] CharacterClassEscape[?UnicodeMode]
	- [ ] CharacterEscape[?UnicodeMode]
	- [ ] [+NamedCaptureGroups] k GroupName[?UnicodeMode]

- [ ] CharacterEscape[UnicodeMode] ::
	- [ ] ControlEscape
	- [ ] c AsciiLetter
	- [ ] 0 [lookahead ∉ DecimalDigit]
	- [ ] HexEscapeSequence
	- [ ] RegExpUnicodeEscapeSequence[?UnicodeMode]
	- [ ] IdentityEscape[?UnicodeMode]
	- [ ] ControlEscape :: one of
	- [ ] f n r t v

- [ ] GroupSpecifier[UnicodeMode] ::
	- [ ] ? GroupName[?UnicodeMode]

- [ ] GroupName[UnicodeMode] ::
	- [ ] < RegExpIdentifierName[?UnicodeMode] >

- [ ] RegExpIdentifierName[UnicodeMode] ::
	- [ ] RegExpIdentifierStart[?UnicodeMode]
	- [ ] RegExpIdentifierName[?UnicodeMode] RegExpIdentifierPart[?UnicodeMode]

- [ ] RegExpIdentifierStart[UnicodeMode] ::
	- [ ] IdentifierStartChar
	- [ ] \ RegExpUnicodeEscapeSequence[+UnicodeMode]
	- [ ] [~UnicodeMode] UnicodeLeadSurrogate UnicodeTrailSurrogate

- [ ] RegExpIdentifierPart[UnicodeMode] ::
	- [ ] IdentifierPartChar
	- [ ] \ RegExpUnicodeEscapeSequence[+UnicodeMode]
	- [ ] [~UnicodeMode] UnicodeLeadSurrogate UnicodeTrailSurrogate

- [ ] RegExpUnicodeEscapeSequence[UnicodeMode] ::
	- [ ] [+UnicodeMode] u HexLeadSurrogate \u HexTrailSurrogate
	- [ ] [+UnicodeMode] u HexLeadSurrogate
	- [ ] [+UnicodeMode] u HexTrailSurrogate
	- [ ] [+UnicodeMode] u HexNonSurrogate
	- [ ] [~UnicodeMode] u Hex4Digits
	- [ ] [+UnicodeMode] u{ CodePoint }

- [ ] UnicodeLeadSurrogate ::
	- [ ] any Unicode code point in the inclusive interval from U+D800 to U+DBFF

- [ ] UnicodeTrailSurrogate ::
	- [ ] any Unicode code point in the inclusive interval from U+DC00 to U+DFFF

	- [ ] Each \u HexTrailSurrogate for which the choice of associated u HexLeadSurrogate is ambiguous shall be associated with the nearest possible u HexLeadSurrogate that would otherwise have no corresponding \u HexTrailSurrogate.

 

- [ ] HexLeadSurrogate ::
	- [ ] Hex4Digits but only if the MV of Hex4Digits is in the inclusive interval from 0xD800 to 0xDBFF

- [ ] HexTrailSurrogate ::
	- [ ] Hex4Digits but only if the MV of Hex4Digits is in the inclusive interval from 0xDC00 to 0xDFFF

- [ ] HexNonSurrogate ::
	- [ ] Hex4Digits but only if the MV of Hex4Digits is not in the inclusive interval from 0xD800 to 0xDFFF

- [ ] IdentityEscape[UnicodeMode] ::
	- [ ] [+UnicodeMode] SyntaxCharacter
	- [ ] [+UnicodeMode] /
	- [ ] [~UnicodeMode] SourceCharacter but not UnicodeIDContinue

- [ ] DecimalEscape ::
	- [ ] NonZeroDigit DecimalDigits[~Sep]opt [lookahead ∉ DecimalDigit]

- [ ] CharacterClassEscape[UnicodeMode] ::
d
D
s
S
w
W
	- [ ] [+UnicodeMode] p{ UnicodePropertyValueExpression }
	- [ ] [+UnicodeMode] P{ UnicodePropertyValueExpression }

- [ ] UnicodePropertyValueExpression ::
	- [ ] UnicodePropertyName = UnicodePropertyValue
	- [ ] LoneUnicodePropertyNameOrValue

- [ ] UnicodePropertyName ::
	- [ ] UnicodePropertyNameCharacters

- [ ] UnicodePropertyNameCharacters ::
	- [ ] UnicodePropertyNameCharacter UnicodePropertyNameCharactersopt

- [ ] UnicodePropertyValue ::
	- [ ] UnicodePropertyValueCharacters

- [ ] LoneUnicodePropertyNameOrValue ::
	- [ ] UnicodePropertyValueCharacters

- [ ] UnicodePropertyValueCharacters ::
	- [ ] UnicodePropertyValueCharacter UnicodePropertyValueCharactersopt

- [ ] UnicodePropertyValueCharacter ::
	- [ ] UnicodePropertyNameCharacter
	- [ ] DecimalDigit

- [ ] UnicodePropertyNameCharacter ::
	- [ ] AsciiLetter
_

- [ ] CharacterClass[UnicodeMode, UnicodeSetsMode] ::
	- [ ] [ [lookahead ≠ ^] ClassContents[?UnicodeMode, ?UnicodeSetsMode] ]
	- [ ] [^ ClassContents[?UnicodeMode, ?UnicodeSetsMode] ]

- [ ] ClassContents[UnicodeMode, UnicodeSetsMode] ::
	- [ ] [empty]
	- [ ] [~UnicodeSetsMode] NonemptyClassRanges[?UnicodeMode]
	- [ ] [+UnicodeSetsMode] ClassSetExpression

- [ ] NonemptyClassRanges[UnicodeMode] ::
	- [ ] ClassAtom[?UnicodeMode]
	- [ ] ClassAtom[?UnicodeMode] NonemptyClassRangesNoDash[?UnicodeMode]
	- [ ] ClassAtom[?UnicodeMode] - ClassAtom[?UnicodeMode] ClassContents[?UnicodeMode, ~UnicodeSetsMode]

- [ ] NonemptyClassRangesNoDash[UnicodeMode] ::
	- [ ] ClassAtom[?UnicodeMode]
	- [ ] ClassAtomNoDash[?UnicodeMode] NonemptyClassRangesNoDash[?UnicodeMode]
	- [ ] ClassAtomNoDash[?UnicodeMode] - ClassAtom[?UnicodeMode] ClassContents[?UnicodeMode, ~UnicodeSetsMode]

- [ ] ClassAtom[UnicodeMode] ::
-
	- [ ] ClassAtomNoDash[?UnicodeMode]

- [ ] ClassAtomNoDash[UnicodeMode] ::
	- [ ] SourceCharacter but not one of \ or ] or -
	- [ ] \ ClassEscape[?UnicodeMode]

- [ ] ClassEscape[UnicodeMode] ::
b
	- [ ] [+UnicodeMode] -
	- [ ] CharacterClassEscape[?UnicodeMode]
	- [ ] CharacterEscape[?UnicodeMode]

- [ ] ClassSetExpression ::
	- [ ] ClassUnion
	- [ ] ClassIntersection
	- [ ] ClassSubtraction

- [ ] ClassUnion ::
	- [ ] ClassSetRange ClassUnionopt
	- [ ] ClassSetOperand ClassUnionopt

- [ ] ClassIntersection ::
	- [ ] ClassSetOperand && [lookahead ≠ &] ClassSetOperand
	- [ ] ClassIntersection && [lookahead ≠ &] ClassSetOperand

- [ ] ClassSubtraction ::
	- [ ] ClassSetOperand -- ClassSetOperand
	- [ ] ClassSubtraction -- ClassSetOperand

- [ ] ClassSetRange ::
	- [ ] ClassSetCharacter - ClassSetCharacter

- [ ] ClassSetOperand ::
	- [ ] NestedClass
	- [ ] ClassStringDisjunction
	- [ ] ClassSetCharacter

- [ ] NestedClass ::
	- [ ] [ [lookahead ≠ ^] ClassContents[+UnicodeMode, +UnicodeSetsMode] ]
	- [ ] [^ ClassContents[+UnicodeMode, +UnicodeSetsMode] ]
	- [ ] \ CharacterClassEscape[+UnicodeMode]

- [ ] ClassStringDisjunction ::
	- [ ] \q{ ClassStringDisjunctionContents }

- [ ] ClassStringDisjunctionContents ::
	- [ ] ClassString
	- [ ] ClassString | ClassStringDisjunctionContents

- [ ] ClassString ::
	- [ ] [empty]
	- [ ] NonEmptyClassString

- [ ] NonEmptyClassString ::
	- [ ] ClassSetCharacter NonEmptyClassStringopt

- [ ] ClassSetCharacter ::
	- [ ] [lookahead ∉ ClassSetReservedDoublePunctuator] SourceCharacter but not ClassSetSyntaxCharacter
	- [ ] \ CharacterEscape[+UnicodeMode]
	- [ ] \ ClassSetReservedPunctuator
\b
	- [ ] ClassSetReservedDoublePunctuator :: one of
	- [ ] && !! ## $$ %% ** ++ ,, .. :: ;; << == >> ?? @@ ^^ `` ~~
	- [ ] ClassSetSyntaxCharacter :: one of
	- [ ] ( ) [ ] { } / - \ |
	- [ ] ClassSetReservedPunctuator :: one of
	- [ ] & - ! # % , : ; < = > @ ` ~