regexp-generator: Update ECMA-262 quote in header

While we're touching this we may as well update the quote from ECMA-262 to
match what it currently says.

test/built-ins/RegExp/CharacterClassEscapes/character-class-digit-class-escape-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-digit-class-escape-plus-quantifier-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-digit-class-escape-plus-quantifier.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-digit-class-escape.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-digit-class-escape-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-digit-class-escape-plus-quantifier-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-digit-class-escape-plus-quantifier.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-digit-class-escape.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-whitespace-class-escape-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-whitespace-class-escape-plus-quantifier-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-whitespace-class-escape-plus-quantifier.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-whitespace-class-escape.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-word-class-escape-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-word-class-escape-plus-quantifier-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-word-class-escape-plus-quantifier.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-non-word-class-escape.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-whitespace-class-escape-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-whitespace-class-escape-plus-quantifier-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-whitespace-class-escape-plus-quantifier.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-whitespace-class-escape.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-word-class-escape-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-word-class-escape-plus-quantifier-flags-u.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-word-class-escape-plus-quantifier.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

test/built-ins/RegExp/CharacterClassEscapes/character-class-word-class-escape.js

@@ -10,29 +10,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]

tools/regexp-generator/header.mjs

@@ -11,29 +11,36 @@ info: |
     https://github.com/tc39/test262/tree/main/tools/regexp-generator/
     for any changes.
 
-    CharacterClassEscape[U] ::
+    CharacterClassEscape[UnicodeMode] ::
         d
         D
         s
         S
         w
         W
+        [+UnicodeMode] p{ UnicodePropertyValueExpression }
+        [+UnicodeMode] P{ UnicodePropertyValueExpression }
 
-    21.2.2.12 CharacterClassEscape
+    22.2.2.9 Runtime Semantics: CompileToCharSet
 
-    The production CharacterClassEscape :: d evaluates as follows:
+    CharacterClassEscape :: d
-        Return the ten-element set of characters containing the characters 0 through 9 inclusive.
+        1. Return the ten-element CharSet containing the characters 0, 1, 2, 3,
-    The production CharacterClassEscape :: D evaluates as follows:
+            4, 5, 6, 7, 8, and 9.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: d.
+    CharacterClassEscape :: D
-    The production CharacterClassEscape :: s evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: d.
-        Return the set of characters containing the characters that are on the right-hand side of
+        2. Return CharacterComplement(rer, S).
-        the WhiteSpace or LineTerminator productions.
+    CharacterClassEscape :: s
-    The production CharacterClassEscape :: S evaluates as follows:
+        1. Return the CharSet containing all characters corresponding to a code
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: s.
+            point on the right-hand side of the WhiteSpace or LineTerminator
-    The production CharacterClassEscape :: w evaluates as follows:
+            productions.
-        Return the set of all characters returned by WordCharacters().
+    CharacterClassEscape :: S
-    The production CharacterClassEscape :: W evaluates as follows:
+        1. Let S be the CharSet returned by CharacterClassEscape :: s.
-        Return the set of all characters not included in the set returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
+    CharacterClassEscape :: w
+        1. Return MaybeSimpleCaseFolding(rer, WordCharacters(rer)).
+    CharacterClassEscape :: W
+        1. Let S be the CharSet returned by CharacterClassEscape :: w.
+        2. Return CharacterComplement(rer, S).
 features: [String.fromCodePoint]
 includes: [regExpUtils.js]
 flags: [generated]