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 #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 #1081.)
  • Loading branch information
jmdyck committed Jul 24, 2021
1 parent a6bb719 commit cdbf14f
Showing 1 changed file with 16 additions and 16 deletions.
32 changes: 16 additions & 16 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -33186,7 +33186,7 @@ <h2>Patterns</h2>
`.`
`\` AtomEscape[?U, ?N]
[~U] `\` [lookahead == `c`]
CharacterClass[?U]
CharacterClass[?U, ?N]
`(` GroupSpecifier[?U] Disjunction[?U, ?N] `)`
`(` `?` `:` Disjunction[?U, ?N] `)`
[~U] InvalidBracedQuantifier
Expand Down Expand Up @@ -33242,27 +33242,27 @@ <h2>Group Specifiers</h2>

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

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

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

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

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

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

0 comments on commit cdbf14f

Please sign in to comment.