| 331 | |
| 332 | // Exposed, since useful for debugging CharGroups too. |
| 333 | static String charClassToString(int[] r, int len) { |
| 334 | StringBuilder b = new StringBuilder(); |
| 335 | b.append('['); |
| 336 | for (int i = 0; i < len; i += 2) { |
| 337 | if (i > 0) { |
| 338 | b.append(' '); |
| 339 | } |
| 340 | int lo = r[i], hi = r[i + 1]; |
| 341 | // Avoid String.format (not available on GWT). |
| 342 | // Cf. https://code.google.com/p/google-web-toolkit/issues/detail?id=3945 |
| 343 | if (lo == hi) { |
| 344 | b.append("0x"); |
| 345 | b.append(Integer.toHexString(lo)); |
| 346 | } else { |
| 347 | b.append("0x"); |
| 348 | b.append(Integer.toHexString(lo)); |
| 349 | b.append("-0x"); |
| 350 | b.append(Integer.toHexString(hi)); |
| 351 | } |
| 352 | } |
| 353 | b.append(']'); |
| 354 | return b.toString(); |
| 355 | } |
| 356 | |
| 357 | @Override |
| 358 | public String toString() { |