ECMAScript | Шаблоны (Patterns) | Регулярные выражения (Regular Expression)

Конструктор RegExp применяет следующую грамматику к входному шаблону строки String. Ошибка возникает, если грамматика не может интерпретировать строку String как расширение Pattern.

Синтаксис (Syntax)

Pattern _{[U, N]} ::

Disjunction _{[?U, ?N]}

Disjunction _{[U, N]} ::

Alternative _{[?U, ?N]}

Alternative _{[?U, ?N]} | Disjunction _{[?U, ?N]}

Alternative _{[U, N]} ::

[empty]

Alternative _{[?U, ?N]} Term _{[?U, ?N]}

Term _{[U, N]} ::

Assertion _{[?U, ?N]}

Atom _{[?U, ?N]}

Atom _{[?U, ?N]} Quantifier

Assertion _{[U, N]} ::

\ b

\ B

( ? = Disjunction _{[?U, ?N]} )

( ? ! Disjunction _{[?U, ?N]} )

( ? <= Disjunction _{[?U, ?N]} )

( ? <! Disjunction _{[?U, ?N]} )

Quantifier ::

QuantifierPrefix

QuantifierPrefix ?

QuantifierPrefix ::

{ DecimalDigits _[~Sep] }

{ DecimalDigits _[~Sep] , }

{ DecimalDigits _[~Sep] , DecimalDigits _[~Sep] }

Atom _{[U, N]} ::

PatternCharacter

\ AtomEscape _{[?U, ?N]}

CharacterClass _[?U]

( GroupSpecifier _[?U] Disjunction _{[?U, ?N]} )

( ? : Disjunction _{[?U, ?N]} )

SyntaxCharacter :: one of

^ $ \ . * + ? ( ) [ ] { } |

PatternCharacter ::

SourceCharacter но не SyntaxCharacter

AtomEscape _{[U, N]} ::

DecimalEscape

CharacterClassEscape _[?U]

CharacterEscape _[?U]

_[+N] k GroupName _[?U]

CharacterEscape _[U] ::

ControlEscape

c ControlLetter

0 [lookahead ∉ DecimalDigit]

HexEscapeSequence

RegExpUnicodeEscapeSequence _[?U]

IdentityEscape _[?U]

ControlEscape :: one of

f n r t v

ControlLetter :: 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

GroupSpecifier _[U] ::

[empty]

? GroupName _[?U]

GroupName _[U] ::

< RegExpIdentifierName _[?U] >

RegExpIdentifierName _[U] ::

RegExpIdentifierStart _[?U]

RegExpIdentifierName _[?U] RegExpIdentifierPart _[?U]

RegExpIdentifierStart _[U] ::

UnicodeIDStart

\ RegExpUnicodeEscapeSequence _[+U]

_[~U] UnicodeLeadSurrogate UnicodeTrailSurrogate

RegExpIdentifierPart _[U] ::

UnicodeIDContinue

\ RegExpUnicodeEscapeSequence _[+U]

_[~U] UnicodeLeadSurrogate UnicodeTrailSurrogate

<ZWNJ>

<ZWJ>

RegExpUnicodeEscapeSequence _[U] ::

_[+U] u HexLeadSurrogate \u HexTrailSurrogate

_[+U] u HexLeadSurrogate

_[+U] u HexTrailSurrogate

_[+U] u HexNonSurrogate

_[~U] u Hex4Digits

_[+U] u{ CodePoint }

UnicodeLeadSurrogate ::

любая кодовая точка Unicode в диапазоне от 0xD800 до 0xDBFF

UnicodeTrailSurrogate ::

любая кодовая точка Unicode в диапазоне от 0xDC00 до 0xDFFF

Каждый \u HexTrailSurrogate, для которого выбор ассоциированного u HexLeadSurrogate является неоднозначным, должен быть связан с ближайшим возможным u HexLeadSurrogate, который в противном случае не имел бы соответствующего \u HexTrailSurrogate.

HexLeadSurrogate ::

Hex4Digits , но только если MV из Hex4Digits находится в диапазоне от 0xD800 до 0xDBFF

HexTrailSurrogate ::

