Adds a new named character range to the map. @param m map @param n name @param r range
(final Map<String, int[][]> m, final String n, final int[] r)
| 186 | * @param r range |
| 187 | */ |
| 188 | private static void add(final Map<String, int[][]> m, final String n, final int[] r) { |
| 189 | final int[][] nw = { r }; |
| 190 | m.compute(n, (k, old) -> old == null ? nw : merge(old, nw)); |
| 191 | } |
| 192 | |
| 193 | static { |
| 194 | // XML names, NameStartChar/NameChar (XML 1.0.5) |