Skip to content

Commit

Permalink
Editorial: Add [N] parameter to 5 productions
Browse files Browse the repository at this point in the history
Specifically, add [N] parameter to
    CharacterClass
    ClassRanges
    NonemptyClassRanges
    NonemptyClassRangesNoDash
    ClassAtom

These were implied when commit 95ec0c6 (of PR tc39#1027)...

- added [?N] to RHS occurrences of CharacterClass
  without explicitly adding [N] to the LHS occurrence CharacterClass; and

- added [N] to the LHS occurrence of ClassAtomNoDash (in Annex B)
  without adding [?N] to any RHS occurrence.

This commit propagates [N] across that gap.

(See issue tc39#1081.)
  • Loading branch information
jmdyck committed Sep 14, 2021
1 parent 2853857 commit 5d412eb
Showing 1 changed file with 19 additions and 19 deletions.
38 changes: 19 additions & 19 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -34077,7 +34077,7 @@ <h2>Patterns</h2>
`.`
`\` AtomEscape[?UnicodeMode, ?N]
[~UnicodeMode] `\` [lookahead == `c`]
CharacterClass[?UnicodeMode]
CharacterClass[?UnicodeMode, ?N]
`(` GroupSpecifier[?UnicodeMode] Disjunction[?UnicodeMode, ?N] `)`
`(` `?` `:` Disjunction[?UnicodeMode, ?N] `)`
[~UnicodeMode] InvalidBracedQuantifier
Expand All @@ -34088,9 +34088,9 @@ <h2>Patterns</h2>
`{` DecimalDigits[~Sep] `,` `}`
`{` DecimalDigits[~Sep] `,` DecimalDigits[~Sep] `}`

PatternCharacter[U] ::
[+U] SourceCharacter but not SyntaxCharacter
[~U] SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`
PatternCharacter[UnicodeMode] ::
[+UnicodeMode] SourceCharacter but not SyntaxCharacter
[~UnicodeMode] SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`

SyntaxCharacter :: one of
`^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `]` `{` `}` `|`
Expand Down Expand Up @@ -34133,27 +34133,27 @@ <h2>Group Specifiers</h2>

<h2>Character Classes</h2>
<emu-grammar type="definition">
CharacterClass[UnicodeMode] ::
`[` [lookahead != `^`] ClassRanges[?UnicodeMode] `]`
`[` `^` ClassRanges[?UnicodeMode] `]`
CharacterClass[UnicodeMode, N] ::
`[` [lookahead != `^`] ClassRanges[?UnicodeMode, ?N] `]`
`[` `^` ClassRanges[?UnicodeMode, ?N] `]`

ClassRanges[UnicodeMode] ::
ClassRanges[UnicodeMode, N] ::
[empty]
NonemptyClassRanges[?UnicodeMode]
NonemptyClassRanges[?UnicodeMode, ?N]

NonemptyClassRanges[UnicodeMode] ::
ClassAtom[?UnicodeMode]
ClassAtom[?UnicodeMode] NonemptyClassRangesNoDash[?UnicodeMode]
ClassAtom[?UnicodeMode] `-` ClassAtom[?UnicodeMode] ClassRanges[?UnicodeMode]
NonemptyClassRanges[UnicodeMode, N] ::
ClassAtom[?UnicodeMode, ?N]
ClassAtom[?UnicodeMode, ?N] NonemptyClassRangesNoDash[?UnicodeMode, ?N]
ClassAtom[?UnicodeMode, ?N] `-` ClassAtom[?UnicodeMode, ?N] ClassRanges[?UnicodeMode, ?N]

NonemptyClassRangesNoDash[UnicodeMode] ::
ClassAtom[?UnicodeMode]
ClassAtomNoDash[?UnicodeMode] NonemptyClassRangesNoDash[?UnicodeMode]
ClassAtomNoDash[?UnicodeMode] `-` ClassAtom[?UnicodeMode] ClassRanges[?UnicodeMode]
NonemptyClassRangesNoDash[UnicodeMode, N] ::
ClassAtom[?UnicodeMode, ?N]
ClassAtomNoDash[?UnicodeMode, ?N] NonemptyClassRangesNoDash[?UnicodeMode, ?N]
ClassAtomNoDash[?UnicodeMode, ?N] `-` ClassAtom[?UnicodeMode, ?N] ClassRanges[?UnicodeMode, ?N]

ClassAtom[UnicodeMode] ::
ClassAtom[UnicodeMode, N] ::
`-`
ClassAtomNoDash[?UnicodeMode]
ClassAtomNoDash[?UnicodeMode, ?N]

ClassAtomNoDash[UnicodeMode, N] ::!
SourceCharacter but not one of `\` or `]` or `-`
Expand Down

0 comments on commit 5d412eb

Please sign in to comment.