js/src/tests/test262/built-ins/RegExp/regexp-modifiers/add-ignoreCase-affects-backreferences.js

   1 // |reftest| skip -- regexp-modifiers is not supported
   2 // Copyright 2023 Ron Buckton. All rights reserved.
   3 // This code is governed by the BSD license found in the LICENSE file.
   4
   5 /*---
   6 author: Ron Buckton
   7 description: >
   8   Adding ignoreCase (`i`) modifier in group affects backreferences in group.
   9 info: |
  10   Runtime Semantics: CompileAtom
  11   The syntax-directed operation CompileAtom takes arguments direction (forward or backward) and modifiers (a Modifiers Record) and returns a Matcher.
  12
  13   Atom :: `(` `?` RegularExpressionFlags `:` Disjunction `)`
  14     1. Let addModifiers be the source text matched by RegularExpressionFlags.
  15     2. Let removeModifiers be the empty String.
  16     3. Let newModifiers be UpdateModifiers(modifiers, CodePointsToString(addModifiers), removeModifiers).
  17     4. Return CompileSubpattern of Disjunction with arguments direction and newModifiers.
  18
  19   Atom :: `(` `?` RegularExpressionFlags `-` RegularExpressionFlags `:` Disjunction `)`
  20     1. Let addModifiers be the source text matched by the first RegularExpressionFlags.
  21     2. Let removeModifiers be the source text matched by the second RegularExpressionFlags.
  22     3. Let newModifiers be UpdateModifiers(modifiers, CodePointsToString(addModifiers), CodePointsToString(removeModifiers)).
  23     4. Return CompileSubpattern of Disjunction with arguments direction and newModifiers.
  24
  25   UpdateModifiers ( modifiers, add, remove )
  26   The abstract operation UpdateModifiers takes arguments modifiers (a Modifiers Record), add (a String), and remove (a String) and returns a Modifiers. It performs the following steps when called:
  27
  28   1. Let dotAll be modifiers.[[DotAll]].
  29   2. Let ignoreCase be modifiers.[[IgnoreCase]].
  30   3. Let multiline be modifiers.[[Multiline]].
  31   4. If add contains "s", set dotAll to true.
  32   5. If add contains "i", set ignoreCase to true.
  33   6. If add contains "m", set multiline to true.
  34   7. If remove contains "s", set dotAll to false.
  35   8. If remove contains "i", set ignoreCase to false.
  36   9. If remove contains "m", set multiline to false.
  37   10. Return the Modifiers Record { [[DotAll]]: dotAll, [[IgnoreCase]]: ignoreCase, [[Multiline]]: multiline }.
  38
  39 esid: sec-compileatom
  40 features: [regexp-modifiers]
  41 ---*/
  42
  43 var re1 = /(a)(?i:\1)/;
  44 assert(!re1.test("AA"), "a should not match first A");
  45 assert(!re1.test("Aa"), "a should not match A");
  46 assert(re1.test("aa"), "a matches first a, so \\1 should match second a");
  47 assert(re1.test("aA"), "a matches a, so \\1 should match A (ignores case)");
  48
  49 var re2 = /(a)(?i-:\1)/;
  50 assert(!re2.test("AA"), "a should not match first A");
  51 assert(!re2.test("Aa"), "a should not match A");
  52 assert(re2.test("aa"), "a matches first a, so \\1 should match second a");
  53 assert(re2.test("aA"), "a matches a, so \\1 should match A (ignores case)");
  54
  55 reportCompare(0, 0);