Hex4Digits , но только если MV из Hex4Digits находится в диапазоне от 0xDC00 до 0xDFFF

HexNonSurrogate ::

Hex4Digits , но только если MV из Hex4Digits не находится в диапазоне от 0xD800 до 0xDFFF

IdentityEscape _[U] ::

_[+U] SyntaxCharacter

_[+U] /

_[~U] SourceCharacter но не UnicodeIDContinue

DecimalEscape ::

NonZeroDigit DecimalDigits _[~Sep] opt [lookahead ∉ DecimalDigit]

CharacterClassEscape _[U] ::

_[+U] p{ UnicodePropertyValueExpression }

_[+U] P{ UnicodePropertyValueExpression }

UnicodePropertyValueExpression ::

UnicodePropertyName = UnicodePropertyValue

LoneUnicodePropertyNameOrValue

UnicodePropertyName ::

UnicodePropertyNameCharacters

UnicodePropertyNameCharacters ::

UnicodePropertyNameCharacter UnicodePropertyNameCharacters opt

UnicodePropertyValue ::

UnicodePropertyValueCharacters

LoneUnicodePropertyNameOrValue ::

UnicodePropertyValueCharacters

UnicodePropertyValueCharacters ::

UnicodePropertyValueCharacter UnicodePropertyValueCharacters opt

UnicodePropertyValueCharacter ::

UnicodePropertyNameCharacter

DecimalDigit

UnicodePropertyNameCharacter ::

ControlLetter

CharacterClass _[U] ::

[ [lookahead ≠ ^] ClassRanges _[?U] ]

[ ^ ClassRanges _[?U] ]

ClassRanges _[U] ::

[empty]

NonemptyClassRanges _[?U]

NonemptyClassRanges _[U] ::

ClassAtom _[?U]

ClassAtom _[?U] NonemptyClassRangesNoDash _[?U]

ClassAtom _[?U] — ClassAtom _[?U] ClassRanges _[?U]

NonemptyClassRangesNoDash _[U] ::

ClassAtom _[?U]

ClassAtomNoDash _[?U] NonemptyClassRangesNoDash _[?U]

ClassAtomNoDash _[?U] — ClassAtom _[?U] ClassRanges _[?U]

ClassAtom _[U] ::

—

ClassAtomNoDash _[?U]

ClassAtomNoDash _[U] ::

SourceCharacter но не одно из \ или ] или —

\ ClassEscape _[?U]

ClassEscape _[U] ::

_[+U]—

CharacterClassEscape _[?U]

CharacterEscape _[?U]

Примечание

Некоторым продуктам в этом разделе даются альтернативные определения в разделе B.1.4.

22.2.1.1 SS: Early Errors
22.2.1.2 SS: CapturingGroupNumber
22.2.1.3 SS: IsCharacterClass
22.2.1.4 SS: CharacterValue
22.2.1.5 SS: SourceText
22.2.1.6 SS: CapturingGroupName

22.2.1.1 Статическая семантика: Early Errors

Примечание

В этот раздел внесены поправки в B.1.2.1.

Pattern :: Disjunction

Это Синтаксическая Ошибка, если NcapturingParens ≥ 2³² — 1.
Это Синтаксическая Ошибка, если Pattern содержит несколько GroupSpecifiers, чьи вложенные RegExpIdentifierNames имеют одинаковое CapturingGroupName.

QuantifierPrefix :: { DecimalDigits , DecimalDigits }

Это Синтаксическая Ошибка, если MV первых DecimalDigits больше MV вторых DecimalDigits.

AtomEscape :: k GroupName

Это Синтаксическая Ошибка, если включающий шаблон Pattern не содержит GroupSpecifier с вложенным RegExpIdentifierName, CapturingGroupName которого совпадает с CapturingGroupName RegExpIdentifierName данного продукта GroupName.

AtomEscape :: DecimalEscape

Это Синтаксическая Ошибка, если CapturingGroupNumber для DecimalEscape больше, чем NcapturingParens (22.2.2.1).

NonemptyClassRanges :: ClassAtom — ClassAtom ClassRanges

