com.alee.utils.xml.XMLChar Maven / Gradle / Ivy
/*
* This file is part of WebLookAndFeel library.
*
* WebLookAndFeel library is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* WebLookAndFeel library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with WebLookAndFeel library. If not, see
* A series of convenience methods are supplied to ease the burden
* of the developer. Because inlining the checks can improve per
* character performance, the tables of character properties are
* public. Using the character as an index into the {@code CHARS}
* array and applying the appropriate mask flag (e.g.
* {@code MASK_VALID}), yields the same results as calling the
* convenience methods. There is one exception: check the comments
* for the {@code isValid} method for details.
*
* @author Glenn Marcy, IBM
* @author Andy Clark, IBM
* @author Eric Ye, IBM
* @author Arnaud Le Hors, IBM
* @author Michael Glavassevich, IBM
* @author Rahul Srivastava, Sun Microsystems Inc.
* @version $Id: XMLChar.java,v 1.14 2004/02/03 20:34:27 mrglavas Exp $
*/
public final class XMLChar
{
//
// Constants
//
/**
* Character flags.
*/
private static final byte[] CHARS = new byte[ 1 << 16 ];
/**
* Valid character mask.
*/
public static final int MASK_VALID = 0x01;
/**
* Space character mask.
*/
public static final int MASK_SPACE = 0x02;
/**
* Name start character mask.
*/
public static final int MASK_NAME_START = 0x04;
/**
* Name character mask.
*/
public static final int MASK_NAME = 0x08;
/**
* Pubid character mask.
*/
public static final int MASK_PUBID = 0x10;
/**
* Content character mask. Special characters are those that can
* be considered the start of markup, such as '<' and '&'.
* The various newline characters are considered special as well.
* All other valid XML characters can be considered content.
*
* This is an optimization for the inner loop of character scanning.
*/
public static final int MASK_CONTENT = 0x20;
/**
* NCName start character mask.
*/
public static final int MASK_NCNAME_START = 0x40;
/**
* NCName character mask.
*/
public static final int MASK_NCNAME = 0x80;
//
// Static initialization
//
static
{
// Initializing the Character Flag Array
// Code generated by: XMLCharGenerator.
CHARS[ 9 ] = 35;
CHARS[ 10 ] = 19;
CHARS[ 13 ] = 19;
CHARS[ 32 ] = 51;
CHARS[ 33 ] = 49;
CHARS[ 34 ] = 33;
Arrays.fill ( CHARS, 35, 38, ( byte ) 49 ); // Fill 3 of value (byte) 49
CHARS[ 38 ] = 1;
Arrays.fill ( CHARS, 39, 45, ( byte ) 49 ); // Fill 6 of value (byte) 49
Arrays.fill ( CHARS, 45, 47, ( byte ) -71 ); // Fill 2 of value (byte) -71
CHARS[ 47 ] = 49;
Arrays.fill ( CHARS, 48, 58, ( byte ) -71 ); // Fill 10 of value (byte) -71
CHARS[ 58 ] = 61;
CHARS[ 59 ] = 49;
CHARS[ 60 ] = 1;
CHARS[ 61 ] = 49;
CHARS[ 62 ] = 33;
Arrays.fill ( CHARS, 63, 65, ( byte ) 49 ); // Fill 2 of value (byte) 49
Arrays.fill ( CHARS, 65, 91, ( byte ) -3 ); // Fill 26 of value (byte) -3
Arrays.fill ( CHARS, 91, 93, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 93 ] = 1;
CHARS[ 94 ] = 33;
CHARS[ 95 ] = -3;
CHARS[ 96 ] = 33;
Arrays.fill ( CHARS, 97, 123, ( byte ) -3 ); // Fill 26 of value (byte) -3
Arrays.fill ( CHARS, 123, 183, ( byte ) 33 ); // Fill 60 of value (byte) 33
CHARS[ 183 ] = -87;
Arrays.fill ( CHARS, 184, 192, ( byte ) 33 ); // Fill 8 of value (byte) 33
Arrays.fill ( CHARS, 192, 215, ( byte ) -19 ); // Fill 23 of value (byte) -19
CHARS[ 215 ] = 33;
Arrays.fill ( CHARS, 216, 247, ( byte ) -19 ); // Fill 31 of value (byte) -19
CHARS[ 247 ] = 33;
Arrays.fill ( CHARS, 248, 306, ( byte ) -19 ); // Fill 58 of value (byte) -19
Arrays.fill ( CHARS, 306, 308, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 308, 319, ( byte ) -19 ); // Fill 11 of value (byte) -19
Arrays.fill ( CHARS, 319, 321, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 321, 329, ( byte ) -19 ); // Fill 8 of value (byte) -19
CHARS[ 329 ] = 33;
Arrays.fill ( CHARS, 330, 383, ( byte ) -19 ); // Fill 53 of value (byte) -19
CHARS[ 383 ] = 33;
Arrays.fill ( CHARS, 384, 452, ( byte ) -19 ); // Fill 68 of value (byte) -19
Arrays.fill ( CHARS, 452, 461, ( byte ) 33 ); // Fill 9 of value (byte) 33
Arrays.fill ( CHARS, 461, 497, ( byte ) -19 ); // Fill 36 of value (byte) -19
Arrays.fill ( CHARS, 497, 500, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 500, 502, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 502, 506, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 506, 536, ( byte ) -19 ); // Fill 30 of value (byte) -19
Arrays.fill ( CHARS, 536, 592, ( byte ) 33 ); // Fill 56 of value (byte) 33
Arrays.fill ( CHARS, 592, 681, ( byte ) -19 ); // Fill 89 of value (byte) -19
Arrays.fill ( CHARS, 681, 699, ( byte ) 33 ); // Fill 18 of value (byte) 33
Arrays.fill ( CHARS, 699, 706, ( byte ) -19 ); // Fill 7 of value (byte) -19
Arrays.fill ( CHARS, 706, 720, ( byte ) 33 ); // Fill 14 of value (byte) 33
Arrays.fill ( CHARS, 720, 722, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 722, 768, ( byte ) 33 ); // Fill 46 of value (byte) 33
Arrays.fill ( CHARS, 768, 838, ( byte ) -87 ); // Fill 70 of value (byte) -87
Arrays.fill ( CHARS, 838, 864, ( byte ) 33 ); // Fill 26 of value (byte) 33
Arrays.fill ( CHARS, 864, 866, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 866, 902, ( byte ) 33 ); // Fill 36 of value (byte) 33
CHARS[ 902 ] = -19;
CHARS[ 903 ] = -87;
Arrays.fill ( CHARS, 904, 907, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 907 ] = 33;
CHARS[ 908 ] = -19;
CHARS[ 909 ] = 33;
Arrays.fill ( CHARS, 910, 930, ( byte ) -19 ); // Fill 20 of value (byte) -19
CHARS[ 930 ] = 33;
Arrays.fill ( CHARS, 931, 975, ( byte ) -19 ); // Fill 44 of value (byte) -19
CHARS[ 975 ] = 33;
Arrays.fill ( CHARS, 976, 983, ( byte ) -19 ); // Fill 7 of value (byte) -19
Arrays.fill ( CHARS, 983, 986, ( byte ) 33 ); // Fill 3 of value (byte) 33
CHARS[ 986 ] = -19;
CHARS[ 987 ] = 33;
CHARS[ 988 ] = -19;
CHARS[ 989 ] = 33;
CHARS[ 990 ] = -19;
CHARS[ 991 ] = 33;
CHARS[ 992 ] = -19;
CHARS[ 993 ] = 33;
Arrays.fill ( CHARS, 994, 1012, ( byte ) -19 ); // Fill 18 of value (byte) -19
Arrays.fill ( CHARS, 1012, 1025, ( byte ) 33 ); // Fill 13 of value (byte) 33
Arrays.fill ( CHARS, 1025, 1037, ( byte ) -19 ); // Fill 12 of value (byte) -19
CHARS[ 1037 ] = 33;
Arrays.fill ( CHARS, 1038, 1104, ( byte ) -19 ); // Fill 66 of value (byte) -19
CHARS[ 1104 ] = 33;
Arrays.fill ( CHARS, 1105, 1117, ( byte ) -19 ); // Fill 12 of value (byte) -19
CHARS[ 1117 ] = 33;
Arrays.fill ( CHARS, 1118, 1154, ( byte ) -19 ); // Fill 36 of value (byte) -19
CHARS[ 1154 ] = 33;
Arrays.fill ( CHARS, 1155, 1159, ( byte ) -87 ); // Fill 4 of value (byte) -87
Arrays.fill ( CHARS, 1159, 1168, ( byte ) 33 ); // Fill 9 of value (byte) 33
Arrays.fill ( CHARS, 1168, 1221, ( byte ) -19 ); // Fill 53 of value (byte) -19
Arrays.fill ( CHARS, 1221, 1223, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 1223, 1225, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 1225, 1227, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 1227, 1229, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 1229, 1232, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 1232, 1260, ( byte ) -19 ); // Fill 28 of value (byte) -19
Arrays.fill ( CHARS, 1260, 1262, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 1262, 1270, ( byte ) -19 ); // Fill 8 of value (byte) -19
Arrays.fill ( CHARS, 1270, 1272, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 1272, 1274, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 1274, 1329, ( byte ) 33 ); // Fill 55 of value (byte) 33
Arrays.fill ( CHARS, 1329, 1367, ( byte ) -19 ); // Fill 38 of value (byte) -19
Arrays.fill ( CHARS, 1367, 1369, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 1369 ] = -19;
Arrays.fill ( CHARS, 1370, 1377, ( byte ) 33 ); // Fill 7 of value (byte) 33
Arrays.fill ( CHARS, 1377, 1415, ( byte ) -19 ); // Fill 38 of value (byte) -19
Arrays.fill ( CHARS, 1415, 1425, ( byte ) 33 ); // Fill 10 of value (byte) 33
Arrays.fill ( CHARS, 1425, 1442, ( byte ) -87 ); // Fill 17 of value (byte) -87
CHARS[ 1442 ] = 33;
Arrays.fill ( CHARS, 1443, 1466, ( byte ) -87 ); // Fill 23 of value (byte) -87
CHARS[ 1466 ] = 33;
Arrays.fill ( CHARS, 1467, 1470, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 1470 ] = 33;
CHARS[ 1471 ] = -87;
CHARS[ 1472 ] = 33;
Arrays.fill ( CHARS, 1473, 1475, ( byte ) -87 ); // Fill 2 of value (byte) -87
CHARS[ 1475 ] = 33;
CHARS[ 1476 ] = -87;
Arrays.fill ( CHARS, 1477, 1488, ( byte ) 33 ); // Fill 11 of value (byte) 33
Arrays.fill ( CHARS, 1488, 1515, ( byte ) -19 ); // Fill 27 of value (byte) -19
Arrays.fill ( CHARS, 1515, 1520, ( byte ) 33 ); // Fill 5 of value (byte) 33
Arrays.fill ( CHARS, 1520, 1523, ( byte ) -19 ); // Fill 3 of value (byte) -19
Arrays.fill ( CHARS, 1523, 1569, ( byte ) 33 ); // Fill 46 of value (byte) 33
Arrays.fill ( CHARS, 1569, 1595, ( byte ) -19 ); // Fill 26 of value (byte) -19
Arrays.fill ( CHARS, 1595, 1600, ( byte ) 33 ); // Fill 5 of value (byte) 33
CHARS[ 1600 ] = -87;
Arrays.fill ( CHARS, 1601, 1611, ( byte ) -19 ); // Fill 10 of value (byte) -19
Arrays.fill ( CHARS, 1611, 1619, ( byte ) -87 ); // Fill 8 of value (byte) -87
Arrays.fill ( CHARS, 1619, 1632, ( byte ) 33 ); // Fill 13 of value (byte) 33
Arrays.fill ( CHARS, 1632, 1642, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 1642, 1648, ( byte ) 33 ); // Fill 6 of value (byte) 33
CHARS[ 1648 ] = -87;
Arrays.fill ( CHARS, 1649, 1720, ( byte ) -19 ); // Fill 71 of value (byte) -19
Arrays.fill ( CHARS, 1720, 1722, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 1722, 1727, ( byte ) -19 ); // Fill 5 of value (byte) -19
CHARS[ 1727 ] = 33;
Arrays.fill ( CHARS, 1728, 1743, ( byte ) -19 ); // Fill 15 of value (byte) -19
CHARS[ 1743 ] = 33;
Arrays.fill ( CHARS, 1744, 1748, ( byte ) -19 ); // Fill 4 of value (byte) -19
CHARS[ 1748 ] = 33;
CHARS[ 1749 ] = -19;
Arrays.fill ( CHARS, 1750, 1765, ( byte ) -87 ); // Fill 15 of value (byte) -87
Arrays.fill ( CHARS, 1765, 1767, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 1767, 1769, ( byte ) -87 ); // Fill 2 of value (byte) -87
CHARS[ 1769 ] = 33;
Arrays.fill ( CHARS, 1770, 1774, ( byte ) -87 ); // Fill 4 of value (byte) -87
Arrays.fill ( CHARS, 1774, 1776, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 1776, 1786, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 1786, 2305, ( byte ) 33 ); // Fill 519 of value (byte) 33
Arrays.fill ( CHARS, 2305, 2308, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 2308 ] = 33;
Arrays.fill ( CHARS, 2309, 2362, ( byte ) -19 ); // Fill 53 of value (byte) -19
Arrays.fill ( CHARS, 2362, 2364, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 2364 ] = -87;
CHARS[ 2365 ] = -19;
Arrays.fill ( CHARS, 2366, 2382, ( byte ) -87 ); // Fill 16 of value (byte) -87
Arrays.fill ( CHARS, 2382, 2385, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2385, 2389, ( byte ) -87 ); // Fill 4 of value (byte) -87
Arrays.fill ( CHARS, 2389, 2392, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2392, 2402, ( byte ) -19 ); // Fill 10 of value (byte) -19
Arrays.fill ( CHARS, 2402, 2404, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 2404, 2406, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2406, 2416, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 2416, 2433, ( byte ) 33 ); // Fill 17 of value (byte) 33
Arrays.fill ( CHARS, 2433, 2436, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 2436 ] = 33;
Arrays.fill ( CHARS, 2437, 2445, ( byte ) -19 ); // Fill 8 of value (byte) -19
Arrays.fill ( CHARS, 2445, 2447, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2447, 2449, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 2449, 2451, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2451, 2473, ( byte ) -19 ); // Fill 22 of value (byte) -19
CHARS[ 2473 ] = 33;
Arrays.fill ( CHARS, 2474, 2481, ( byte ) -19 ); // Fill 7 of value (byte) -19
CHARS[ 2481 ] = 33;
CHARS[ 2482 ] = -19;
Arrays.fill ( CHARS, 2483, 2486, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2486, 2490, ( byte ) -19 ); // Fill 4 of value (byte) -19
Arrays.fill ( CHARS, 2490, 2492, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 2492 ] = -87;
CHARS[ 2493 ] = 33;
Arrays.fill ( CHARS, 2494, 2501, ( byte ) -87 ); // Fill 7 of value (byte) -87
Arrays.fill ( CHARS, 2501, 2503, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2503, 2505, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 2505, 2507, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2507, 2510, ( byte ) -87 ); // Fill 3 of value (byte) -87
Arrays.fill ( CHARS, 2510, 2519, ( byte ) 33 ); // Fill 9 of value (byte) 33
CHARS[ 2519 ] = -87;
Arrays.fill ( CHARS, 2520, 2524, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 2524, 2526, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 2526 ] = 33;
Arrays.fill ( CHARS, 2527, 2530, ( byte ) -19 ); // Fill 3 of value (byte) -19
Arrays.fill ( CHARS, 2530, 2532, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 2532, 2534, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2534, 2544, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 2544, 2546, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 2546, 2562, ( byte ) 33 ); // Fill 16 of value (byte) 33
CHARS[ 2562 ] = -87;
Arrays.fill ( CHARS, 2563, 2565, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2565, 2571, ( byte ) -19 ); // Fill 6 of value (byte) -19
Arrays.fill ( CHARS, 2571, 2575, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 2575, 2577, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 2577, 2579, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2579, 2601, ( byte ) -19 ); // Fill 22 of value (byte) -19
CHARS[ 2601 ] = 33;
Arrays.fill ( CHARS, 2602, 2609, ( byte ) -19 ); // Fill 7 of value (byte) -19
CHARS[ 2609 ] = 33;
Arrays.fill ( CHARS, 2610, 2612, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 2612 ] = 33;
Arrays.fill ( CHARS, 2613, 2615, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 2615 ] = 33;
Arrays.fill ( CHARS, 2616, 2618, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 2618, 2620, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 2620 ] = -87;
CHARS[ 2621 ] = 33;
Arrays.fill ( CHARS, 2622, 2627, ( byte ) -87 ); // Fill 5 of value (byte) -87
Arrays.fill ( CHARS, 2627, 2631, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 2631, 2633, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 2633, 2635, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2635, 2638, ( byte ) -87 ); // Fill 3 of value (byte) -87
Arrays.fill ( CHARS, 2638, 2649, ( byte ) 33 ); // Fill 11 of value (byte) 33
Arrays.fill ( CHARS, 2649, 2653, ( byte ) -19 ); // Fill 4 of value (byte) -19
CHARS[ 2653 ] = 33;
CHARS[ 2654 ] = -19;
Arrays.fill ( CHARS, 2655, 2662, ( byte ) 33 ); // Fill 7 of value (byte) 33
Arrays.fill ( CHARS, 2662, 2674, ( byte ) -87 ); // Fill 12 of value (byte) -87
Arrays.fill ( CHARS, 2674, 2677, ( byte ) -19 ); // Fill 3 of value (byte) -19
Arrays.fill ( CHARS, 2677, 2689, ( byte ) 33 ); // Fill 12 of value (byte) 33
Arrays.fill ( CHARS, 2689, 2692, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 2692 ] = 33;
Arrays.fill ( CHARS, 2693, 2700, ( byte ) -19 ); // Fill 7 of value (byte) -19
CHARS[ 2700 ] = 33;
CHARS[ 2701 ] = -19;
CHARS[ 2702 ] = 33;
Arrays.fill ( CHARS, 2703, 2706, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 2706 ] = 33;
Arrays.fill ( CHARS, 2707, 2729, ( byte ) -19 ); // Fill 22 of value (byte) -19
CHARS[ 2729 ] = 33;
Arrays.fill ( CHARS, 2730, 2737, ( byte ) -19 ); // Fill 7 of value (byte) -19
CHARS[ 2737 ] = 33;
Arrays.fill ( CHARS, 2738, 2740, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 2740 ] = 33;
Arrays.fill ( CHARS, 2741, 2746, ( byte ) -19 ); // Fill 5 of value (byte) -19
Arrays.fill ( CHARS, 2746, 2748, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 2748 ] = -87;
CHARS[ 2749 ] = -19;
Arrays.fill ( CHARS, 2750, 2758, ( byte ) -87 ); // Fill 8 of value (byte) -87
CHARS[ 2758 ] = 33;
Arrays.fill ( CHARS, 2759, 2762, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 2762 ] = 33;
Arrays.fill ( CHARS, 2763, 2766, ( byte ) -87 ); // Fill 3 of value (byte) -87
Arrays.fill ( CHARS, 2766, 2784, ( byte ) 33 ); // Fill 18 of value (byte) 33
CHARS[ 2784 ] = -19;
Arrays.fill ( CHARS, 2785, 2790, ( byte ) 33 ); // Fill 5 of value (byte) 33
Arrays.fill ( CHARS, 2790, 2800, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 2800, 2817, ( byte ) 33 ); // Fill 17 of value (byte) 33
Arrays.fill ( CHARS, 2817, 2820, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 2820 ] = 33;
Arrays.fill ( CHARS, 2821, 2829, ( byte ) -19 ); // Fill 8 of value (byte) -19
Arrays.fill ( CHARS, 2829, 2831, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2831, 2833, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 2833, 2835, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2835, 2857, ( byte ) -19 ); // Fill 22 of value (byte) -19
CHARS[ 2857 ] = 33;
Arrays.fill ( CHARS, 2858, 2865, ( byte ) -19 ); // Fill 7 of value (byte) -19
CHARS[ 2865 ] = 33;
Arrays.fill ( CHARS, 2866, 2868, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 2868, 2870, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2870, 2874, ( byte ) -19 ); // Fill 4 of value (byte) -19
Arrays.fill ( CHARS, 2874, 2876, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 2876 ] = -87;
CHARS[ 2877 ] = -19;
Arrays.fill ( CHARS, 2878, 2884, ( byte ) -87 ); // Fill 6 of value (byte) -87
Arrays.fill ( CHARS, 2884, 2887, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2887, 2889, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 2889, 2891, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 2891, 2894, ( byte ) -87 ); // Fill 3 of value (byte) -87
Arrays.fill ( CHARS, 2894, 2902, ( byte ) 33 ); // Fill 8 of value (byte) 33
Arrays.fill ( CHARS, 2902, 2904, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 2904, 2908, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 2908, 2910, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 2910 ] = 33;
Arrays.fill ( CHARS, 2911, 2914, ( byte ) -19 ); // Fill 3 of value (byte) -19
Arrays.fill ( CHARS, 2914, 2918, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 2918, 2928, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 2928, 2946, ( byte ) 33 ); // Fill 18 of value (byte) 33
Arrays.fill ( CHARS, 2946, 2948, ( byte ) -87 ); // Fill 2 of value (byte) -87
CHARS[ 2948 ] = 33;
Arrays.fill ( CHARS, 2949, 2955, ( byte ) -19 ); // Fill 6 of value (byte) -19
Arrays.fill ( CHARS, 2955, 2958, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2958, 2961, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 2961 ] = 33;
Arrays.fill ( CHARS, 2962, 2966, ( byte ) -19 ); // Fill 4 of value (byte) -19
Arrays.fill ( CHARS, 2966, 2969, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2969, 2971, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 2971 ] = 33;
CHARS[ 2972 ] = -19;
CHARS[ 2973 ] = 33;
Arrays.fill ( CHARS, 2974, 2976, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 2976, 2979, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2979, 2981, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 2981, 2984, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2984, 2987, ( byte ) -19 ); // Fill 3 of value (byte) -19
Arrays.fill ( CHARS, 2987, 2990, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 2990, 2998, ( byte ) -19 ); // Fill 8 of value (byte) -19
CHARS[ 2998 ] = 33;
Arrays.fill ( CHARS, 2999, 3002, ( byte ) -19 ); // Fill 3 of value (byte) -19
Arrays.fill ( CHARS, 3002, 3006, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3006, 3011, ( byte ) -87 ); // Fill 5 of value (byte) -87
Arrays.fill ( CHARS, 3011, 3014, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 3014, 3017, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 3017 ] = 33;
Arrays.fill ( CHARS, 3018, 3022, ( byte ) -87 ); // Fill 4 of value (byte) -87
Arrays.fill ( CHARS, 3022, 3031, ( byte ) 33 ); // Fill 9 of value (byte) 33
CHARS[ 3031 ] = -87;
Arrays.fill ( CHARS, 3032, 3047, ( byte ) 33 ); // Fill 15 of value (byte) 33
Arrays.fill ( CHARS, 3047, 3056, ( byte ) -87 ); // Fill 9 of value (byte) -87
Arrays.fill ( CHARS, 3056, 3073, ( byte ) 33 ); // Fill 17 of value (byte) 33
Arrays.fill ( CHARS, 3073, 3076, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 3076 ] = 33;
Arrays.fill ( CHARS, 3077, 3085, ( byte ) -19 ); // Fill 8 of value (byte) -19
CHARS[ 3085 ] = 33;
Arrays.fill ( CHARS, 3086, 3089, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 3089 ] = 33;
Arrays.fill ( CHARS, 3090, 3113, ( byte ) -19 ); // Fill 23 of value (byte) -19
CHARS[ 3113 ] = 33;
Arrays.fill ( CHARS, 3114, 3124, ( byte ) -19 ); // Fill 10 of value (byte) -19
CHARS[ 3124 ] = 33;
Arrays.fill ( CHARS, 3125, 3130, ( byte ) -19 ); // Fill 5 of value (byte) -19
Arrays.fill ( CHARS, 3130, 3134, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3134, 3141, ( byte ) -87 ); // Fill 7 of value (byte) -87
CHARS[ 3141 ] = 33;
Arrays.fill ( CHARS, 3142, 3145, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 3145 ] = 33;
Arrays.fill ( CHARS, 3146, 3150, ( byte ) -87 ); // Fill 4 of value (byte) -87
Arrays.fill ( CHARS, 3150, 3157, ( byte ) 33 ); // Fill 7 of value (byte) 33
Arrays.fill ( CHARS, 3157, 3159, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 3159, 3168, ( byte ) 33 ); // Fill 9 of value (byte) 33
Arrays.fill ( CHARS, 3168, 3170, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 3170, 3174, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3174, 3184, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 3184, 3202, ( byte ) 33 ); // Fill 18 of value (byte) 33
Arrays.fill ( CHARS, 3202, 3204, ( byte ) -87 ); // Fill 2 of value (byte) -87
CHARS[ 3204 ] = 33;
Arrays.fill ( CHARS, 3205, 3213, ( byte ) -19 ); // Fill 8 of value (byte) -19
CHARS[ 3213 ] = 33;
Arrays.fill ( CHARS, 3214, 3217, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 3217 ] = 33;
Arrays.fill ( CHARS, 3218, 3241, ( byte ) -19 ); // Fill 23 of value (byte) -19
CHARS[ 3241 ] = 33;
Arrays.fill ( CHARS, 3242, 3252, ( byte ) -19 ); // Fill 10 of value (byte) -19
CHARS[ 3252 ] = 33;
Arrays.fill ( CHARS, 3253, 3258, ( byte ) -19 ); // Fill 5 of value (byte) -19
Arrays.fill ( CHARS, 3258, 3262, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3262, 3269, ( byte ) -87 ); // Fill 7 of value (byte) -87
CHARS[ 3269 ] = 33;
Arrays.fill ( CHARS, 3270, 3273, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 3273 ] = 33;
Arrays.fill ( CHARS, 3274, 3278, ( byte ) -87 ); // Fill 4 of value (byte) -87
Arrays.fill ( CHARS, 3278, 3285, ( byte ) 33 ); // Fill 7 of value (byte) 33
Arrays.fill ( CHARS, 3285, 3287, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 3287, 3294, ( byte ) 33 ); // Fill 7 of value (byte) 33
CHARS[ 3294 ] = -19;
CHARS[ 3295 ] = 33;
Arrays.fill ( CHARS, 3296, 3298, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 3298, 3302, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3302, 3312, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 3312, 3330, ( byte ) 33 ); // Fill 18 of value (byte) 33
Arrays.fill ( CHARS, 3330, 3332, ( byte ) -87 ); // Fill 2 of value (byte) -87
CHARS[ 3332 ] = 33;
Arrays.fill ( CHARS, 3333, 3341, ( byte ) -19 ); // Fill 8 of value (byte) -19
CHARS[ 3341 ] = 33;
Arrays.fill ( CHARS, 3342, 3345, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 3345 ] = 33;
Arrays.fill ( CHARS, 3346, 3369, ( byte ) -19 ); // Fill 23 of value (byte) -19
CHARS[ 3369 ] = 33;
Arrays.fill ( CHARS, 3370, 3386, ( byte ) -19 ); // Fill 16 of value (byte) -19
Arrays.fill ( CHARS, 3386, 3390, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3390, 3396, ( byte ) -87 ); // Fill 6 of value (byte) -87
Arrays.fill ( CHARS, 3396, 3398, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 3398, 3401, ( byte ) -87 ); // Fill 3 of value (byte) -87
CHARS[ 3401 ] = 33;
Arrays.fill ( CHARS, 3402, 3406, ( byte ) -87 ); // Fill 4 of value (byte) -87
Arrays.fill ( CHARS, 3406, 3415, ( byte ) 33 ); // Fill 9 of value (byte) 33
CHARS[ 3415 ] = -87;
Arrays.fill ( CHARS, 3416, 3424, ( byte ) 33 ); // Fill 8 of value (byte) 33
Arrays.fill ( CHARS, 3424, 3426, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 3426, 3430, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3430, 3440, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 3440, 3585, ( byte ) 33 ); // Fill 145 of value (byte) 33
Arrays.fill ( CHARS, 3585, 3631, ( byte ) -19 ); // Fill 46 of value (byte) -19
CHARS[ 3631 ] = 33;
CHARS[ 3632 ] = -19;
CHARS[ 3633 ] = -87;
Arrays.fill ( CHARS, 3634, 3636, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 3636, 3643, ( byte ) -87 ); // Fill 7 of value (byte) -87
Arrays.fill ( CHARS, 3643, 3648, ( byte ) 33 ); // Fill 5 of value (byte) 33
Arrays.fill ( CHARS, 3648, 3654, ( byte ) -19 ); // Fill 6 of value (byte) -19
Arrays.fill ( CHARS, 3654, 3663, ( byte ) -87 ); // Fill 9 of value (byte) -87
CHARS[ 3663 ] = 33;
Arrays.fill ( CHARS, 3664, 3674, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 3674, 3713, ( byte ) 33 ); // Fill 39 of value (byte) 33
Arrays.fill ( CHARS, 3713, 3715, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 3715 ] = 33;
CHARS[ 3716 ] = -19;
Arrays.fill ( CHARS, 3717, 3719, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 3719, 3721, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 3721 ] = 33;
CHARS[ 3722 ] = -19;
Arrays.fill ( CHARS, 3723, 3725, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 3725 ] = -19;
Arrays.fill ( CHARS, 3726, 3732, ( byte ) 33 ); // Fill 6 of value (byte) 33
Arrays.fill ( CHARS, 3732, 3736, ( byte ) -19 ); // Fill 4 of value (byte) -19
CHARS[ 3736 ] = 33;
Arrays.fill ( CHARS, 3737, 3744, ( byte ) -19 ); // Fill 7 of value (byte) -19
CHARS[ 3744 ] = 33;
Arrays.fill ( CHARS, 3745, 3748, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 3748 ] = 33;
CHARS[ 3749 ] = -19;
CHARS[ 3750 ] = 33;
CHARS[ 3751 ] = -19;
Arrays.fill ( CHARS, 3752, 3754, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 3754, 3756, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 3756 ] = 33;
Arrays.fill ( CHARS, 3757, 3759, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 3759 ] = 33;
CHARS[ 3760 ] = -19;
CHARS[ 3761 ] = -87;
Arrays.fill ( CHARS, 3762, 3764, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 3764, 3770, ( byte ) -87 ); // Fill 6 of value (byte) -87
CHARS[ 3770 ] = 33;
Arrays.fill ( CHARS, 3771, 3773, ( byte ) -87 ); // Fill 2 of value (byte) -87
CHARS[ 3773 ] = -19;
Arrays.fill ( CHARS, 3774, 3776, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 3776, 3781, ( byte ) -19 ); // Fill 5 of value (byte) -19
CHARS[ 3781 ] = 33;
CHARS[ 3782 ] = -87;
CHARS[ 3783 ] = 33;
Arrays.fill ( CHARS, 3784, 3790, ( byte ) -87 ); // Fill 6 of value (byte) -87
Arrays.fill ( CHARS, 3790, 3792, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 3792, 3802, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 3802, 3864, ( byte ) 33 ); // Fill 62 of value (byte) 33
Arrays.fill ( CHARS, 3864, 3866, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 3866, 3872, ( byte ) 33 ); // Fill 6 of value (byte) 33
Arrays.fill ( CHARS, 3872, 3882, ( byte ) -87 ); // Fill 10 of value (byte) -87
Arrays.fill ( CHARS, 3882, 3893, ( byte ) 33 ); // Fill 11 of value (byte) 33
CHARS[ 3893 ] = -87;
CHARS[ 3894 ] = 33;
CHARS[ 3895 ] = -87;
CHARS[ 3896 ] = 33;
CHARS[ 3897 ] = -87;
Arrays.fill ( CHARS, 3898, 3902, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3902, 3904, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 3904, 3912, ( byte ) -19 ); // Fill 8 of value (byte) -19
CHARS[ 3912 ] = 33;
Arrays.fill ( CHARS, 3913, 3946, ( byte ) -19 ); // Fill 33 of value (byte) -19
Arrays.fill ( CHARS, 3946, 3953, ( byte ) 33 ); // Fill 7 of value (byte) 33
Arrays.fill ( CHARS, 3953, 3973, ( byte ) -87 ); // Fill 20 of value (byte) -87
CHARS[ 3973 ] = 33;
Arrays.fill ( CHARS, 3974, 3980, ( byte ) -87 ); // Fill 6 of value (byte) -87
Arrays.fill ( CHARS, 3980, 3984, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 3984, 3990, ( byte ) -87 ); // Fill 6 of value (byte) -87
CHARS[ 3990 ] = 33;
CHARS[ 3991 ] = -87;
CHARS[ 3992 ] = 33;
Arrays.fill ( CHARS, 3993, 4014, ( byte ) -87 ); // Fill 21 of value (byte) -87
Arrays.fill ( CHARS, 4014, 4017, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 4017, 4024, ( byte ) -87 ); // Fill 7 of value (byte) -87
CHARS[ 4024 ] = 33;
CHARS[ 4025 ] = -87;
Arrays.fill ( CHARS, 4026, 4256, ( byte ) 33 ); // Fill 230 of value (byte) 33
Arrays.fill ( CHARS, 4256, 4294, ( byte ) -19 ); // Fill 38 of value (byte) -19
Arrays.fill ( CHARS, 4294, 4304, ( byte ) 33 ); // Fill 10 of value (byte) 33
Arrays.fill ( CHARS, 4304, 4343, ( byte ) -19 ); // Fill 39 of value (byte) -19
Arrays.fill ( CHARS, 4343, 4352, ( byte ) 33 ); // Fill 9 of value (byte) 33
CHARS[ 4352 ] = -19;
CHARS[ 4353 ] = 33;
Arrays.fill ( CHARS, 4354, 4356, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 4356 ] = 33;
Arrays.fill ( CHARS, 4357, 4360, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 4360 ] = 33;
CHARS[ 4361 ] = -19;
CHARS[ 4362 ] = 33;
Arrays.fill ( CHARS, 4363, 4365, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 4365 ] = 33;
Arrays.fill ( CHARS, 4366, 4371, ( byte ) -19 ); // Fill 5 of value (byte) -19
Arrays.fill ( CHARS, 4371, 4412, ( byte ) 33 ); // Fill 41 of value (byte) 33
CHARS[ 4412 ] = -19;
CHARS[ 4413 ] = 33;
CHARS[ 4414 ] = -19;
CHARS[ 4415 ] = 33;
CHARS[ 4416 ] = -19;
Arrays.fill ( CHARS, 4417, 4428, ( byte ) 33 ); // Fill 11 of value (byte) 33
CHARS[ 4428 ] = -19;
CHARS[ 4429 ] = 33;
CHARS[ 4430 ] = -19;
CHARS[ 4431 ] = 33;
CHARS[ 4432 ] = -19;
Arrays.fill ( CHARS, 4433, 4436, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 4436, 4438, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 4438, 4441, ( byte ) 33 ); // Fill 3 of value (byte) 33
CHARS[ 4441 ] = -19;
Arrays.fill ( CHARS, 4442, 4447, ( byte ) 33 ); // Fill 5 of value (byte) 33
Arrays.fill ( CHARS, 4447, 4450, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 4450 ] = 33;
CHARS[ 4451 ] = -19;
CHARS[ 4452 ] = 33;
CHARS[ 4453 ] = -19;
CHARS[ 4454 ] = 33;
CHARS[ 4455 ] = -19;
CHARS[ 4456 ] = 33;
CHARS[ 4457 ] = -19;
Arrays.fill ( CHARS, 4458, 4461, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 4461, 4463, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 4463, 4466, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 4466, 4468, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 4468 ] = 33;
CHARS[ 4469 ] = -19;
Arrays.fill ( CHARS, 4470, 4510, ( byte ) 33 ); // Fill 40 of value (byte) 33
CHARS[ 4510 ] = -19;
Arrays.fill ( CHARS, 4511, 4520, ( byte ) 33 ); // Fill 9 of value (byte) 33
CHARS[ 4520 ] = -19;
Arrays.fill ( CHARS, 4521, 4523, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 4523 ] = -19;
Arrays.fill ( CHARS, 4524, 4526, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 4526, 4528, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 4528, 4535, ( byte ) 33 ); // Fill 7 of value (byte) 33
Arrays.fill ( CHARS, 4535, 4537, ( byte ) -19 ); // Fill 2 of value (byte) -19
CHARS[ 4537 ] = 33;
CHARS[ 4538 ] = -19;
CHARS[ 4539 ] = 33;
Arrays.fill ( CHARS, 4540, 4547, ( byte ) -19 ); // Fill 7 of value (byte) -19
Arrays.fill ( CHARS, 4547, 4587, ( byte ) 33 ); // Fill 40 of value (byte) 33
CHARS[ 4587 ] = -19;
Arrays.fill ( CHARS, 4588, 4592, ( byte ) 33 ); // Fill 4 of value (byte) 33
CHARS[ 4592 ] = -19;
Arrays.fill ( CHARS, 4593, 4601, ( byte ) 33 ); // Fill 8 of value (byte) 33
CHARS[ 4601 ] = -19;
Arrays.fill ( CHARS, 4602, 7680, ( byte ) 33 ); // Fill 3078 of value (byte) 33
Arrays.fill ( CHARS, 7680, 7836, ( byte ) -19 ); // Fill 156 of value (byte) -19
Arrays.fill ( CHARS, 7836, 7840, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 7840, 7930, ( byte ) -19 ); // Fill 90 of value (byte) -19
Arrays.fill ( CHARS, 7930, 7936, ( byte ) 33 ); // Fill 6 of value (byte) 33
Arrays.fill ( CHARS, 7936, 7958, ( byte ) -19 ); // Fill 22 of value (byte) -19
Arrays.fill ( CHARS, 7958, 7960, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 7960, 7966, ( byte ) -19 ); // Fill 6 of value (byte) -19
Arrays.fill ( CHARS, 7966, 7968, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 7968, 8006, ( byte ) -19 ); // Fill 38 of value (byte) -19
Arrays.fill ( CHARS, 8006, 8008, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 8008, 8014, ( byte ) -19 ); // Fill 6 of value (byte) -19
Arrays.fill ( CHARS, 8014, 8016, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 8016, 8024, ( byte ) -19 ); // Fill 8 of value (byte) -19
CHARS[ 8024 ] = 33;
CHARS[ 8025 ] = -19;
CHARS[ 8026 ] = 33;
CHARS[ 8027 ] = -19;
CHARS[ 8028 ] = 33;
CHARS[ 8029 ] = -19;
CHARS[ 8030 ] = 33;
Arrays.fill ( CHARS, 8031, 8062, ( byte ) -19 ); // Fill 31 of value (byte) -19
Arrays.fill ( CHARS, 8062, 8064, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 8064, 8117, ( byte ) -19 ); // Fill 53 of value (byte) -19
CHARS[ 8117 ] = 33;
Arrays.fill ( CHARS, 8118, 8125, ( byte ) -19 ); // Fill 7 of value (byte) -19
CHARS[ 8125 ] = 33;
CHARS[ 8126 ] = -19;
Arrays.fill ( CHARS, 8127, 8130, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 8130, 8133, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 8133 ] = 33;
Arrays.fill ( CHARS, 8134, 8141, ( byte ) -19 ); // Fill 7 of value (byte) -19
Arrays.fill ( CHARS, 8141, 8144, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 8144, 8148, ( byte ) -19 ); // Fill 4 of value (byte) -19
Arrays.fill ( CHARS, 8148, 8150, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 8150, 8156, ( byte ) -19 ); // Fill 6 of value (byte) -19
Arrays.fill ( CHARS, 8156, 8160, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 8160, 8173, ( byte ) -19 ); // Fill 13 of value (byte) -19
Arrays.fill ( CHARS, 8173, 8178, ( byte ) 33 ); // Fill 5 of value (byte) 33
Arrays.fill ( CHARS, 8178, 8181, ( byte ) -19 ); // Fill 3 of value (byte) -19
CHARS[ 8181 ] = 33;
Arrays.fill ( CHARS, 8182, 8189, ( byte ) -19 ); // Fill 7 of value (byte) -19
Arrays.fill ( CHARS, 8189, 8400, ( byte ) 33 ); // Fill 211 of value (byte) 33
Arrays.fill ( CHARS, 8400, 8413, ( byte ) -87 ); // Fill 13 of value (byte) -87
Arrays.fill ( CHARS, 8413, 8417, ( byte ) 33 ); // Fill 4 of value (byte) 33
CHARS[ 8417 ] = -87;
Arrays.fill ( CHARS, 8418, 8486, ( byte ) 33 ); // Fill 68 of value (byte) 33
CHARS[ 8486 ] = -19;
Arrays.fill ( CHARS, 8487, 8490, ( byte ) 33 ); // Fill 3 of value (byte) 33
Arrays.fill ( CHARS, 8490, 8492, ( byte ) -19 ); // Fill 2 of value (byte) -19
Arrays.fill ( CHARS, 8492, 8494, ( byte ) 33 ); // Fill 2 of value (byte) 33
CHARS[ 8494 ] = -19;
Arrays.fill ( CHARS, 8495, 8576, ( byte ) 33 ); // Fill 81 of value (byte) 33
Arrays.fill ( CHARS, 8576, 8579, ( byte ) -19 ); // Fill 3 of value (byte) -19
Arrays.fill ( CHARS, 8579, 12293, ( byte ) 33 ); // Fill 3714 of value (byte) 33
CHARS[ 12293 ] = -87;
CHARS[ 12294 ] = 33;
CHARS[ 12295 ] = -19;
Arrays.fill ( CHARS, 12296, 12321, ( byte ) 33 ); // Fill 25 of value (byte) 33
Arrays.fill ( CHARS, 12321, 12330, ( byte ) -19 ); // Fill 9 of value (byte) -19
Arrays.fill ( CHARS, 12330, 12336, ( byte ) -87 ); // Fill 6 of value (byte) -87
CHARS[ 12336 ] = 33;
Arrays.fill ( CHARS, 12337, 12342, ( byte ) -87 ); // Fill 5 of value (byte) -87
Arrays.fill ( CHARS, 12342, 12353, ( byte ) 33 ); // Fill 11 of value (byte) 33
Arrays.fill ( CHARS, 12353, 12437, ( byte ) -19 ); // Fill 84 of value (byte) -19
Arrays.fill ( CHARS, 12437, 12441, ( byte ) 33 ); // Fill 4 of value (byte) 33
Arrays.fill ( CHARS, 12441, 12443, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 12443, 12445, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 12445, 12447, ( byte ) -87 ); // Fill 2 of value (byte) -87
Arrays.fill ( CHARS, 12447, 12449, ( byte ) 33 ); // Fill 2 of value (byte) 33
Arrays.fill ( CHARS, 12449, 12539, ( byte ) -19 ); // Fill 90 of value (byte) -19
CHARS[ 12539 ] = 33;
Arrays.fill ( CHARS, 12540, 12543, ( byte ) -87 ); // Fill 3 of value (byte) -87
Arrays.fill ( CHARS, 12543, 12549, ( byte ) 33 ); // Fill 6 of value (byte) 33
Arrays.fill ( CHARS, 12549, 12589, ( byte ) -19 ); // Fill 40 of value (byte) -19
Arrays.fill ( CHARS, 12589, 19968, ( byte ) 33 ); // Fill 7379 of value (byte) 33
Arrays.fill ( CHARS, 19968, 40870, ( byte ) -19 ); // Fill 20902 of value (byte) -19
Arrays.fill ( CHARS, 40870, 44032, ( byte ) 33 ); // Fill 3162 of value (byte) 33
Arrays.fill ( CHARS, 44032, 55204, ( byte ) -19 ); // Fill 11172 of value (byte) -19
Arrays.fill ( CHARS, 55204, 55296, ( byte ) 33 ); // Fill 92 of value (byte) 33
Arrays.fill ( CHARS, 57344, 65534, ( byte ) 33 ); // Fill 8190 of value (byte) 33
} // ()
//
// Public static methods
//
/**
* Returns true if the specified character is a supplemental character.
*
* @param c The character to check.
*/
public static boolean isSupplemental ( final int c )
{
return c >= 0x10000 && c <= 0x10FFFF;
}
/**
* Returns true the supplemental character corresponding to the given
* surrogates.
*
* @param h The high surrogate.
* @param l The low surrogate.
*/
public static int supplemental ( final char h, final char l )
{
return ( h - 0xD800 ) * 0x400 + ( l - 0xDC00 ) + 0x10000;
}
/**
* Returns the high surrogate of a supplemental character
*
* @param c The supplemental character to "split".
*/
public static char highSurrogate ( final int c )
{
return ( char ) ( ( ( c - 0x00010000 ) >> 10 ) + 0xD800 );
}
/**
* Returns the low surrogate of a supplemental character
*
* @param c The supplemental character to "split".
*/
public static char lowSurrogate ( final int c )
{
return ( char ) ( ( ( c - 0x00010000 ) & 0x3FF ) + 0xDC00 );
}
/**
* Returns whether the given character is a high surrogate
*
* @param c The character to check.
*/
public static boolean isHighSurrogate ( final int c )
{
return 0xD800 <= c && c <= 0xDBFF;
}
/**
* Returns whether the given character is a low surrogate
*
* @param c The character to check.
*/
public static boolean isLowSurrogate ( final int c )
{
return 0xDC00 <= c && c <= 0xDFFF;
}
/**
* Returns true if the specified character is valid. This method
* also checks the surrogate character range from 0x10000 to 0x10FFFF.
*
* If the program chooses to apply the mask directly to the
* {@code CHARS} array, then they are responsible for checking
* the surrogate character range.
*
* @param c The character to check.
*/
public static boolean isValid ( final int c )
{
return ( c < 0x10000 && ( CHARS[ c ] & MASK_VALID ) != 0 ) || ( 0x10000 <= c && c <= 0x10FFFF );
} // isValid(int):boolean
/**
* Returns true if the specified character is invalid.
*
* @param c The character to check.
*/
public static boolean isInvalid ( final int c )
{
return !isValid ( c );
} // isInvalid(int):boolean
/**
* Returns true if the specified character can be considered content.
*
* @param c The character to check.
*/
public static boolean isContent ( final int c )
{
return ( c < 0x10000 && ( CHARS[ c ] & MASK_CONTENT ) != 0 ) || ( 0x10000 <= c && c <= 0x10FFFF );
} // isContent(int):boolean
/**
* Returns true if the specified character can be considered markup.
* Markup characters include '<', '&', and '%'.
*
* @param c The character to check.
*/
public static boolean isMarkup ( final int c )
{
return c == '<' || c == '&' || c == '%';
} // isMarkup(int):boolean
/**
* Returns true if the specified character is a space character
* as defined by production [3] in the XML 1.0 specification.
*
* @param c The character to check.
*/
public static boolean isSpace ( final int c )
{
return c <= 0x20 && ( CHARS[ c ] & MASK_SPACE ) != 0;
} // isSpace(int):boolean
/**
* Returns true if the specified character is a valid name start
* character as defined by production [5] in the XML 1.0
* specification.
*
* @param c The character to check.
*/
public static boolean isNameStart ( final int c )
{
return c < 0x10000 && ( CHARS[ c ] & MASK_NAME_START ) != 0;
} // isNameStart(int):boolean
/**
* Returns true if the specified character is a valid name
* character as defined by production [4] in the XML 1.0
* specification.
*
* @param c The character to check.
*/
public static boolean isName ( final int c )
{
return c < 0x10000 && ( CHARS[ c ] & MASK_NAME ) != 0;
} // isName(int):boolean
/**
* Returns true if the specified character is a valid NCName start
* character as defined by production [4] in Namespaces in XML
* recommendation.
*
* @param c The character to check.
*/
public static boolean isNCNameStart ( final int c )
{
return c < 0x10000 && ( CHARS[ c ] & MASK_NCNAME_START ) != 0;
} // isNCNameStart(int):boolean
/**
* Returns true if the specified character is a valid NCName
* character as defined by production [5] in Namespaces in XML
* recommendation.
*
* @param c The character to check.
*/
public static boolean isNCName ( final int c )
{
return c < 0x10000 && ( CHARS[ c ] & MASK_NCNAME ) != 0;
} // isNCName(int):boolean
/**
* Returns true if the specified character is a valid Pubid character as defined by production [13] in the XML 1.0 specification.
*
* @param c The character to check.
*/
public static boolean isPubid ( final int c )
{
return c < 0x10000 && ( CHARS[ c ] & MASK_PUBID ) != 0;
} // isPubid(int):boolean
/*
* [5] Name ::= (Letter | '_' | ':') (NameChar)*
*/
/**
* Check to see if a string is a valid Name according to [5]
* in the XML 1.0 Recommendation
*
* @param name string to check
* @return true if name is a valid Name
*/
public static boolean isValidName ( final String name )
{
if ( name.length () == 0 )
{
return false;
}
char ch = name.charAt ( 0 );
if ( !isNameStart ( ch ) )
{
return false;
}
for ( int i = 1; i < name.length (); i++ )
{
ch = name.charAt ( i );
if ( !isName ( ch ) )
{
return false;
}
}
return true;
} // isValidName(String):boolean
/*
* from the namespace rec
* [4] NCName ::= (Letter | '_') (NCNameChar)*
*/
/**
* Check to see if a string is a valid NCName according to [4]
* from the XML Namespaces 1.0 Recommendation
*
* @param name string to check
* @return true if name is a valid NCName
*/
public static boolean isValidNCName ( final String name )
{
if ( name.length () == 0 )
{
return false;
}
char ch = name.charAt ( 0 );
if ( !isNCNameStart ( ch ) )
{
return false;
}
for ( int i = 1; i < name.length (); i++ )
{
ch = name.charAt ( i );
if ( !isNCName ( ch ) )
{
return false;
}
}
return true;
} // isValidNCName(String):boolean
/*
* [7] NmToken ::= (NameChar)+
*/
/**
* Check to see if a string is a valid NmToken according to [7]
* in the XML 1.0 Recommendation
*
* @param nmToken string to check
* @return true if nmToken is a valid NmToken
*/
public static boolean isValidNmToken ( final String nmToken )
{
if ( nmToken.length () == 0 )
{
return false;
}
for ( int i = 0; i < nmToken.length (); i++ )
{
final char ch = nmToken.charAt ( i );
if ( !isName ( ch ) )
{
return false;
}
}
return true;
} // isValidName(String):boolean
// encodings
/**
* Returns true if the encoding name is a valid IANA encoding.
* This method does not verify that there is a decoder available
* for this encoding, only that the characters are valid for an
* IANA encoding name.
*
* @param ianaEncoding The IANA encoding name.
*/
public static boolean isValidIANAEncoding ( final String ianaEncoding )
{
if ( ianaEncoding != null )
{
final int length = ianaEncoding.length ();
if ( length > 0 )
{
char c = ianaEncoding.charAt ( 0 );
if ( ( c >= 'A' && c <= 'Z' ) || ( c >= 'a' && c <= 'z' ) )
{
for ( int i = 1; i < length; i++ )
{
c = ianaEncoding.charAt ( i );
if ( ( c < 'A' || c > 'Z' ) && ( c < 'a' || c > 'z' ) &&
( c < '0' || c > '9' ) && c != '.' && c != '_' &&
c != '-' )
{
return false;
}
}
return true;
}
}
}
return false;
} // isValidIANAEncoding(String):boolean
/**
* Returns true if the encoding name is a valid Java encoding.
* This method does not verify that there is a decoder available
* for this encoding, only that the characters are valid for an
* Java encoding name.
*
* @param javaEncoding The Java encoding name.
*/
public static boolean isValidJavaEncoding ( final String javaEncoding )
{
if ( javaEncoding != null )
{
final int length = javaEncoding.length ();
if ( length > 0 )
{
for ( int i = 1; i < length; i++ )
{
final char c = javaEncoding.charAt ( i );
if ( ( c < 'A' || c > 'Z' ) && ( c < 'a' || c > 'z' ) &&
( c < '0' || c > '9' ) && c != '.' && c != '_' &&
c != '-' )
{
return false;
}
}
return true;
}
}
return false;
} // isValidIANAEncoding(String):boolean
}