XMLChar


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