jdk/src/share/classes/java/util/regex/Pattern.java
changeset 21278 ef8a3a2a72f2
parent 20190 15c72885e3fd
child 21428 e408bf58d482
equal deleted inserted replaced
21277:bd380b80f9ea 21278:ef8a3a2a72f2
  2436             // character class for all vertical whitespace characters.
  2436             // character class for all vertical whitespace characters.
  2437             // So [-1, root=VertWS node] pair is returned (instead of a
  2437             // So [-1, root=VertWS node] pair is returned (instead of a
  2438             // single 0x0B). This breaks the range if '\v' is used as
  2438             // single 0x0B). This breaks the range if '\v' is used as
  2439             // the start or end value, such as [\v-...] or [...-\v], in
  2439             // the start or end value, such as [\v-...] or [...-\v], in
  2440             // which a single definite value (0x0B) is expected. For
  2440             // which a single definite value (0x0B) is expected. For
  2441             // compatiblity concern '\013'/0x0B is returned if isrange.
  2441             // compatibility concern '\013'/0x0B is returned if isrange.
  2442             if (isrange)
  2442             if (isrange)
  2443                 return '\013';
  2443                 return '\013';
  2444             if (create) root = new VertWS();
  2444             if (create) root = new VertWS();
  2445             return -1;
  2445             return -1;
  2446         case 'w':
  2446         case 'w':