Skip to content

Commit

Permalink
Editorial: add RegExp lookbehind to annex-B
Browse files Browse the repository at this point in the history
  • Loading branch information
mysticatea committed Feb 16, 2018
1 parent 4b21985 commit ac7ccb8
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -40775,11 +40775,15 @@ <h2>Syntax</h2>
`\` `B`
[+U] `(` `?` `=` Disjunction[+U, ?N] `)`
[+U] `(` `?` `!` Disjunction[+U, ?N] `)`
[+U] `(` `?` `&lt;=` Disjunction[?U, ?N] `)`
[+U] `(` `?` `&lt;!` Disjunction[?U, ?N] `)`
[~U] QuantifiableAssertion[?N]

QuantifiableAssertion[N] ::
`(` `?` `=` Disjunction[~U, ?N] `)`
`(` `?` `!` Disjunction[~U, ?N] `)`
`(` `?` `&lt;=` Disjunction[?U, ?N] `)`
`(` `?` `&lt;!` Disjunction[?U, ?N] `)`

ExtendedAtom[N] ::
`.`
Expand Down Expand Up @@ -40918,7 +40922,7 @@ <h1>Pattern Semantics</h1>
1. Return _m_.
</emu-alg>

<p>Assertion (<emu-xref href="#sec-assertion"></emu-xref>) evaluation rules for the <emu-grammar>Assertion :: `(` `?` `=` Disjunction `)`</emu-grammar> and <emu-grammar>Assertion :: `(` `?` `!` Disjunction `)`</emu-grammar> productions are also used for the |QuantifiableAssertion| productions, but with |QuantifiableAssertion| substituted for |Assertion|.</p>
<p>Assertion (<emu-xref href="#sec-assertion"></emu-xref>) evaluation rules for the <emu-grammar>Assertion :: `(` `?` `=` Disjunction `)`</emu-grammar>, <emu-grammar>Assertion :: `(` `?` `!` Disjunction `)`</emu-grammar>, <emu-grammar>Assertion :: `(` `?` `&lt;=` Disjunction `)`</emu-grammar>, and <emu-grammar>Assertion :: `(` `?` `&lt;!` Disjunction `)`</emu-grammar> productions are also used for the |QuantifiableAssertion| productions, but with |QuantifiableAssertion| substituted for |Assertion|.</p>

<p>Atom (<emu-xref href="#sec-atom"></emu-xref>) evaluation rules for the |Atom| productions except for <emu-grammar>Atom :: PatternCharacter</emu-grammar> are also used for the |ExtendedAtom| productions, but with |ExtendedAtom| substituted for |Atom|. The following evaluation rules are also added:</p>
<p>The production <emu-grammar>ExtendedAtom :: `\` [lookahead == `c`]</emu-grammar> evaluates as follows:</p>
Expand Down

0 comments on commit ac7ccb8

Please sign in to comment.