ECMAScript | Атом (Atom) | Регулярные выражения (Regular Expression)

С параметром направления direction.

Производство Atom :: PatternCharacter оценивается следующим образом:

1. Пусть ch будет символом, совпадающим с PatternCharacter.
2. Пусть A будет одно-элементным CharSet, содержащим символ ch.
3. Вернуть ! CharacterSetMatcher(A, false, direction).

Производство Atom :: . оценивается следующим образом:

1. Пусть A будет CharSet всех символов.
2. Если DotAll не является true, тогда
   а. Удалите из A все символы, соответствующие кодовой точке в правой части производства LineTerminator.
3. Вернуть ! CharacterSetMatcher(A, false, direction).

Производство Atom :: \ AtomEscape оценивается следующим образом:

1. Вернуть Сопоставитель Matcher, который является результатом вычисления AtomEscape с аргументом direction.

Производство Atom :: CharacterClass оценивается следующим образом:

1. Оцените CharacterClass, чтобы получить CharSet A и логическое инвертирование invert.
2. Вернуть ! CharacterSetMatcher(A, invert, direction).

Производство Atom :: ( GroupSpecifier Disjunction ) оценивается следующим образом:

1. Оцените Дизъюнкцию (Disjunction) с аргументом direction, чтобы получить Сопоставитель Matcher m.
2. Пусть parenIndex будет числом скобок с левым захватом во всем регулярном выражении, которое встречается слева от этого Атома Atom. Это общее количество узлов синтаксического анализа Атома Atom :: ( GroupSpecifier Disjunction ), предшествующих или включающих этот Атом Atom.
3. Верните новый Сопоставитель Matcher с параметрами (x, c), который фиксирует направление direction, m и parenIndex и при вызове выполняет следующие шаги:
   а. Утверждено: x - это Состояние (State).
   b. Утверждено: c - это Продолжение (Continuation).
   c. Пусть d будет новым Продолжением с параметрами (y), которое захватывает x, c, direction и parenIndex и при вызове выполняет следующие шаги:
      i. Утверждено: y - это Состояние (State).
      ii. Пусть cap будет копией Списка y из captures.
      iii. Пусть xe будет endIndex для x.
      iv. Пусть ye будет endIndex из у.
      v. Если direction = 1, тогда
         1. Утверждено: xe ≤ ye.
         2. Пусть s будет Списком, элементы которого являются символами Input с индексами от xe (включительно) до ye (исключая).
      vi. Иначе,
         1. Утверждено: направление direction равен -1.
         2. Утверждено: ye ≤ xe.
         3. Пусть s будет Списком, элементы которого являются символами Input с индексами от ye (включительно) до xe (исключая).
      vii. Установите cap[parenIndex + 1] в s.
      viii. Пусть z будет Состоянием (ye, cap).
      ix. Верните c(z).
   d. Верните m(x, d).

Производство Atom :: ( ? : Disjunction ) оценивается следующим образом:

1. Верните Сопоставитель Matcher, который является результатом оценки Дизъюнкции Disjunction с аргументом direction.

22.2.2.8.1 CharacterSetMatcher ( A, invert, direction )
22.2.2.8.2 Canonicalize ( ch )
22.2.2.8.3 UnicodeMatchProperty ( p )
22.2.2.8.4 UnicodeMatchPropertyValue ( p, v )

CharacterSetMatcher ( A, invert, direction )

Абстрактная операция CharacterSetMatcher (Сопоставитель набора символов) принимает аргументы A (CharSet), invert (логическое значение) и направление direction (1 или -1). При вызове он выполняет следующие шаги:

1. Вернуть новый Сопоставитель Matcher с параметрами (x, c), который фиксирует A, invert и direction и при вызове выполняет следующие шаги:
   а. Утверждено: x - это Состояние (State).
   b. Утверждено: c - это Продолжение (Continuation).
   c. Пусть e будет endIndex для x.
   d. Пусть f - это e + direction.
   е. Если f < 0 или f > InputLength, вернуть ошибку failure.
   f. Пусть index равен min(e, f).
   g. Пусть ch будет символом Input[index].
   h. Пусть cc будет Canonicalize(ch).
   i. Если существует такой член a класса A, что Canonicalize(a) имеет значение cc, пусть найденное found будет true (истина). В противном случае пусть найденный found будет false (ложным).
   j. Если invert является false (ложно), а found - false, вернуть ошибку failure.
   k. Если invert является true, а found - true, вернуть ошибку failure.
   l. Пусть cap будет списком захвата captures для x.
   m. Пусть y будет состоянием (f, cap).
   n. Вернуть c(y).

