1 /*
2 * reserved comment block
3 * DO NOT REMOVE OR ALTER!
4 */
5 /*
6 * Copyright 1999-2004 The Apache Software Foundation.
7 *
8 * Licensed under the Apache License, Version 2.0 (the "License");
9 * you may not use this file except in compliance with the License.
10 * You may obtain a copy of the License at
11 *
12 * http://www.apache.org/licenses/LICENSE-2.0
13 *
14 * Unless required by applicable law or agreed to in writing, software
15 * distributed under the License is distributed on an "AS IS" BASIS,
16 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
17 * See the License for the specific language governing permissions and
18 * limitations under the License.
19 */
20
21 package com.sun.org.apache.xerces.internal.util;
22
23 import java.util.Arrays;
24
25 /**
26 * This class defines the basic XML character properties. The data
27 * in this class can be used to verify that a character is a valid
28 * XML character or if the character is a space, name start, or name
29 * character.
30 * <p>
31 * A series of convenience methods are supplied to ease the burden
32 * of the developer. Because inlining the checks can improve per
33 * character performance, the tables of character properties are
34 * public. Using the character as an index into the <code>CHARS</code>
35 * array and applying the appropriate mask flag (e.g.
36 * <code>MASK_VALID</code>), yields the same results as calling the
37 * convenience methods. There is one exception: check the comments
38 * for the <code>isValid</code> method for details.
39 *
40 * @author Glenn Marcy, IBM
41 * @author Andy Clark, IBM
42 * @author Eric Ye, IBM
43 * @author Arnaud Le Hors, IBM
44 * @author Michael Glavassevich, IBM
45 * @author Rahul Srivastava, Sun Microsystems Inc.
46 *
47 * @version $Id: XMLChar.java,v 1.7 2010-11-01 04:40:15 joehw Exp $
48 */
49 public class XMLChar {
50
51 //
52 // Constants
53 //
54
55 /** Character flags. */
56 private static final byte[] CHARS = new byte[1 << 16];
57
58 /** Valid character mask. */
59 public static final int MASK_VALID = 0x01;
60
61 /** Space character mask. */
62 public static final int MASK_SPACE = 0x02;
63
64 /** Name start character mask. */
65 public static final int MASK_NAME_START = 0x04;
66
67 /** Name character mask. */
68 public static final int MASK_NAME = 0x08;
69
70 /** Pubid character mask. */
71 public static final int MASK_PUBID = 0x10;
72
73 /**
74 * Content character mask. Special characters are those that can
75 * be considered the start of markup, such as '<' and '&'.
76 * The various newline characters are considered special as well.
77 * All other valid XML characters can be considered content.
78 * <p>
79 * This is an optimization for the inner loop of character scanning.
80 */
81 public static final int MASK_CONTENT = 0x20;
82
83 /** NCName start character mask. */
84 public static final int MASK_NCNAME_START = 0x40;
85
86 /** NCName character mask. */
87 public static final int MASK_NCNAME = 0x80;
88
89 //
90 // Static initialization
91 //
92
93 static {
94
95 // Initializing the Character Flag Array
96 // Code generated by: XMLCharGenerator.
97
98 CHARS[9] = 35;
99 CHARS[10] = 19;
100 CHARS[13] = 19;
101 CHARS[32] = 51;
102 CHARS[33] = 49;
103 CHARS[34] = 33;
104 Arrays.fill(CHARS, 35, 38, (byte) 49 ); // Fill 3 of value (byte) 49
105 CHARS[38] = 1;
106 Arrays.fill(CHARS, 39, 45, (byte) 49 ); // Fill 6 of value (byte) 49
107 Arrays.fill(CHARS, 45, 47, (byte) -71 ); // Fill 2 of value (byte) -71
108 CHARS[47] = 49;
109 Arrays.fill(CHARS, 48, 58, (byte) -71 ); // Fill 10 of value (byte) -71
110 CHARS[58] = 61;
111 CHARS[59] = 49;
112 CHARS[60] = 1;
113 CHARS[61] = 49;
114 CHARS[62] = 33;
115 Arrays.fill(CHARS, 63, 65, (byte) 49 ); // Fill 2 of value (byte) 49
116 Arrays.fill(CHARS, 65, 91, (byte) -3 ); // Fill 26 of value (byte) -3
117 Arrays.fill(CHARS, 91, 93, (byte) 33 ); // Fill 2 of value (byte) 33
118 CHARS[93] = 1;
119 CHARS[94] = 33;
120 CHARS[95] = -3;
121 CHARS[96] = 33;
122 Arrays.fill(CHARS, 97, 123, (byte) -3 ); // Fill 26 of value (byte) -3
123 Arrays.fill(CHARS, 123, 183, (byte) 33 ); // Fill 60 of value (byte) 33
124 CHARS[183] = -87;
125 Arrays.fill(CHARS, 184, 192, (byte) 33 ); // Fill 8 of value (byte) 33
126 Arrays.fill(CHARS, 192, 215, (byte) -19 ); // Fill 23 of value (byte) -19
127 CHARS[215] = 33;
128 Arrays.fill(CHARS, 216, 247, (byte) -19 ); // Fill 31 of value (byte) -19
129 CHARS[247] = 33;
130 Arrays.fill(CHARS, 248, 306, (byte) -19 ); // Fill 58 of value (byte) -19
131 Arrays.fill(CHARS, 306, 308, (byte) 33 ); // Fill 2 of value (byte) 33
132 Arrays.fill(CHARS, 308, 319, (byte) -19 ); // Fill 11 of value (byte) -19
133 Arrays.fill(CHARS, 319, 321, (byte) 33 ); // Fill 2 of value (byte) 33
134 Arrays.fill(CHARS, 321, 329, (byte) -19 ); // Fill 8 of value (byte) -19
135 CHARS[329] = 33;
136 Arrays.fill(CHARS, 330, 383, (byte) -19 ); // Fill 53 of value (byte) -19
137 CHARS[383] = 33;
138 Arrays.fill(CHARS, 384, 452, (byte) -19 ); // Fill 68 of value (byte) -19
139 Arrays.fill(CHARS, 452, 461, (byte) 33 ); // Fill 9 of value (byte) 33
140 Arrays.fill(CHARS, 461, 497, (byte) -19 ); // Fill 36 of value (byte) -19
141 Arrays.fill(CHARS, 497, 500, (byte) 33 ); // Fill 3 of value (byte) 33
142 Arrays.fill(CHARS, 500, 502, (byte) -19 ); // Fill 2 of value (byte) -19
143 Arrays.fill(CHARS, 502, 506, (byte) 33 ); // Fill 4 of value (byte) 33
144 Arrays.fill(CHARS, 506, 536, (byte) -19 ); // Fill 30 of value (byte) -19
145 Arrays.fill(CHARS, 536, 592, (byte) 33 ); // Fill 56 of value (byte) 33
146 Arrays.fill(CHARS, 592, 681, (byte) -19 ); // Fill 89 of value (byte) -19
147 Arrays.fill(CHARS, 681, 699, (byte) 33 ); // Fill 18 of value (byte) 33
148 Arrays.fill(CHARS, 699, 706, (byte) -19 ); // Fill 7 of value (byte) -19
149 Arrays.fill(CHARS, 706, 720, (byte) 33 ); // Fill 14 of value (byte) 33
150 Arrays.fill(CHARS, 720, 722, (byte) -87 ); // Fill 2 of value (byte) -87
151 Arrays.fill(CHARS, 722, 768, (byte) 33 ); // Fill 46 of value (byte) 33
152 Arrays.fill(CHARS, 768, 838, (byte) -87 ); // Fill 70 of value (byte) -87
153 Arrays.fill(CHARS, 838, 864, (byte) 33 ); // Fill 26 of value (byte) 33
154 Arrays.fill(CHARS, 864, 866, (byte) -87 ); // Fill 2 of value (byte) -87
155 Arrays.fill(CHARS, 866, 902, (byte) 33 ); // Fill 36 of value (byte) 33
156 CHARS[902] = -19;
157 CHARS[903] = -87;
158 Arrays.fill(CHARS, 904, 907, (byte) -19 ); // Fill 3 of value (byte) -19
159 CHARS[907] = 33;
160 CHARS[908] = -19;
161 CHARS[909] = 33;
162 Arrays.fill(CHARS, 910, 930, (byte) -19 ); // Fill 20 of value (byte) -19
163 CHARS[930] = 33;
164 Arrays.fill(CHARS, 931, 975, (byte) -19 ); // Fill 44 of value (byte) -19
165 CHARS[975] = 33;
166 Arrays.fill(CHARS, 976, 983, (byte) -19 ); // Fill 7 of value (byte) -19
167 Arrays.fill(CHARS, 983, 986, (byte) 33 ); // Fill 3 of value (byte) 33
168 CHARS[986] = -19;
169 CHARS[987] = 33;
170 CHARS[988] = -19;
171 CHARS[989] = 33;
172 CHARS[990] = -19;
173 CHARS[991] = 33;
174 CHARS[992] = -19;
175 CHARS[993] = 33;
176 Arrays.fill(CHARS, 994, 1012, (byte) -19 ); // Fill 18 of value (byte) -19
177 Arrays.fill(CHARS, 1012, 1025, (byte) 33 ); // Fill 13 of value (byte) 33
178 Arrays.fill(CHARS, 1025, 1037, (byte) -19 ); // Fill 12 of value (byte) -19
179 CHARS[1037] = 33;
180 Arrays.fill(CHARS, 1038, 1104, (byte) -19 ); // Fill 66 of value (byte) -19
181 CHARS[1104] = 33;
182 Arrays.fill(CHARS, 1105, 1117, (byte) -19 ); // Fill 12 of value (byte) -19
183 CHARS[1117] = 33;
184 Arrays.fill(CHARS, 1118, 1154, (byte) -19 ); // Fill 36 of value (byte) -19
185 CHARS[1154] = 33;
186 Arrays.fill(CHARS, 1155, 1159, (byte) -87 ); // Fill 4 of value (byte) -87
187 Arrays.fill(CHARS, 1159, 1168, (byte) 33 ); // Fill 9 of value (byte) 33
188 Arrays.fill(CHARS, 1168, 1221, (byte) -19 ); // Fill 53 of value (byte) -19
189 Arrays.fill(CHARS, 1221, 1223, (byte) 33 ); // Fill 2 of value (byte) 33
190 Arrays.fill(CHARS, 1223, 1225, (byte) -19 ); // Fill 2 of value (byte) -19
191 Arrays.fill(CHARS, 1225, 1227, (byte) 33 ); // Fill 2 of value (byte) 33
192 Arrays.fill(CHARS, 1227, 1229, (byte) -19 ); // Fill 2 of value (byte) -19
193 Arrays.fill(CHARS, 1229, 1232, (byte) 33 ); // Fill 3 of value (byte) 33
194 Arrays.fill(CHARS, 1232, 1260, (byte) -19 ); // Fill 28 of value (byte) -19
195 Arrays.fill(CHARS, 1260, 1262, (byte) 33 ); // Fill 2 of value (byte) 33
196 Arrays.fill(CHARS, 1262, 1270, (byte) -19 ); // Fill 8 of value (byte) -19
197 Arrays.fill(CHARS, 1270, 1272, (byte) 33 ); // Fill 2 of value (byte) 33
198 Arrays.fill(CHARS, 1272, 1274, (byte) -19 ); // Fill 2 of value (byte) -19
199 Arrays.fill(CHARS, 1274, 1329, (byte) 33 ); // Fill 55 of value (byte) 33
200 Arrays.fill(CHARS, 1329, 1367, (byte) -19 ); // Fill 38 of value (byte) -19
201 Arrays.fill(CHARS, 1367, 1369, (byte) 33 ); // Fill 2 of value (byte) 33
202 CHARS[1369] = -19;
203 Arrays.fill(CHARS, 1370, 1377, (byte) 33 ); // Fill 7 of value (byte) 33
204 Arrays.fill(CHARS, 1377, 1415, (byte) -19 ); // Fill 38 of value (byte) -19
205 Arrays.fill(CHARS, 1415, 1425, (byte) 33 ); // Fill 10 of value (byte) 33
206 Arrays.fill(CHARS, 1425, 1442, (byte) -87 ); // Fill 17 of value (byte) -87
207 CHARS[1442] = 33;
208 Arrays.fill(CHARS, 1443, 1466, (byte) -87 ); // Fill 23 of value (byte) -87
209 CHARS[1466] = 33;
210 Arrays.fill(CHARS, 1467, 1470, (byte) -87 ); // Fill 3 of value (byte) -87
211 CHARS[1470] = 33;
212 CHARS[1471] = -87;
213 CHARS[1472] = 33;
214 Arrays.fill(CHARS, 1473, 1475, (byte) -87 ); // Fill 2 of value (byte) -87
215 CHARS[1475] = 33;
216 CHARS[1476] = -87;
217 Arrays.fill(CHARS, 1477, 1488, (byte) 33 ); // Fill 11 of value (byte) 33
218 Arrays.fill(CHARS, 1488, 1515, (byte) -19 ); // Fill 27 of value (byte) -19
219 Arrays.fill(CHARS, 1515, 1520, (byte) 33 ); // Fill 5 of value (byte) 33
220 Arrays.fill(CHARS, 1520, 1523, (byte) -19 ); // Fill 3 of value (byte) -19
221 Arrays.fill(CHARS, 1523, 1569, (byte) 33 ); // Fill 46 of value (byte) 33
222 Arrays.fill(CHARS, 1569, 1595, (byte) -19 ); // Fill 26 of value (byte) -19
223 Arrays.fill(CHARS, 1595, 1600, (byte) 33 ); // Fill 5 of value (byte) 33
224 CHARS[1600] = -87;
225 Arrays.fill(CHARS, 1601, 1611, (byte) -19 ); // Fill 10 of value (byte) -19
226 Arrays.fill(CHARS, 1611, 1619, (byte) -87 ); // Fill 8 of value (byte) -87
227 Arrays.fill(CHARS, 1619, 1632, (byte) 33 ); // Fill 13 of value (byte) 33
228 Arrays.fill(CHARS, 1632, 1642, (byte) -87 ); // Fill 10 of value (byte) -87
229 Arrays.fill(CHARS, 1642, 1648, (byte) 33 ); // Fill 6 of value (byte) 33
230 CHARS[1648] = -87;
231 Arrays.fill(CHARS, 1649, 1720, (byte) -19 ); // Fill 71 of value (byte) -19
232 Arrays.fill(CHARS, 1720, 1722, (byte) 33 ); // Fill 2 of value (byte) 33
233 Arrays.fill(CHARS, 1722, 1727, (byte) -19 ); // Fill 5 of value (byte) -19
234 CHARS[1727] = 33;
235 Arrays.fill(CHARS, 1728, 1743, (byte) -19 ); // Fill 15 of value (byte) -19
236 CHARS[1743] = 33;
237 Arrays.fill(CHARS, 1744, 1748, (byte) -19 ); // Fill 4 of value (byte) -19
238 CHARS[1748] = 33;
239 CHARS[1749] = -19;
240 Arrays.fill(CHARS, 1750, 1765, (byte) -87 ); // Fill 15 of value (byte) -87
241 Arrays.fill(CHARS, 1765, 1767, (byte) -19 ); // Fill 2 of value (byte) -19
242 Arrays.fill(CHARS, 1767, 1769, (byte) -87 ); // Fill 2 of value (byte) -87
243 CHARS[1769] = 33;
244 Arrays.fill(CHARS, 1770, 1774, (byte) -87 ); // Fill 4 of value (byte) -87
245 Arrays.fill(CHARS, 1774, 1776, (byte) 33 ); // Fill 2 of value (byte) 33
246 Arrays.fill(CHARS, 1776, 1786, (byte) -87 ); // Fill 10 of value (byte) -87
247 Arrays.fill(CHARS, 1786, 2305, (byte) 33 ); // Fill 519 of value (byte) 33
248 Arrays.fill(CHARS, 2305, 2308, (byte) -87 ); // Fill 3 of value (byte) -87
249 CHARS[2308] = 33;
250 Arrays.fill(CHARS, 2309, 2362, (byte) -19 ); // Fill 53 of value (byte) -19
251 Arrays.fill(CHARS, 2362, 2364, (byte) 33 ); // Fill 2 of value (byte) 33
252 CHARS[2364] = -87;
253 CHARS[2365] = -19;
254 Arrays.fill(CHARS, 2366, 2382, (byte) -87 ); // Fill 16 of value (byte) -87
255 Arrays.fill(CHARS, 2382, 2385, (byte) 33 ); // Fill 3 of value (byte) 33
256 Arrays.fill(CHARS, 2385, 2389, (byte) -87 ); // Fill 4 of value (byte) -87
257 Arrays.fill(CHARS, 2389, 2392, (byte) 33 ); // Fill 3 of value (byte) 33
258 Arrays.fill(CHARS, 2392, 2402, (byte) -19 ); // Fill 10 of value (byte) -19
259 Arrays.fill(CHARS, 2402, 2404, (byte) -87 ); // Fill 2 of value (byte) -87
260 Arrays.fill(CHARS, 2404, 2406, (byte) 33 ); // Fill 2 of value (byte) 33
261 Arrays.fill(CHARS, 2406, 2416, (byte) -87 ); // Fill 10 of value (byte) -87
262 Arrays.fill(CHARS, 2416, 2433, (byte) 33 ); // Fill 17 of value (byte) 33
263 Arrays.fill(CHARS, 2433, 2436, (byte) -87 ); // Fill 3 of value (byte) -87
264 CHARS[2436] = 33;
265 Arrays.fill(CHARS, 2437, 2445, (byte) -19 ); // Fill 8 of value (byte) -19
266 Arrays.fill(CHARS, 2445, 2447, (byte) 33 ); // Fill 2 of value (byte) 33
267 Arrays.fill(CHARS, 2447, 2449, (byte) -19 ); // Fill 2 of value (byte) -19
268 Arrays.fill(CHARS, 2449, 2451, (byte) 33 ); // Fill 2 of value (byte) 33
269 Arrays.fill(CHARS, 2451, 2473, (byte) -19 ); // Fill 22 of value (byte) -19
270 CHARS[2473] = 33;
271 Arrays.fill(CHARS, 2474, 2481, (byte) -19 ); // Fill 7 of value (byte) -19
272 CHARS[2481] = 33;
273 CHARS[2482] = -19;
274 Arrays.fill(CHARS, 2483, 2486, (byte) 33 ); // Fill 3 of value (byte) 33
275 Arrays.fill(CHARS, 2486, 2490, (byte) -19 ); // Fill 4 of value (byte) -19
276 Arrays.fill(CHARS, 2490, 2492, (byte) 33 ); // Fill 2 of value (byte) 33
277 CHARS[2492] = -87;
278 CHARS[2493] = 33;
279 Arrays.fill(CHARS, 2494, 2501, (byte) -87 ); // Fill 7 of value (byte) -87
280 Arrays.fill(CHARS, 2501, 2503, (byte) 33 ); // Fill 2 of value (byte) 33
281 Arrays.fill(CHARS, 2503, 2505, (byte) -87 ); // Fill 2 of value (byte) -87
282 Arrays.fill(CHARS, 2505, 2507, (byte) 33 ); // Fill 2 of value (byte) 33
283 Arrays.fill(CHARS, 2507, 2510, (byte) -87 ); // Fill 3 of value (byte) -87
284 Arrays.fill(CHARS, 2510, 2519, (byte) 33 ); // Fill 9 of value (byte) 33
285 CHARS[2519] = -87;
286 Arrays.fill(CHARS, 2520, 2524, (byte) 33 ); // Fill 4 of value (byte) 33
287 Arrays.fill(CHARS, 2524, 2526, (byte) -19 ); // Fill 2 of value (byte) -19
288 CHARS[2526] = 33;
289 Arrays.fill(CHARS, 2527, 2530, (byte) -19 ); // Fill 3 of value (byte) -19
290 Arrays.fill(CHARS, 2530, 2532, (byte) -87 ); // Fill 2 of value (byte) -87
291 Arrays.fill(CHARS, 2532, 2534, (byte) 33 ); // Fill 2 of value (byte) 33
292 Arrays.fill(CHARS, 2534, 2544, (byte) -87 ); // Fill 10 of value (byte) -87
293 Arrays.fill(CHARS, 2544, 2546, (byte) -19 ); // Fill 2 of value (byte) -19
294 Arrays.fill(CHARS, 2546, 2562, (byte) 33 ); // Fill 16 of value (byte) 33
295 CHARS[2562] = -87;
296 Arrays.fill(CHARS, 2563, 2565, (byte) 33 ); // Fill 2 of value (byte) 33
297 Arrays.fill(CHARS, 2565, 2571, (byte) -19 ); // Fill 6 of value (byte) -19
298 Arrays.fill(CHARS, 2571, 2575, (byte) 33 ); // Fill 4 of value (byte) 33
299 Arrays.fill(CHARS, 2575, 2577, (byte) -19 ); // Fill 2 of value (byte) -19
300 Arrays.fill(CHARS, 2577, 2579, (byte) 33 ); // Fill 2 of value (byte) 33
301 Arrays.fill(CHARS, 2579, 2601, (byte) -19 ); // Fill 22 of value (byte) -19
302 CHARS[2601] = 33;
303 Arrays.fill(CHARS, 2602, 2609, (byte) -19 ); // Fill 7 of value (byte) -19
304 CHARS[2609] = 33;
305 Arrays.fill(CHARS, 2610, 2612, (byte) -19 ); // Fill 2 of value (byte) -19
306 CHARS[2612] = 33;
307 Arrays.fill(CHARS, 2613, 2615, (byte) -19 ); // Fill 2 of value (byte) -19
308 CHARS[2615] = 33;
309 Arrays.fill(CHARS, 2616, 2618, (byte) -19 ); // Fill 2 of value (byte) -19
310 Arrays.fill(CHARS, 2618, 2620, (byte) 33 ); // Fill 2 of value (byte) 33
311 CHARS[2620] = -87;
312 CHARS[2621] = 33;
313 Arrays.fill(CHARS, 2622, 2627, (byte) -87 ); // Fill 5 of value (byte) -87
314 Arrays.fill(CHARS, 2627, 2631, (byte) 33 ); // Fill 4 of value (byte) 33
315 Arrays.fill(CHARS, 2631, 2633, (byte) -87 ); // Fill 2 of value (byte) -87
316 Arrays.fill(CHARS, 2633, 2635, (byte) 33 ); // Fill 2 of value (byte) 33
317 Arrays.fill(CHARS, 2635, 2638, (byte) -87 ); // Fill 3 of value (byte) -87
318 Arrays.fill(CHARS, 2638, 2649, (byte) 33 ); // Fill 11 of value (byte) 33
319 Arrays.fill(CHARS, 2649, 2653, (byte) -19 ); // Fill 4 of value (byte) -19
320 CHARS[2653] = 33;
321 CHARS[2654] = -19;
322 Arrays.fill(CHARS, 2655, 2662, (byte) 33 ); // Fill 7 of value (byte) 33
323 Arrays.fill(CHARS, 2662, 2674, (byte) -87 ); // Fill 12 of value (byte) -87
324 Arrays.fill(CHARS, 2674, 2677, (byte) -19 ); // Fill 3 of value (byte) -19
325 Arrays.fill(CHARS, 2677, 2689, (byte) 33 ); // Fill 12 of value (byte) 33
326 Arrays.fill(CHARS, 2689, 2692, (byte) -87 ); // Fill 3 of value (byte) -87
327 CHARS[2692] = 33;
328 Arrays.fill(CHARS, 2693, 2700, (byte) -19 ); // Fill 7 of value (byte) -19
329 CHARS[2700] = 33;
330 CHARS[2701] = -19;
331 CHARS[2702] = 33;
332 Arrays.fill(CHARS, 2703, 2706, (byte) -19 ); // Fill 3 of value (byte) -19
333 CHARS[2706] = 33;
334 Arrays.fill(CHARS, 2707, 2729, (byte) -19 ); // Fill 22 of value (byte) -19
335 CHARS[2729] = 33;
336 Arrays.fill(CHARS, 2730, 2737, (byte) -19 ); // Fill 7 of value (byte) -19
337 CHARS[2737] = 33;
338 Arrays.fill(CHARS, 2738, 2740, (byte) -19 ); // Fill 2 of value (byte) -19
339 CHARS[2740] = 33;
340 Arrays.fill(CHARS, 2741, 2746, (byte) -19 ); // Fill 5 of value (byte) -19
341 Arrays.fill(CHARS, 2746, 2748, (byte) 33 ); // Fill 2 of value (byte) 33
342 CHARS[2748] = -87;
343 CHARS[2749] = -19;
344 Arrays.fill(CHARS, 2750, 2758, (byte) -87 ); // Fill 8 of value (byte) -87
345 CHARS[2758] = 33;
346 Arrays.fill(CHARS, 2759, 2762, (byte) -87 ); // Fill 3 of value (byte) -87
347 CHARS[2762] = 33;
348 Arrays.fill(CHARS, 2763, 2766, (byte) -87 ); // Fill 3 of value (byte) -87
349 Arrays.fill(CHARS, 2766, 2784, (byte) 33 ); // Fill 18 of value (byte) 33
350 CHARS[2784] = -19;
351 Arrays.fill(CHARS, 2785, 2790, (byte) 33 ); // Fill 5 of value (byte) 33
352 Arrays.fill(CHARS, 2790, 2800, (byte) -87 ); // Fill 10 of value (byte) -87
353 Arrays.fill(CHARS, 2800, 2817, (byte) 33 ); // Fill 17 of value (byte) 33
354 Arrays.fill(CHARS, 2817, 2820, (byte) -87 ); // Fill 3 of value (byte) -87
355 CHARS[2820] = 33;
356 Arrays.fill(CHARS, 2821, 2829, (byte) -19 ); // Fill 8 of value (byte) -19
357 Arrays.fill(CHARS, 2829, 2831, (byte) 33 ); // Fill 2 of value (byte) 33
358 Arrays.fill(CHARS, 2831, 2833, (byte) -19 ); // Fill 2 of value (byte) -19
359 Arrays.fill(CHARS, 2833, 2835, (byte) 33 ); // Fill 2 of value (byte) 33
360 Arrays.fill(CHARS, 2835, 2857, (byte) -19 ); // Fill 22 of value (byte) -19
361 CHARS[2857] = 33;
362 Arrays.fill(CHARS, 2858, 2865, (byte) -19 ); // Fill 7 of value (byte) -19
363 CHARS[2865] = 33;
364 Arrays.fill(CHARS, 2866, 2868, (byte) -19 ); // Fill 2 of value (byte) -19
365 Arrays.fill(CHARS, 2868, 2870, (byte) 33 ); // Fill 2 of value (byte) 33
366 Arrays.fill(CHARS, 2870, 2874, (byte) -19 ); // Fill 4 of value (byte) -19
367 Arrays.fill(CHARS, 2874, 2876, (byte) 33 ); // Fill 2 of value (byte) 33
368 CHARS[2876] = -87;
369 CHARS[2877] = -19;
370 Arrays.fill(CHARS, 2878, 2884, (byte) -87 ); // Fill 6 of value (byte) -87
371 Arrays.fill(CHARS, 2884, 2887, (byte) 33 ); // Fill 3 of value (byte) 33
372 Arrays.fill(CHARS, 2887, 2889, (byte) -87 ); // Fill 2 of value (byte) -87
373 Arrays.fill(CHARS, 2889, 2891, (byte) 33 ); // Fill 2 of value (byte) 33
374 Arrays.fill(CHARS, 2891, 2894, (byte) -87 ); // Fill 3 of value (byte) -87
375 Arrays.fill(CHARS, 2894, 2902, (byte) 33 ); // Fill 8 of value (byte) 33
376 Arrays.fill(CHARS, 2902, 2904, (byte) -87 ); // Fill 2 of value (byte) -87
377 Arrays.fill(CHARS, 2904, 2908, (byte) 33 ); // Fill 4 of value (byte) 33
378 Arrays.fill(CHARS, 2908, 2910, (byte) -19 ); // Fill 2 of value (byte) -19
379 CHARS[2910] = 33;
380 Arrays.fill(CHARS, 2911, 2914, (byte) -19 ); // Fill 3 of value (byte) -19
381 Arrays.fill(CHARS, 2914, 2918, (byte) 33 ); // Fill 4 of value (byte) 33
382 Arrays.fill(CHARS, 2918, 2928, (byte) -87 ); // Fill 10 of value (byte) -87
383 Arrays.fill(CHARS, 2928, 2946, (byte) 33 ); // Fill 18 of value (byte) 33
384 Arrays.fill(CHARS, 2946, 2948, (byte) -87 ); // Fill 2 of value (byte) -87
385 CHARS[2948] = 33;
386 Arrays.fill(CHARS, 2949, 2955, (byte) -19 ); // Fill 6 of value (byte) -19
387 Arrays.fill(CHARS, 2955, 2958, (byte) 33 ); // Fill 3 of value (byte) 33
388 Arrays.fill(CHARS, 2958, 2961, (byte) -19 ); // Fill 3 of value (byte) -19
389 CHARS[2961] = 33;
390 Arrays.fill(CHARS, 2962, 2966, (byte) -19 ); // Fill 4 of value (byte) -19
391 Arrays.fill(CHARS, 2966, 2969, (byte) 33 ); // Fill 3 of value (byte) 33
392 Arrays.fill(CHARS, 2969, 2971, (byte) -19 ); // Fill 2 of value (byte) -19
393 CHARS[2971] = 33;
394 CHARS[2972] = -19;
395 CHARS[2973] = 33;
396 Arrays.fill(CHARS, 2974, 2976, (byte) -19 ); // Fill 2 of value (byte) -19
397 Arrays.fill(CHARS, 2976, 2979, (byte) 33 ); // Fill 3 of value (byte) 33
398 Arrays.fill(CHARS, 2979, 2981, (byte) -19 ); // Fill 2 of value (byte) -19
399 Arrays.fill(CHARS, 2981, 2984, (byte) 33 ); // Fill 3 of value (byte) 33
400 Arrays.fill(CHARS, 2984, 2987, (byte) -19 ); // Fill 3 of value (byte) -19
401 Arrays.fill(CHARS, 2987, 2990, (byte) 33 ); // Fill 3 of value (byte) 33
402 Arrays.fill(CHARS, 2990, 2998, (byte) -19 ); // Fill 8 of value (byte) -19
403 CHARS[2998] = 33;
404 Arrays.fill(CHARS, 2999, 3002, (byte) -19 ); // Fill 3 of value (byte) -19
405 Arrays.fill(CHARS, 3002, 3006, (byte) 33 ); // Fill 4 of value (byte) 33
406 Arrays.fill(CHARS, 3006, 3011, (byte) -87 ); // Fill 5 of value (byte) -87
407 Arrays.fill(CHARS, 3011, 3014, (byte) 33 ); // Fill 3 of value (byte) 33
408 Arrays.fill(CHARS, 3014, 3017, (byte) -87 ); // Fill 3 of value (byte) -87
409 CHARS[3017] = 33;
410 Arrays.fill(CHARS, 3018, 3022, (byte) -87 ); // Fill 4 of value (byte) -87
411 Arrays.fill(CHARS, 3022, 3031, (byte) 33 ); // Fill 9 of value (byte) 33
412 CHARS[3031] = -87;
413 Arrays.fill(CHARS, 3032, 3047, (byte) 33 ); // Fill 15 of value (byte) 33
414 Arrays.fill(CHARS, 3047, 3056, (byte) -87 ); // Fill 9 of value (byte) -87
415 Arrays.fill(CHARS, 3056, 3073, (byte) 33 ); // Fill 17 of value (byte) 33
416 Arrays.fill(CHARS, 3073, 3076, (byte) -87 ); // Fill 3 of value (byte) -87
417 CHARS[3076] = 33;
418 Arrays.fill(CHARS, 3077, 3085, (byte) -19 ); // Fill 8 of value (byte) -19
419 CHARS[3085] = 33;
420 Arrays.fill(CHARS, 3086, 3089, (byte) -19 ); // Fill 3 of value (byte) -19
421 CHARS[3089] = 33;
422 Arrays.fill(CHARS, 3090, 3113, (byte) -19 ); // Fill 23 of value (byte) -19
423 CHARS[3113] = 33;
424 Arrays.fill(CHARS, 3114, 3124, (byte) -19 ); // Fill 10 of value (byte) -19
425 CHARS[3124] = 33;
426 Arrays.fill(CHARS, 3125, 3130, (byte) -19 ); // Fill 5 of value (byte) -19
427 Arrays.fill(CHARS, 3130, 3134, (byte) 33 ); // Fill 4 of value (byte) 33
428 Arrays.fill(CHARS, 3134, 3141, (byte) -87 ); // Fill 7 of value (byte) -87
429 CHARS[3141] = 33;
430 Arrays.fill(CHARS, 3142, 3145, (byte) -87 ); // Fill 3 of value (byte) -87
431 CHARS[3145] = 33;
432 Arrays.fill(CHARS, 3146, 3150, (byte) -87 ); // Fill 4 of value (byte) -87
433 Arrays.fill(CHARS, 3150, 3157, (byte) 33 ); // Fill 7 of value (byte) 33
434 Arrays.fill(CHARS, 3157, 3159, (byte) -87 ); // Fill 2 of value (byte) -87
435 Arrays.fill(CHARS, 3159, 3168, (byte) 33 ); // Fill 9 of value (byte) 33
436 Arrays.fill(CHARS, 3168, 3170, (byte) -19 ); // Fill 2 of value (byte) -19
437 Arrays.fill(CHARS, 3170, 3174, (byte) 33 ); // Fill 4 of value (byte) 33
438 Arrays.fill(CHARS, 3174, 3184, (byte) -87 ); // Fill 10 of value (byte) -87
439 Arrays.fill(CHARS, 3184, 3202, (byte) 33 ); // Fill 18 of value (byte) 33
440 Arrays.fill(CHARS, 3202, 3204, (byte) -87 ); // Fill 2 of value (byte) -87
441 CHARS[3204] = 33;
442 Arrays.fill(CHARS, 3205, 3213, (byte) -19 ); // Fill 8 of value (byte) -19
443 CHARS[3213] = 33;
444 Arrays.fill(CHARS, 3214, 3217, (byte) -19 ); // Fill 3 of value (byte) -19
445 CHARS[3217] = 33;
446 Arrays.fill(CHARS, 3218, 3241, (byte) -19 ); // Fill 23 of value (byte) -19
447 CHARS[3241] = 33;
448 Arrays.fill(CHARS, 3242, 3252, (byte) -19 ); // Fill 10 of value (byte) -19
449 CHARS[3252] = 33;
450 Arrays.fill(CHARS, 3253, 3258, (byte) -19 ); // Fill 5 of value (byte) -19
451 Arrays.fill(CHARS, 3258, 3262, (byte) 33 ); // Fill 4 of value (byte) 33
452 Arrays.fill(CHARS, 3262, 3269, (byte) -87 ); // Fill 7 of value (byte) -87
453 CHARS[3269] = 33;
454 Arrays.fill(CHARS, 3270, 3273, (byte) -87 ); // Fill 3 of value (byte) -87
455 CHARS[3273] = 33;
456 Arrays.fill(CHARS, 3274, 3278, (byte) -87 ); // Fill 4 of value (byte) -87
457 Arrays.fill(CHARS, 3278, 3285, (byte) 33 ); // Fill 7 of value (byte) 33
458 Arrays.fill(CHARS, 3285, 3287, (byte) -87 ); // Fill 2 of value (byte) -87
459 Arrays.fill(CHARS, 3287, 3294, (byte) 33 ); // Fill 7 of value (byte) 33
460 CHARS[3294] = -19;
461 CHARS[3295] = 33;
462 Arrays.fill(CHARS, 3296, 3298, (byte) -19 ); // Fill 2 of value (byte) -19
463 Arrays.fill(CHARS, 3298, 3302, (byte) 33 ); // Fill 4 of value (byte) 33
464 Arrays.fill(CHARS, 3302, 3312, (byte) -87 ); // Fill 10 of value (byte) -87
465 Arrays.fill(CHARS, 3312, 3330, (byte) 33 ); // Fill 18 of value (byte) 33
466 Arrays.fill(CHARS, 3330, 3332, (byte) -87 ); // Fill 2 of value (byte) -87
467 CHARS[3332] = 33;
468 Arrays.fill(CHARS, 3333, 3341, (byte) -19 ); // Fill 8 of value (byte) -19
469 CHARS[3341] = 33;
470 Arrays.fill(CHARS, 3342, 3345, (byte) -19 ); // Fill 3 of value (byte) -19
471 CHARS[3345] = 33;
472 Arrays.fill(CHARS, 3346, 3369, (byte) -19 ); // Fill 23 of value (byte) -19
473 CHARS[3369] = 33;
474 Arrays.fill(CHARS, 3370, 3386, (byte) -19 ); // Fill 16 of value (byte) -19
475 Arrays.fill(CHARS, 3386, 3390, (byte) 33 ); // Fill 4 of value (byte) 33
476 Arrays.fill(CHARS, 3390, 3396, (byte) -87 ); // Fill 6 of value (byte) -87
477 Arrays.fill(CHARS, 3396, 3398, (byte) 33 ); // Fill 2 of value (byte) 33
478 Arrays.fill(CHARS, 3398, 3401, (byte) -87 ); // Fill 3 of value (byte) -87
479 CHARS[3401] = 33;
480 Arrays.fill(CHARS, 3402, 3406, (byte) -87 ); // Fill 4 of value (byte) -87
481 Arrays.fill(CHARS, 3406, 3415, (byte) 33 ); // Fill 9 of value (byte) 33
482 CHARS[3415] = -87;
483 Arrays.fill(CHARS, 3416, 3424, (byte) 33 ); // Fill 8 of value (byte) 33
484 Arrays.fill(CHARS, 3424, 3426, (byte) -19 ); // Fill 2 of value (byte) -19
485 Arrays.fill(CHARS, 3426, 3430, (byte) 33 ); // Fill 4 of value (byte) 33
486 Arrays.fill(CHARS, 3430, 3440, (byte) -87 ); // Fill 10 of value (byte) -87
487 Arrays.fill(CHARS, 3440, 3585, (byte) 33 ); // Fill 145 of value (byte) 33
488 Arrays.fill(CHARS, 3585, 3631, (byte) -19 ); // Fill 46 of value (byte) -19
489 CHARS[3631] = 33;
490 CHARS[3632] = -19;
491 CHARS[3633] = -87;
492 Arrays.fill(CHARS, 3634, 3636, (byte) -19 ); // Fill 2 of value (byte) -19
493 Arrays.fill(CHARS, 3636, 3643, (byte) -87 ); // Fill 7 of value (byte) -87
494 Arrays.fill(CHARS, 3643, 3648, (byte) 33 ); // Fill 5 of value (byte) 33
495 Arrays.fill(CHARS, 3648, 3654, (byte) -19 ); // Fill 6 of value (byte) -19
496 Arrays.fill(CHARS, 3654, 3663, (byte) -87 ); // Fill 9 of value (byte) -87
497 CHARS[3663] = 33;
498 Arrays.fill(CHARS, 3664, 3674, (byte) -87 ); // Fill 10 of value (byte) -87
499 Arrays.fill(CHARS, 3674, 3713, (byte) 33 ); // Fill 39 of value (byte) 33
500 Arrays.fill(CHARS, 3713, 3715, (byte) -19 ); // Fill 2 of value (byte) -19
501 CHARS[3715] = 33;
502 CHARS[3716] = -19;
503 Arrays.fill(CHARS, 3717, 3719, (byte) 33 ); // Fill 2 of value (byte) 33
504 Arrays.fill(CHARS, 3719, 3721, (byte) -19 ); // Fill 2 of value (byte) -19
505 CHARS[3721] = 33;
506 CHARS[3722] = -19;
507 Arrays.fill(CHARS, 3723, 3725, (byte) 33 ); // Fill 2 of value (byte) 33
508 CHARS[3725] = -19;
509 Arrays.fill(CHARS, 3726, 3732, (byte) 33 ); // Fill 6 of value (byte) 33
510 Arrays.fill(CHARS, 3732, 3736, (byte) -19 ); // Fill 4 of value (byte) -19
511 CHARS[3736] = 33;
512 Arrays.fill(CHARS, 3737, 3744, (byte) -19 ); // Fill 7 of value (byte) -19
513 CHARS[3744] = 33;
514 Arrays.fill(CHARS, 3745, 3748, (byte) -19 ); // Fill 3 of value (byte) -19
515 CHARS[3748] = 33;
516 CHARS[3749] = -19;
517 CHARS[3750] = 33;
518 CHARS[3751] = -19;
519 Arrays.fill(CHARS, 3752, 3754, (byte) 33 ); // Fill 2 of value (byte) 33
520 Arrays.fill(CHARS, 3754, 3756, (byte) -19 ); // Fill 2 of value (byte) -19
521 CHARS[3756] = 33;
522 Arrays.fill(CHARS, 3757, 3759, (byte) -19 ); // Fill 2 of value (byte) -19
523 CHARS[3759] = 33;
524 CHARS[3760] = -19;
525 CHARS[3761] = -87;
526 Arrays.fill(CHARS, 3762, 3764, (byte) -19 ); // Fill 2 of value (byte) -19
527 Arrays.fill(CHARS, 3764, 3770, (byte) -87 ); // Fill 6 of value (byte) -87
528 CHARS[3770] = 33;
529 Arrays.fill(CHARS, 3771, 3773, (byte) -87 ); // Fill 2 of value (byte) -87
530 CHARS[3773] = -19;
531 Arrays.fill(CHARS, 3774, 3776, (byte) 33 ); // Fill 2 of value (byte) 33
532 Arrays.fill(CHARS, 3776, 3781, (byte) -19 ); // Fill 5 of value (byte) -19
533 CHARS[3781] = 33;
534 CHARS[3782] = -87;
535 CHARS[3783] = 33;
536 Arrays.fill(CHARS, 3784, 3790, (byte) -87 ); // Fill 6 of value (byte) -87
537 Arrays.fill(CHARS, 3790, 3792, (byte) 33 ); // Fill 2 of value (byte) 33
538 Arrays.fill(CHARS, 3792, 3802, (byte) -87 ); // Fill 10 of value (byte) -87
539 Arrays.fill(CHARS, 3802, 3864, (byte) 33 ); // Fill 62 of value (byte) 33
540 Arrays.fill(CHARS, 3864, 3866, (byte) -87 ); // Fill 2 of value (byte) -87
541 Arrays.fill(CHARS, 3866, 3872, (byte) 33 ); // Fill 6 of value (byte) 33
542 Arrays.fill(CHARS, 3872, 3882, (byte) -87 ); // Fill 10 of value (byte) -87
543 Arrays.fill(CHARS, 3882, 3893, (byte) 33 ); // Fill 11 of value (byte) 33
544 CHARS[3893] = -87;
545 CHARS[3894] = 33;
546 CHARS[3895] = -87;
547 CHARS[3896] = 33;
548 CHARS[3897] = -87;
549 Arrays.fill(CHARS, 3898, 3902, (byte) 33 ); // Fill 4 of value (byte) 33
550 Arrays.fill(CHARS, 3902, 3904, (byte) -87 ); // Fill 2 of value (byte) -87
551 Arrays.fill(CHARS, 3904, 3912, (byte) -19 ); // Fill 8 of value (byte) -19
552 CHARS[3912] = 33;
553 Arrays.fill(CHARS, 3913, 3946, (byte) -19 ); // Fill 33 of value (byte) -19
554 Arrays.fill(CHARS, 3946, 3953, (byte) 33 ); // Fill 7 of value (byte) 33
555 Arrays.fill(CHARS, 3953, 3973, (byte) -87 ); // Fill 20 of value (byte) -87
556 CHARS[3973] = 33;
557 Arrays.fill(CHARS, 3974, 3980, (byte) -87 ); // Fill 6 of value (byte) -87
558 Arrays.fill(CHARS, 3980, 3984, (byte) 33 ); // Fill 4 of value (byte) 33
559 Arrays.fill(CHARS, 3984, 3990, (byte) -87 ); // Fill 6 of value (byte) -87
560 CHARS[3990] = 33;
561 CHARS[3991] = -87;
562 CHARS[3992] = 33;
563 Arrays.fill(CHARS, 3993, 4014, (byte) -87 ); // Fill 21 of value (byte) -87
564 Arrays.fill(CHARS, 4014, 4017, (byte) 33 ); // Fill 3 of value (byte) 33
565 Arrays.fill(CHARS, 4017, 4024, (byte) -87 ); // Fill 7 of value (byte) -87
566 CHARS[4024] = 33;
567 CHARS[4025] = -87;
568 Arrays.fill(CHARS, 4026, 4256, (byte) 33 ); // Fill 230 of value (byte) 33
569 Arrays.fill(CHARS, 4256, 4294, (byte) -19 ); // Fill 38 of value (byte) -19
570 Arrays.fill(CHARS, 4294, 4304, (byte) 33 ); // Fill 10 of value (byte) 33
571 Arrays.fill(CHARS, 4304, 4343, (byte) -19 ); // Fill 39 of value (byte) -19
572 Arrays.fill(CHARS, 4343, 4352, (byte) 33 ); // Fill 9 of value (byte) 33
573 CHARS[4352] = -19;
574 CHARS[4353] = 33;
575 Arrays.fill(CHARS, 4354, 4356, (byte) -19 ); // Fill 2 of value (byte) -19
576 CHARS[4356] = 33;
577 Arrays.fill(CHARS, 4357, 4360, (byte) -19 ); // Fill 3 of value (byte) -19
578 CHARS[4360] = 33;
579 CHARS[4361] = -19;
580 CHARS[4362] = 33;
581 Arrays.fill(CHARS, 4363, 4365, (byte) -19 ); // Fill 2 of value (byte) -19
582 CHARS[4365] = 33;
583 Arrays.fill(CHARS, 4366, 4371, (byte) -19 ); // Fill 5 of value (byte) -19
584 Arrays.fill(CHARS, 4371, 4412, (byte) 33 ); // Fill 41 of value (byte) 33
585 CHARS[4412] = -19;
586 CHARS[4413] = 33;
587 CHARS[4414] = -19;
588 CHARS[4415] = 33;
589 CHARS[4416] = -19;
590 Arrays.fill(CHARS, 4417, 4428, (byte) 33 ); // Fill 11 of value (byte) 33
591 CHARS[4428] = -19;
592 CHARS[4429] = 33;
593 CHARS[4430] = -19;
594 CHARS[4431] = 33;
595 CHARS[4432] = -19;
596 Arrays.fill(CHARS, 4433, 4436, (byte) 33 ); // Fill 3 of value (byte) 33
597 Arrays.fill(CHARS, 4436, 4438, (byte) -19 ); // Fill 2 of value (byte) -19
598 Arrays.fill(CHARS, 4438, 4441, (byte) 33 ); // Fill 3 of value (byte) 33
599 CHARS[4441] = -19;
600 Arrays.fill(CHARS, 4442, 4447, (byte) 33 ); // Fill 5 of value (byte) 33
601 Arrays.fill(CHARS, 4447, 4450, (byte) -19 ); // Fill 3 of value (byte) -19
602 CHARS[4450] = 33;
603 CHARS[4451] = -19;
604 CHARS[4452] = 33;
605 CHARS[4453] = -19;
606 CHARS[4454] = 33;
607 CHARS[4455] = -19;
608 CHARS[4456] = 33;
609 CHARS[4457] = -19;
610 Arrays.fill(CHARS, 4458, 4461, (byte) 33 ); // Fill 3 of value (byte) 33
611 Arrays.fill(CHARS, 4461, 4463, (byte) -19 ); // Fill 2 of value (byte) -19
612 Arrays.fill(CHARS, 4463, 4466, (byte) 33 ); // Fill 3 of value (byte) 33
613 Arrays.fill(CHARS, 4466, 4468, (byte) -19 ); // Fill 2 of value (byte) -19
614 CHARS[4468] = 33;
615 CHARS[4469] = -19;
616 Arrays.fill(CHARS, 4470, 4510, (byte) 33 ); // Fill 40 of value (byte) 33
617 CHARS[4510] = -19;
618 Arrays.fill(CHARS, 4511, 4520, (byte) 33 ); // Fill 9 of value (byte) 33
619 CHARS[4520] = -19;
620 Arrays.fill(CHARS, 4521, 4523, (byte) 33 ); // Fill 2 of value (byte) 33
621 CHARS[4523] = -19;
622 Arrays.fill(CHARS, 4524, 4526, (byte) 33 ); // Fill 2 of value (byte) 33
623 Arrays.fill(CHARS, 4526, 4528, (byte) -19 ); // Fill 2 of value (byte) -19
624 Arrays.fill(CHARS, 4528, 4535, (byte) 33 ); // Fill 7 of value (byte) 33
625 Arrays.fill(CHARS, 4535, 4537, (byte) -19 ); // Fill 2 of value (byte) -19
626 CHARS[4537] = 33;
627 CHARS[4538] = -19;
628 CHARS[4539] = 33;
629 Arrays.fill(CHARS, 4540, 4547, (byte) -19 ); // Fill 7 of value (byte) -19
630 Arrays.fill(CHARS, 4547, 4587, (byte) 33 ); // Fill 40 of value (byte) 33
631 CHARS[4587] = -19;
632 Arrays.fill(CHARS, 4588, 4592, (byte) 33 ); // Fill 4 of value (byte) 33
633 CHARS[4592] = -19;
634 Arrays.fill(CHARS, 4593, 4601, (byte) 33 ); // Fill 8 of value (byte) 33
635 CHARS[4601] = -19;
636 Arrays.fill(CHARS, 4602, 7680, (byte) 33 ); // Fill 3078 of value (byte) 33
637 Arrays.fill(CHARS, 7680, 7836, (byte) -19 ); // Fill 156 of value (byte) -19
638 Arrays.fill(CHARS, 7836, 7840, (byte) 33 ); // Fill 4 of value (byte) 33
639 Arrays.fill(CHARS, 7840, 7930, (byte) -19 ); // Fill 90 of value (byte) -19
640 Arrays.fill(CHARS, 7930, 7936, (byte) 33 ); // Fill 6 of value (byte) 33
641 Arrays.fill(CHARS, 7936, 7958, (byte) -19 ); // Fill 22 of value (byte) -19
642 Arrays.fill(CHARS, 7958, 7960, (byte) 33 ); // Fill 2 of value (byte) 33
643 Arrays.fill(CHARS, 7960, 7966, (byte) -19 ); // Fill 6 of value (byte) -19
644 Arrays.fill(CHARS, 7966, 7968, (byte) 33 ); // Fill 2 of value (byte) 33
645 Arrays.fill(CHARS, 7968, 8006, (byte) -19 ); // Fill 38 of value (byte) -19
646 Arrays.fill(CHARS, 8006, 8008, (byte) 33 ); // Fill 2 of value (byte) 33
647 Arrays.fill(CHARS, 8008, 8014, (byte) -19 ); // Fill 6 of value (byte) -19
648 Arrays.fill(CHARS, 8014, 8016, (byte) 33 ); // Fill 2 of value (byte) 33
649 Arrays.fill(CHARS, 8016, 8024, (byte) -19 ); // Fill 8 of value (byte) -19
650 CHARS[8024] = 33;
651 CHARS[8025] = -19;
652 CHARS[8026] = 33;
653 CHARS[8027] = -19;
654 CHARS[8028] = 33;
655 CHARS[8029] = -19;
656 CHARS[8030] = 33;
657 Arrays.fill(CHARS, 8031, 8062, (byte) -19 ); // Fill 31 of value (byte) -19
658 Arrays.fill(CHARS, 8062, 8064, (byte) 33 ); // Fill 2 of value (byte) 33
659 Arrays.fill(CHARS, 8064, 8117, (byte) -19 ); // Fill 53 of value (byte) -19
660 CHARS[8117] = 33;
661 Arrays.fill(CHARS, 8118, 8125, (byte) -19 ); // Fill 7 of value (byte) -19
662 CHARS[8125] = 33;
663 CHARS[8126] = -19;
664 Arrays.fill(CHARS, 8127, 8130, (byte) 33 ); // Fill 3 of value (byte) 33
665 Arrays.fill(CHARS, 8130, 8133, (byte) -19 ); // Fill 3 of value (byte) -19
666 CHARS[8133] = 33;
667 Arrays.fill(CHARS, 8134, 8141, (byte) -19 ); // Fill 7 of value (byte) -19
668 Arrays.fill(CHARS, 8141, 8144, (byte) 33 ); // Fill 3 of value (byte) 33
669 Arrays.fill(CHARS, 8144, 8148, (byte) -19 ); // Fill 4 of value (byte) -19
670 Arrays.fill(CHARS, 8148, 8150, (byte) 33 ); // Fill 2 of value (byte) 33
671 Arrays.fill(CHARS, 8150, 8156, (byte) -19 ); // Fill 6 of value (byte) -19
672 Arrays.fill(CHARS, 8156, 8160, (byte) 33 ); // Fill 4 of value (byte) 33
673 Arrays.fill(CHARS, 8160, 8173, (byte) -19 ); // Fill 13 of value (byte) -19
674 Arrays.fill(CHARS, 8173, 8178, (byte) 33 ); // Fill 5 of value (byte) 33
675 Arrays.fill(CHARS, 8178, 8181, (byte) -19 ); // Fill 3 of value (byte) -19
676 CHARS[8181] = 33;
677 Arrays.fill(CHARS, 8182, 8189, (byte) -19 ); // Fill 7 of value (byte) -19
678 Arrays.fill(CHARS, 8189, 8400, (byte) 33 ); // Fill 211 of value (byte) 33
679 Arrays.fill(CHARS, 8400, 8413, (byte) -87 ); // Fill 13 of value (byte) -87
680 Arrays.fill(CHARS, 8413, 8417, (byte) 33 ); // Fill 4 of value (byte) 33
681 CHARS[8417] = -87;
682 Arrays.fill(CHARS, 8418, 8486, (byte) 33 ); // Fill 68 of value (byte) 33
683 CHARS[8486] = -19;
684 Arrays.fill(CHARS, 8487, 8490, (byte) 33 ); // Fill 3 of value (byte) 33
685 Arrays.fill(CHARS, 8490, 8492, (byte) -19 ); // Fill 2 of value (byte) -19
686 Arrays.fill(CHARS, 8492, 8494, (byte) 33 ); // Fill 2 of value (byte) 33
687 CHARS[8494] = -19;
688 Arrays.fill(CHARS, 8495, 8576, (byte) 33 ); // Fill 81 of value (byte) 33
689 Arrays.fill(CHARS, 8576, 8579, (byte) -19 ); // Fill 3 of value (byte) -19
690 Arrays.fill(CHARS, 8579, 12293, (byte) 33 ); // Fill 3714 of value (byte) 33
691 CHARS[12293] = -87;
692 CHARS[12294] = 33;
693 CHARS[12295] = -19;
694 Arrays.fill(CHARS, 12296, 12321, (byte) 33 ); // Fill 25 of value (byte) 33
695 Arrays.fill(CHARS, 12321, 12330, (byte) -19 ); // Fill 9 of value (byte) -19
696 Arrays.fill(CHARS, 12330, 12336, (byte) -87 ); // Fill 6 of value (byte) -87
697 CHARS[12336] = 33;
698 Arrays.fill(CHARS, 12337, 12342, (byte) -87 ); // Fill 5 of value (byte) -87
699 Arrays.fill(CHARS, 12342, 12353, (byte) 33 ); // Fill 11 of value (byte) 33
700 Arrays.fill(CHARS, 12353, 12437, (byte) -19 ); // Fill 84 of value (byte) -19
701 Arrays.fill(CHARS, 12437, 12441, (byte) 33 ); // Fill 4 of value (byte) 33
702 Arrays.fill(CHARS, 12441, 12443, (byte) -87 ); // Fill 2 of value (byte) -87
703 Arrays.fill(CHARS, 12443, 12445, (byte) 33 ); // Fill 2 of value (byte) 33
704 Arrays.fill(CHARS, 12445, 12447, (byte) -87 ); // Fill 2 of value (byte) -87
705 Arrays.fill(CHARS, 12447, 12449, (byte) 33 ); // Fill 2 of value (byte) 33
706 Arrays.fill(CHARS, 12449, 12539, (byte) -19 ); // Fill 90 of value (byte) -19
707 CHARS[12539] = 33;
708 Arrays.fill(CHARS, 12540, 12543, (byte) -87 ); // Fill 3 of value (byte) -87
709 Arrays.fill(CHARS, 12543, 12549, (byte) 33 ); // Fill 6 of value (byte) 33
710 Arrays.fill(CHARS, 12549, 12589, (byte) -19 ); // Fill 40 of value (byte) -19
711 Arrays.fill(CHARS, 12589, 19968, (byte) 33 ); // Fill 7379 of value (byte) 33
712 Arrays.fill(CHARS, 19968, 40870, (byte) -19 ); // Fill 20902 of value (byte) -19
713 Arrays.fill(CHARS, 40870, 44032, (byte) 33 ); // Fill 3162 of value (byte) 33
714 Arrays.fill(CHARS, 44032, 55204, (byte) -19 ); // Fill 11172 of value (byte) -19
715 Arrays.fill(CHARS, 55204, 55296, (byte) 33 ); // Fill 92 of value (byte) 33
716 Arrays.fill(CHARS, 57344, 65534, (byte) 33 ); // Fill 8190 of value (byte) 33
717
718 } // <clinit>()
719
720 //
721 // Public static methods
722 //
723
724 /**
725 * Returns true if the specified character is a supplemental character.
726 *
727 * @param c The character to check.
728 */
729 public static boolean isSupplemental(int c) {
730 return (c >= 0x10000 && c <= 0x10FFFF);
731 }
732
733 /**
734 * Returns true the supplemental character corresponding to the given
735 * surrogates.
736 *
737 * @param h The high surrogate.
738 * @param l The low surrogate.
739 */
740 public static int supplemental(char h, char l) {
741 return (h - 0xD800) * 0x400 + (l - 0xDC00) + 0x10000;
742 }
743
744 /**
745 * Returns the high surrogate of a supplemental character
746 *
747 * @param c The supplemental character to "split".
748 */
749 public static char highSurrogate(int c) {
750 return (char) (((c - 0x00010000) >> 10) + 0xD800);
751 }
752
753 /**
754 * Returns the low surrogate of a supplemental character
755 *
756 * @param c The supplemental character to "split".
757 */
758 public static char lowSurrogate(int c) {
759 return (char) (((c - 0x00010000) & 0x3FF) + 0xDC00);
760 }
761
762 /**
763 * Returns whether the given character is a high surrogate
764 *
765 * @param c The character to check.
766 */
767 public static boolean isHighSurrogate(int c) {
768 return (0xD800 <= c && c <= 0xDBFF);
769 }
770
771 /**
772 * Returns whether the given character is a low surrogate
773 *
774 * @param c The character to check.
775 */
776 public static boolean isLowSurrogate(int c) {
777 return (0xDC00 <= c && c <= 0xDFFF);
778 }
779
780
781 /**
782 * Returns true if the specified character is valid. This method
783 * also checks the surrogate character range from 0x10000 to 0x10FFFF.
784 * <p>
785 * If the program chooses to apply the mask directly to the
786 * <code>CHARS</code> array, then they are responsible for checking
787 * the surrogate character range.
788 *
789 * @param c The character to check.
790 */
791 public static boolean isValid(int c) {
792 return (c < 0x10000 && (CHARS[c] & MASK_VALID) != 0) ||
793 (0x10000 <= c && c <= 0x10FFFF);
794 } // isValid(int):boolean
795
796 /**
797 * Returns true if the specified character is invalid.
798 *
799 * @param c The character to check.
800 */
801 public static boolean isInvalid(int c) {
802 return !isValid(c);
803 } // isInvalid(int):boolean
804
805 /**
806 * Returns true if the specified character can be considered content.
807 *
808 * @param c The character to check.
809 */
810 public static boolean isContent(int c) {
811 return (c < 0x10000 && (CHARS[c] & MASK_CONTENT) != 0) ||
812 (0x10000 <= c && c <= 0x10FFFF);
813 } // isContent(int):boolean
814
815 /**
816 * Returns true if the specified character can be considered markup.
817 * Markup characters include '<', '&', and '%'.
818 *
819 * @param c The character to check.
820 */
821 public static boolean isMarkup(int c) {
822 return c == '<' || c == '&' || c == '%';
823 } // isMarkup(int):boolean
824
825 /**
826 * Returns true if the specified character is a space character
827 * as defined by production [3] in the XML 1.0 specification.
828 *
829 * @param c The character to check.
830 */
831 public static boolean isSpace(int c) {
832 return c <= 0x20 && (CHARS[c] & MASK_SPACE) != 0;
833 } // isSpace(int):boolean
834
835 /**
836 * Returns true if the specified character is a valid name start
837 * character as defined by production [5] in the XML 1.0
838 * specification.
839 *
840 * @param c The character to check.
841 */
842 public static boolean isNameStart(int c) {
843 return c < 0x10000 && (CHARS[c] & MASK_NAME_START) != 0;
844 } // isNameStart(int):boolean
845
846 /**
847 * Returns true if the specified character is a valid name
848 * character as defined by production [4] in the XML 1.0
849 * specification.
850 *
851 * @param c The character to check.
852 */
853 public static boolean isName(int c) {
854 return c < 0x10000 && (CHARS[c] & MASK_NAME) != 0;
855 } // isName(int):boolean
856
857 /**
858 * Returns true if the specified character is a valid NCName start
859 * character as defined by production [4] in Namespaces in XML
860 * recommendation.
861 *
862 * @param c The character to check.
863 */
864 public static boolean isNCNameStart(int c) {
865 return c < 0x10000 && (CHARS[c] & MASK_NCNAME_START) != 0;
866 } // isNCNameStart(int):boolean
867
868 /**
869 * Returns true if the specified character is a valid NCName
870 * character as defined by production [5] in Namespaces in XML
871 * recommendation.
872 *
873 * @param c The character to check.
874 */
875 public static boolean isNCName(int c) {
876 return c < 0x10000 && (CHARS[c] & MASK_NCNAME) != 0;
877 } // isNCName(int):boolean
878
879 /**
880 * Returns true if the specified character is a valid Pubid
881 * character as defined by production [13] in the XML 1.0
882 * specification.
883 *
884 * @param c The character to check.
885 */
886 public static boolean isPubid(int c) {
887 return c < 0x10000 && (CHARS[c] & MASK_PUBID) != 0;
888 } // isPubid(int):boolean
889
890 /*
891 * [5] Name ::= (Letter | '_' | ':') (NameChar)*
892 */
893 /**
894 * Check to see if a string is a valid Name according to [5]
895 * in the XML 1.0 Recommendation
896 *
897 * @param name string to check
898 * @return true if name is a valid Name
899 */
900 public static boolean isValidName(String name) {
901 final int length = name.length();
902 if (length == 0) {
903 return false;
904 }
905 char ch = name.charAt(0);
906 if (!isNameStart(ch)) {
907 return false;
908 }
909 for (int i = 1; i < length; ++i) {
910 ch = name.charAt(i);
911 if (!isName(ch)) {
912 return false;
913 }
914 }
915 return true;
916 } // isValidName(String):boolean
917
918 /*
919 * from the namespace rec
920 * [4] NCName ::= (Letter | '_') (NCNameChar)*
921 */
922 /**
923 * Check to see if a string is a valid NCName according to [4]
924 * from the XML Namespaces 1.0 Recommendation
925 *
926 * @param ncName string to check
927 * @return true if name is a valid NCName
928 */
929 public static boolean isValidNCName(String ncName) {
930 final int length = ncName.length();
931 if (length == 0) {
932 return false;
933 }
934 char ch = ncName.charAt(0);
935 if (!isNCNameStart(ch)) {
936 return false;
937 }
938 for (int i = 1; i < length; ++i) {
939 ch = ncName.charAt(i);
940 if (!isNCName(ch)) {
941 return false;
942 }
943 }
944 return true;
945 } // isValidNCName(String):boolean
946
947 /*
948 * [7] Nmtoken ::= (NameChar)+
949 */
950 /**
951 * Check to see if a string is a valid Nmtoken according to [7]
952 * in the XML 1.0 Recommendation
953 *
954 * @param nmtoken string to check
955 * @return true if nmtoken is a valid Nmtoken
956 */
957 public static boolean isValidNmtoken(String nmtoken) {
958 final int length = nmtoken.length();
959 if (length == 0) {
960 return false;
961 }
962 for (int i = 0; i < length; ++i) {
963 char ch = nmtoken.charAt(i);
964 if (!isName(ch)) {
965 return false;
966 }
967 }
968 return true;
969 } // isValidName(String):boolean
970
971
972
973
974
975 // encodings
976
977 /**
978 * Returns true if the encoding name is a valid IANA encoding.
979 * This method does not verify that there is a decoder available
980 * for this encoding, only that the characters are valid for an
981 * IANA encoding name.
982 *
983 * @param ianaEncoding The IANA encoding name.
984 */
985 public static boolean isValidIANAEncoding(String ianaEncoding) {
986 if (ianaEncoding != null) {
987 int length = ianaEncoding.length();
988 if (length > 0) {
989 char c = ianaEncoding.charAt(0);
990 if ((c >= 'A' && c <= 'Z') || (c >= 'a' && c <= 'z')) {
991 for (int i = 1; i < length; i++) {
992 c = ianaEncoding.charAt(i);
993 if ((c < 'A' || c > 'Z') && (c < 'a' || c > 'z') &&
994 (c < '0' || c > '9') && c != '.' && c != '_' &&
995 c != '-') {
996 return false;
997 }
998 }
999 return true;
1000 }
1001 }
1002 }
1003 return false;
1004 } // isValidIANAEncoding(String):boolean
1005
1006 /**
1007 * Returns true if the encoding name is a valid Java encoding.
1008 * This method does not verify that there is a decoder available
1009 * for this encoding, only that the characters are valid for an
1010 * Java encoding name.
1011 *
1012 * @param javaEncoding The Java encoding name.
1013 */
1014 public static boolean isValidJavaEncoding(String javaEncoding) {
1015 if (javaEncoding != null) {
1016 int length = javaEncoding.length();
1017 if (length > 0) {
1018 for (int i = 1; i < length; i++) {
1019 char c = javaEncoding.charAt(i);
1020 if ((c < 'A' || c > 'Z') && (c < 'a' || c > 'z') &&
1021 (c < '0' || c > '9') && c != '.' && c != '_' &&
1022 c != '-') {
1023 return false;
1024 }
1025 }
1026 return true;
1027 }
1028 }
1029 return false;
1030 } // isValidIANAEncoding(String):boolean
1031
1032 // other methods
1033
1034 /**
1035 * Trims space characters as defined by production [3] in
1036 * the XML 1.0 specification from both ends of the given string.
1037 *
1038 * @param value the string to be trimmed
1039 * @return the given string with the space characters trimmed
1040 * from both ends
1041 */
1042 public static String trim(String value) {
1043 int start;
1044 int end;
1045 final int lengthMinusOne = value.length() - 1;
1046 for (start = 0; start <= lengthMinusOne; ++start) {
1047 if (!isSpace(value.charAt(start))) {
1048 break;
1049 }
1050 }
1051 for (end = lengthMinusOne; end >= start; --end) {
1052 if (!isSpace(value.charAt(end))) {
1053 break;
1054 }
1055 }
1056 if (start == 0 && end == lengthMinusOne) {
1057 return value;
1058 }
1059 if (start > lengthMinusOne) {
1060 return "";
1061 }
1062 return value.substring(start, end + 1);
1063 } // trim(String):String
1064
1065 } // class XMLChar