[regexp] Extend tests for named captures

test/mjsunit/harmony/regexp-named-captures.js

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
-// Flags: --harmony-regexp-named-captures
+// Flags: --harmony-regexp-named-captures --harmony-regexp-lookbehind
 
 // Malformed named captures.
 assertThrows("/(?<>a)/u");  // Empty name.
 assertThrows("/(?<aa)/u");  // Unterminated name.
 assertThrows("/(?<42a>a)/u");  // Name starting with digits.
 assertThrows("/(?<:a>a)/u");  // Name starting with invalid char.
 assertThrows("/(?<a:>a)/u");  // Name containing with invalid char.
 assertThrows("/(?<a>a)(?<a>a)/u");  // Duplicate name.
 assertThrows("/(?<a>a)(?<b>b)(?<a>a)/u");  // Duplicate name.
 assertThrows("/\\k<a>/u");  // Invalid reference.
@@ skipping 44 matching lines @@
     "baba".match(/(.)(?<a>a)(?<b>\1)(\2)/u));
 assertEquals(["<a", "<"], "<a".match(/(?<lt><)a/u));
 assertEquals([">a", ">"], ">a".match(/(?<gt>>)a/u));
 
 // Named references.
 assertEquals(["bab", "b"], "bab".match(/(?<b>.).\k<b>/u));
 assertNull("baa".match(/(?<b>.).\k<b>/u));
 
 // Nested groups.
 assertEquals(["bab", "bab", "ab", "b"], "bab".match(/(?<a>.(?<b>.(?<c>.)))/u));
+assertEquals({a: "bab", b: "ab", c: "b"},
+             "bab".match(/(?<a>.(?<b>.(?<c>.)))/u).groups);
 
 // Reference inside group.
 assertEquals(["bab", "b"], "bab".match(/(?<a>\k<a>\w)../u));
+assertEquals({a: "b"}, "bab".match(/(?<a>\k<a>\w)../u).groups);
 
 // Reference before group.
 assertEquals(["bab", "b"], "bab".match(/\k<a>(?<a>b)\w\k<a>/u));
+assertEquals({a: "b"}, "bab".match(/\k<a>(?<a>b)\w\k<a>/u).groups);
 assertEquals(["bab", "b", "a"], "bab".match(/(?<b>b)\k<a>(?<a>a)\k<b>/u));
+assertEquals({a: "a", b: "b"},
+             "bab".match(/(?<b>b)\k<a>(?<a>a)\k<b>/u).groups);
 
 // Reference properties.
 assertEquals("a", /(?<a>a)(?<b>b)\k<a>/u.exec("aba").groups.a);
 assertEquals("b", /(?<a>a)(?<b>b)\k<a>/u.exec("aba").groups.b);
 assertEquals(undefined, /(?<a>a)(?<b>b)\k<a>/u.exec("aba").groups.c);
 assertEquals(undefined, /(?<a>a)(?<b>b)\k<a>|(?<c>c)/u.exec("aba").groups.c);
 
 // Unicode names.
 assertEquals("a", /(?<π>a)/u.exec("bab").groups.π);
 assertEquals("a", /(?<\u{03C0}>a)/u.exec("bab").groups.\u03C0);
 assertEquals("a", /(?<$>a)/u.exec("bab").groups.$);
 assertEquals("a", /(?<_>a)/u.exec("bab").groups._);
 assertEquals("a", /(?<$𐒤>a)/u.exec("bab").groups.$𐒤);
 assertEquals("a", /(?<_\u200C>a)/u.exec("bab").groups._\u200C);
 assertEquals("a", /(?<_\u200D>a)/u.exec("bab").groups._\u200D);
 assertEquals("a", /(?<ಠ_ಠ>a)/u.exec("bab").groups.ಠ_ಠ);
 assertThrows('/(?<❤>a)/u', SyntaxError);
 assertThrows('/(?<𐒤>a)/u', SyntaxError);  // ID_Continue but not ID_Start.
 
+// Interaction with lookbehind assertions.
+assertEquals(["f", "c"], "abcdef".match(/(?<=(?<a>\w){3})f/u));
+assertEquals({a: "c"}, "abcdef".match(/(?<=(?<a>\w){3})f/u).groups);
+assertEquals({a: "b"}, "abcdef".match(/(?<=(?<a>\w){4})f/u).groups);
+assertEquals({a: "a"}, "abcdef".match(/(?<=(?<a>\w)+)f/u).groups);
+assertNull("abcdef".match(/(?<=(?<a>\w){6})f/u));
+
+assertEquals(["f", ""], "abcdef".match(/((?<=\w{3}))f/u));
+assertEquals(["f", ""], "abcdef".match(/(?<a>(?<=\w{3}))f/u));
+
+assertEquals(["f", undefined], "abcdef".match(/(?<!(?<a>\d){3})f/u));
+assertNull("abcdef".match(/(?<!(?<a>\D){3})f/u));
+
+assertEquals(["f", undefined], "abcdef".match(/(?<!(?<a>\D){3})f|f/u));
+assertEquals(["f", undefined], "abcdef".match(/(?<a>(?<!\D{3}))f|f/u));
+
+// Properties created on result.groups.
+assertEquals(["fst", "snd"],
+             Object.getOwnPropertyNames(
+                 /(?<fst>.)|(?<snd>.)/u.exec("abcd").groups));
+
 // The '__proto__' property on the groups object.
 assertEquals(undefined, /(?<a>.)/u.exec("a").groups.__proto__);
 assertEquals("a", /(?<__proto__>a)/u.exec("a").groups.__proto__);
 
 // @@replace with a callable replacement argument (no named captures).
 {
   let result = "abcd".replace(/(.)(.)/u, (match, fst, snd, offset, str) => {
     assertEquals("ab", match);
     assertEquals("a", fst);
     assertEquals("b", snd);
@@ skipping 170 matching lines @@
 // named captures).
 {
   let re = toSlowMode(/(?<fst>.)(?<snd>.)/u);
   assertEquals("bacd", "abcd".replace(re, "$<snd>$<fst>"));
   assertEquals("bacd", "abcd".replace(re, "$2$1"));
   assertThrows(() => "abcd".replace(re, "$<snd"), SyntaxError);
   assertEquals("cd", "abcd".replace(re, "$<42$1>"));
   assertEquals("cd", "abcd".replace(re, "$<thd>"));
   assertEquals("cd", "abcd".replace(re, "$<$1>"));
 }