Canonicalize ( ch )

Абстрактная операция Canonicalize (Канонизация) принимает аргумент ch (символ). При вызове она выполняет следующие шаги:

1. Если Unicode является true и IgnoreCase является true, тогда
   а. Если файл CaseFolding.txt базы данных символов Unicode предоставляет простое или обычное отображение сворачивания регистра для ch, верните результат применения этого отображения к ch.
   b. Вернуть ch.
2. Если IgnoreCase является false, вернуть ch.
3. Утверждено: ch - это кодовая единица UTF-16.
4. Пусть cp будет кодовой точкой, числовое значение которой совпадает с ch.
5. Пусть u будет результатом toUppercase («cp») в соответствии с алгоритмом преобразования регистра Unicode по умолчанию.
6. Пусть uStr будет ! CodePointsToString(u).
7. Если uStr не состоит из единственной кодовой единицы, вернуть ch.
8. Пусть cu будет единичным элементом кода uStr.
9. Если числовое значение ch ≥ 128 и числовое значение cu <128, вернуть ch.
10. Вернуть cu.

/(?=(a+))/.exec("baaabac")

["", "aaa"]

/(?=(a+))a*b\1/.exec("baaabac")

["aba", "a"]

["aaaba", "a"]

/(.*?)a(?!(a+)b\2c)\2(.*)/.exec("baaabaac")

["baaabaac", "ba", undefined, "abaac"]

UnicodeMatchProperty ( p )

Абстрактная операция UnicodeMatchProperty (Свойство соответствия Unicode) принимает аргумент p (список кодовых точек Unicode). При вызове онf выполняет следующие шаги:

1. Утверждено: p - это Список кодовых точек Unicode, который идентичен Списку кодовых точек Unicode, который является именем свойства Unicode или псевдонимом свойства, перечисленным в столбце «Имя свойства и псевдонимы» (Property name and aliases) Таблицы 60 или Таблицы 61.
2. Пусть c будет каноническим именем свойства p, указанным в столбце «Каноническое имя свойства» (Canonical property name) соответствующей строки.
3. Верните Список кодовых точек Unicode c.

Реализации должны поддерживать имена и псевдонимы свойств Unicode, перечисленные в Таблице 60 и Таблице 61. Для обеспечения взаимодействия реализации не должны поддерживать какие-либо другие имена или псевдонимы свойств.

Примечание 1

Например, Script_Extensions (имя свойства) и scx (псевдоним свойства) допустимы, а script_extensions или Scx — нет.

Примечание 2

Перечисленные свойства являются расширенным набором того, что требуется для UTS18 RL1.2.

UnicodeMatchPropertyValue ( p, v )

Абстрактная операция UnicodeMatchPropertyValue (Значение свойства соответствия Unicode) принимает аргументы p (список кодовых точек Unicode) и v (список кодовых точек Unicode). При вызове она выполняет следующие шаги:

1. Утверждено: p - это Список кодовых точек Unicode, который идентичен Списку кодовых точек Unicode, который представляет собой каноническое имя свойства Unicode без псевдонима, указанное в столбце «Каноническое имя свойства» таблицы 60.
2. Утверждено: v - это Список кодовых точек Unicode, который идентичен Списку кодовых точек Unicode, который является значением свойства или псевдонимом значения свойства для свойства Unicode p, указанного в столбце «Значение свойства и псевдонимы» Таблицы 62 или Таблицы 63.
3. Пусть value будет каноническим значением свойства v, указанным в столбце «Значение канонического свойства» соответствующей строки.
4. Верните Список кодовых точек Unicode из value.

Реализации должны поддерживать имена и псевдонимы значений свойств Unicode, перечисленные в Таблице 62 и Таблице 63. Для обеспечения взаимодействия реализации не должны поддерживать какие-либо другие имена или псевдонимы значений свойств.

Примечание 1

Например, Xpeo и Old_Persian являются допустимыми значениями Script_Extensions, а xpeo и Old Persian — нет.

Примечание 2

Этот алгоритм отличается от правил сопоставления для символьных значений, перечисленных в UAX44: регистр, пробел, U+002D (ДЕФИС-МИНУС) и U+005F (НИЗКАЯ СТРОКА) не игнорируются, а префикс Is не поддерживается.

Информационные ссылки

Стандарт ECMAScript — Раздел «Atom» — https://tc39.es/ecma262/#sec-atom