Это Синтаксическая Ошибка, если IsCharacterClass первого ClassAtom является true или IsCharacterClass второго ClassAtom является true.
Это Синтаксическая Ошибка, если IsCharacterClass первого ClassAtom является false, а IsCharacterClass второго ClassAtom является false, а CharacterValue первого ClassAtom больше, чем CharacterValue второго ClassAtom.

NonemptyClassRangesNoDash :: ClassAtomNoDash — ClassAtom ClassRanges

Это синтаксическая ошибка, если IsCharacterClass для ClassAtomNoDash истинно (является true) или IsCharacterClass для ClassAtom истинно (является true).
Это синтаксическая ошибка, если IsCharacterClass для ClassAtomNoDash имеет значение false, а IsCharacterClass для ClassAtom — false, а значение CharacterValue для ClassAtomNoDash больше, чем CharacterValue для ClassAtom.

RegExpIdentifierStart _[U] :: \ RegExpUnicodeEscapeSequence _[+U]

Это синтаксическая ошибка, если CharacterValue из RegExpUnicodeEscapeSequence не является значением кодовой точки «$», «_» или некоторой кодовой точкой, совпадающей с производством лексической грамматики UnicodeIDStart.

RegExpIdentifierStart _[U] :: UnicodeLeadSurrogate UnicodeTrailSurrogate

Это синтаксическая ошибка, если результат выполнения UTF16SurrogatePairToCodePoint для двух кодовых точек, соответствующих UnicodeLeadSurrogate и UnicodeTrailSurrogate, соответственно, не совпадает с созданием лексической грамматики UnicodeIDStart.

RegExpIdentifierPart _[U] :: \ RegExpUnicodeEscapeSequence _[+U]

Это синтаксическая ошибка, если CharacterValue из RegExpUnicodeEscapeSequence не является значением кодовой точки «$», «_», <ZWNJ>, <ZWJ> или какой-либо кодовой точкой, соответствующей лексической грамматике UnicodeIDContinue.

RegExpIdentifierPart _[U] :: UnicodeLeadSurrogate UnicodeTrailSurrogate

Это синтаксическая ошибка, если результат выполнения UTF16SurrogatePairToCodePoint для двух кодовых точек, соответствующих UnicodeLeadSurrogate и UnicodeTrailSurrogate, соответственно, не соответствует лексической грамматике UnicodeIDContinue.

UnicodePropertyValueExpression :: UnicodePropertyName = UnicodePropertyValue

Это синтаксическая ошибка, если Список кодовых точек Unicode, который является SourceText из UnicodePropertyName, не идентичен Списку кодовых точек Unicode, который является именем свойства Unicode или псевдонимом свойства, перечисленным в столбце «Имя свойства и псевдонимы» таблицы 60.
Это синтаксическая ошибка, если Список кодовых точек Unicode, который является SourceText из UnicodePropertyValue, не идентичен Списку кодовых точек Unicode, который является значением или псевдонимом значения для свойства или псевдонима свойства Unicode, заданным SourceText для UnicodePropertyName, указанного в «Значение свойства и псевдонимы» соответствующих таблиц Таблица 62 или Таблица 63.

UnicodePropertyValueExpression :: LoneUnicodePropertyNameOrValue

Это синтаксическая ошибка, если Список кодовых точек Unicode, который является SourceText из LoneUnicodePropertyNameOrValue, не идентичен Списку кодовых точек Unicode, который является общей категорией Unicode или псевдонимом общей категории, перечисленным в столбце «Значение свойства и псевдонимы» таблицы 62, ни двоичное свойство или псевдоним двоичного свойства, перечисленные в столбце «Имя свойства и псевдонимы» Таблицы 61.

22.2.1.2 Статическая семантика: CapturingGroupNumber

Операция CapturingGroupNumber (Номер группы захвата), управляемая синтаксисом, не принимает аргументов.

Примечание

В этот раздел внесены поправки в B.1.2.1.

DecimalEscape :: NonZeroDigit

1. Вернуть MV NonZeroDigit.

DecimalEscape :: NonZeroDigit DecimalDigits

1. Пусть n будет количеством кодовых точек в DecimalDigits.
2. Возврат (MV NonZeroDigit × 10ⁿ плюс MV DecimalDigits).

Определения «MV NonZeroDigit» и