From ac7ccb8ede792656efe70a92a162bf97795bdd19 Mon Sep 17 00:00:00 2001 From: Toru Nagashima Date: Fri, 16 Feb 2018 14:23:02 +0900 Subject: [PATCH] Editorial: add RegExp lookbehind to annex-B --- spec.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/spec.html b/spec.html index f10859200f4..05a50243e0e 100644 --- a/spec.html +++ b/spec.html @@ -40775,11 +40775,15 @@

Syntax

`\` `B` [+U] `(` `?` `=` Disjunction[+U, ?N] `)` [+U] `(` `?` `!` Disjunction[+U, ?N] `)` + [+U] `(` `?` `<=` Disjunction[?U, ?N] `)` + [+U] `(` `?` `<!` Disjunction[?U, ?N] `)` [~U] QuantifiableAssertion[?N] QuantifiableAssertion[N] :: `(` `?` `=` Disjunction[~U, ?N] `)` `(` `?` `!` Disjunction[~U, ?N] `)` + `(` `?` `<=` Disjunction[?U, ?N] `)` + `(` `?` `<!` Disjunction[?U, ?N] `)` ExtendedAtom[N] :: `.` @@ -40918,7 +40922,7 @@

Pattern Semantics

1. Return _m_. -

Assertion () evaluation rules for the Assertion :: `(` `?` `=` Disjunction `)` and Assertion :: `(` `?` `!` Disjunction `)` productions are also used for the |QuantifiableAssertion| productions, but with |QuantifiableAssertion| substituted for |Assertion|.

+

Assertion () evaluation rules for the Assertion :: `(` `?` `=` Disjunction `)`, Assertion :: `(` `?` `!` Disjunction `)`, Assertion :: `(` `?` `<=` Disjunction `)`, and Assertion :: `(` `?` `<!` Disjunction `)` productions are also used for the |QuantifiableAssertion| productions, but with |QuantifiableAssertion| substituted for |Assertion|.

Atom () evaluation rules for the |Atom| productions except for Atom :: PatternCharacter are also used for the |ExtendedAtom| productions, but with |ExtendedAtom| substituted for |Atom|. The following evaluation rules are also added:

The production ExtendedAtom :: `\` [lookahead == `c`] evaluates as follows: