# HG changeset patch
# User sherman
# Date 1237591379 25200
# Node ID 3a3bde06196830f28c3bf6706e567bda3d66e87d
# Parent  5a730fff4d0d21d5d3b1905f0c1e8f29741b1655
6817475: named-capturing group name started with digit causes PSE exception
Summary: Need accept the digit as the first char of the group name
Reviewed-by: alanb

diff -r 5a730fff4d0d -r 3a3bde061968 jdk/src/share/classes/java/util/regex/Pattern.java
--- a/jdk/src/share/classes/java/util/regex/Pattern.java	Wed Mar 04 09:26:41 2009 -0800
+++ b/jdk/src/share/classes/java/util/regex/Pattern.java	Fri Mar 20 16:22:59 2009 -0700
@@ -2567,7 +2567,8 @@
                 break;
             case '<':   // (?<xxx)  look behind
                 ch = read();
-                if (Character.isLetter(ch)) {     // named captured group
+                if (ASCII.isLower(ch) || ASCII.isUpper(ch) || ASCII.isDigit(ch)) {
+                    // named captured group
                     String name = groupname(ch);
                     if (namedGroups().containsKey(name))
                         throw error("Named capturing group <" + name
diff -r 5a730fff4d0d -r 3a3bde061968 jdk/test/java/util/regex/RegExTest.java
--- a/jdk/test/java/util/regex/RegExTest.java	Wed Mar 04 09:26:41 2009 -0800
+++ b/jdk/test/java/util/regex/RegExTest.java	Fri Mar 20 16:22:59 2009 -0700
@@ -3389,6 +3389,11 @@
               "gname",
               "yyy");
 
+        check(Pattern.compile("x+(?<8gname>y+)z+"),
+              "xxxyyyzzz",
+              "8gname",
+              "yyy");
+
         //backref
         Pattern pattern = Pattern.compile("(a*)bc\\1");
         check(pattern, "zzzaabcazzz", true);  // found "abca"