/* [xmllit_lim.c] Scanner table for 'xmllit' */ #include "scn_io.h" #include "scn_imp.h" /* scanner group 'xmllit' */ static long xmllitStaEdg[14] = /* first edge per state */ { 0, 4, 417, 832, 1408, 1413, 1989, 1990, 1995, 2002, 2003, 2004, 2013, 2014 }; static short xmllitStaFin[13] = /* finite token per state */ { 0, 0, 0, 0, 0, 0, 4, 0, 0, 3, 1, 0, 2 }; static wc_char xmllitEdgeC[2014] = /* lowest character per edge */ { /*State*/ /* 0 */ 39, 38, 37, 0, /* 1 */ 55204, 44032, 40870, 19968, 12589, 12549, 12539, 12449, 12437, 12353, 12330, 12321, 12296, 12295, 8579, 8576, 8495, 8494, 8492, 8490, 8487, 8486, 8189, 8182, 8181, 8178, 8173, 8160, 8156, 8150, 8148, 8144, 8141, 8134, 8133, 8130, 8127, 8126, 8125, 8118, 8117, 8064, 8062, 8031, 8030, 8029, 8028, 8027, 8026, 8025, 8024, 8016, 8014, 8008, 8006, 7968, 7966, 7960, 7958, 7936, 7930, 7840, 7836, 7680, 4602, 4601, 4593, 4592, 4588, 4587, 4547, 4540, 4539, 4538, 4537, 4535, 4528, 4526, 4524, 4523, 4521, 4520, 4511, 4510, 4470, 4469, 4468, 4466, 4463, 4461, 4458, 4457, 4456, 4455, 4454, 4453, 4452, 4451, 4450, 4447, 4442, 4441, 4438, 4436, 4433, 4432, 4431, 4430, 4429, 4428, 4417, 4416, 4415, 4414, 4413, 4412, 4371, 4366, 4365, 4363, 4362, 4361, 4360, 4357, 4356, 4354, 4353, 4352, 4343, 4304, 4294, 4256, 3946, 3913, 3912, 3904, 3781, 3776, 3774, 3773, 3764, 3762, 3761, 3760, 3759, 3757, 3756, 3754, 3752, 3751, 3750, 3749, 3748, 3745, 3744, 3737, 3736, 3732, 3726, 3725, 3723, 3722, 3721, 3719, 3717, 3716, 3715, 3713, 3654, 3648, 3636, 3634, 3633, 3632, 3631, 3585, 3426, 3424, 3386, 3370, 3369, 3346, 3345, 3342, 3341, 3333, 3298, 3296, 3295, 3294, 3258, 3253, 3252, 3242, 3241, 3218, 3217, 3214, 3213, 3205, 3170, 3168, 3130, 3125, 3124, 3114, 3113, 3090, 3089, 3086, 3085, 3077, 3002, 2999, 2998, 2990, 2987, 2984, 2981, 2979, 2976, 2974, 2973, 2972, 2971, 2969, 2966, 2962, 2961, 2958, 2955, 2949, 2914, 2911, 2910, 2908, 2878, 2877, 2874, 2870, 2868, 2866, 2865, 2858, 2857, 2835, 2833, 2831, 2829, 2821, 2785, 2784, 2750, 2749, 2746, 2741, 2740, 2738, 2737, 2730, 2729, 2707, 2706, 2703, 2702, 2701, 2700, 2693, 2677, 2674, 2655, 2654, 2653, 2649, 2618, 2616, 2615, 2613, 2612, 2610, 2609, 2602, 2601, 2579, 2577, 2575, 2571, 2565, 2546, 2544, 2530, 2527, 2526, 2524, 2490, 2486, 2483, 2482, 2481, 2474, 2473, 2451, 2449, 2447, 2445, 2437, 2402, 2392, 2366, 2365, 2362, 2309, 1767, 1765, 1750, 1749, 1748, 1744, 1743, 1728, 1727, 1722, 1720, 1649, 1611, 1601, 1595, 1569, 1523, 1520, 1515, 1488, 1415, 1377, 1370, 1369, 1367, 1329, 1274, 1272, 1270, 1262, 1260, 1232, 1229, 1227, 1225, 1223, 1221, 1168, 1154, 1118, 1117, 1105, 1104, 1038, 1037, 1025, 1012, 994, 993, 992, 991, 990, 989, 988, 987, 986, 983, 976, 975, 931, 930, 910, 909, 908, 907, 904, 903, 902, 706, 699, 681, 592, 536, 506, 502, 500, 497, 461, 452, 384, 383, 330, 329, 321, 319, 308, 306, 248, 247, 216, 215, 192, 123, 97, 96, 95, 91, 65, 59, 58, 0, /* 2 */ 55204, 44032, 40870, 19968, 12589, 12549, 12539, 12449, 12437, 12353, 12330, 12321, 12296, 12295, 8579, 8576, 8495, 8494, 8492, 8490, 8487, 8486, 8189, 8182, 8181, 8178, 8173, 8160, 8156, 8150, 8148, 8144, 8141, 8134, 8133, 8130, 8127, 8126, 8125, 8118, 8117, 8064, 8062, 8031, 8030, 8029, 8028, 8027, 8026, 8025, 8024, 8016, 8014, 8008, 8006, 7968, 7966, 7960, 7958, 7936, 7930, 7840, 7836, 7680, 4602, 4601, 4593, 4592, 4588, 4587, 4547, 4540, 4539, 4538, 4537, 4535, 4528, 4526, 4524, 4523, 4521, 4520, 4511, 4510, 4470, 4469, 4468, 4466, 4463, 4461, 4458, 4457, 4456, 4455, 4454, 4453, 4452, 4451, 4450, 4447, 4442, 4441, 4438, 4436, 4433, 4432, 4431, 4430, 4429, 4428, 4417, 4416, 4415, 4414, 4413, 4412, 4371, 4366, 4365, 4363, 4362, 4361, 4360, 4357, 4356, 4354, 4353, 4352, 4343, 4304, 4294, 4256, 3946, 3913, 3912, 3904, 3781, 3776, 3774, 3773, 3764, 3762, 3761, 3760, 3759, 3757, 3756, 3754, 3752, 3751, 3750, 3749, 3748, 3745, 3744, 3737, 3736, 3732, 3726, 3725, 3723, 3722, 3721, 3719, 3717, 3716, 3715, 3713, 3654, 3648, 3636, 3634, 3633, 3632, 3631, 3585, 3426, 3424, 3386, 3370, 3369, 3346, 3345, 3342, 3341, 3333, 3298, 3296, 3295, 3294, 3258, 3253, 3252, 3242, 3241, 3218, 3217, 3214, 3213, 3205, 3170, 3168, 3130, 3125, 3124, 3114, 3113, 3090, 3089, 3086, 3085, 3077, 3002, 2999, 2998, 2990, 2987, 2984, 2981, 2979, 2976, 2974, 2973, 2972, 2971, 2969, 2966, 2962, 2961, 2958, 2955, 2949, 2914, 2911, 2910, 2908, 2878, 2877, 2874, 2870, 2868, 2866, 2865, 2858, 2857, 2835, 2833, 2831, 2829, 2821, 2785, 2784, 2750, 2749, 2746, 2741, 2740, 2738, 2737, 2730, 2729, 2707, 2706, 2703, 2702, 2701, 2700, 2693, 2677, 2674, 2655, 2654, 2653, 2649, 2618, 2616, 2615, 2613, 2612, 2610, 2609, 2602, 2601, 2579, 2577, 2575, 2571, 2565, 2546, 2544, 2530, 2527, 2526, 2524, 2490, 2486, 2483, 2482, 2481, 2474, 2473, 2451, 2449, 2447, 2445, 2437, 2402, 2392, 2366, 2365, 2362, 2309, 1767, 1765, 1750, 1749, 1748, 1744, 1743, 1728, 1727, 1722, 1720, 1649, 1611, 1601, 1595, 1569, 1523, 1520, 1515, 1488, 1415, 1377, 1370, 1369, 1367, 1329, 1274, 1272, 1270, 1262, 1260, 1232, 1229, 1227, 1225, 1223, 1221, 1168, 1154, 1118, 1117, 1105, 1104, 1038, 1037, 1025, 1012, 994, 993, 992, 991, 990, 989, 988, 987, 986, 983, 976, 975, 931, 930, 910, 909, 908, 907, 904, 903, 902, 706, 699, 681, 592, 536, 506, 502, 500, 497, 461, 452, 384, 383, 330, 329, 321, 319, 308, 306, 248, 247, 216, 215, 192, 123, 97, 96, 95, 91, 65, 59, 58, 36, 35, 0, /* 3 */ 55204, 44032, 40870, 19968, 12589, 12549, 12543, 12540, 12539, 12449, 12447, 12445, 12443, 12441, 12437, 12353, 12342, 12337, 12336, 12321, 12296, 12295, 12294, 12293, 8579, 8576, 8495, 8494, 8492, 8490, 8487, 8486, 8418, 8417, 8413, 8400, 8189, 8182, 8181, 8178, 8173, 8160, 8156, 8150, 8148, 8144, 8141, 8134, 8133, 8130, 8127, 8126, 8125, 8118, 8117, 8064, 8062, 8031, 8030, 8029, 8028, 8027, 8026, 8025, 8024, 8016, 8014, 8008, 8006, 7968, 7966, 7960, 7958, 7936, 7930, 7840, 7836, 7680, 4602, 4601, 4593, 4592, 4588, 4587, 4547, 4540, 4539, 4538, 4537, 4535, 4528, 4526, 4524, 4523, 4521, 4520, 4511, 4510, 4470, 4469, 4468, 4466, 4463, 4461, 4458, 4457, 4456, 4455, 4454, 4453, 4452, 4451, 4450, 4447, 4442, 4441, 4438, 4436, 4433, 4432, 4431, 4430, 4429, 4428, 4417, 4416, 4415, 4414, 4413, 4412, 4371, 4366, 4365, 4363, 4362, 4361, 4360, 4357, 4356, 4354, 4353, 4352, 4343, 4304, 4294, 4256, 4026, 4025, 4024, 4017, 4014, 3993, 3992, 3991, 3990, 3984, 3980, 3974, 3973, 3953, 3946, 3913, 3912, 3902, 3898, 3897, 3896, 3895, 3894, 3893, 3882, 3872, 3866, 3864, 3802, 3792, 3790, 3784, 3783, 3782, 3781, 3776, 3774, 3771, 3770, 3760, 3759, 3757, 3756, 3754, 3752, 3751, 3750, 3749, 3748, 3745, 3744, 3737, 3736, 3732, 3726, 3725, 3723, 3722, 3721, 3719, 3717, 3716, 3715, 3713, 3674, 3664, 3663, 3648, 3643, 3632, 3631, 3585, 3440, 3430, 3426, 3424, 3416, 3415, 3406, 3402, 3401, 3398, 3396, 3390, 3386, 3370, 3369, 3346, 3345, 3342, 3341, 3333, 3332, 3330, 3312, 3302, 3298, 3296, 3295, 3294, 3287, 3285, 3278, 3274, 3273, 3270, 3269, 3262, 3258, 3253, 3252, 3242, 3241, 3218, 3217, 3214, 3213, 3205, 3204, 3202, 3184, 3174, 3170, 3168, 3159, 3157, 3150, 3146, 3145, 3142, 3141, 3134, 3130, 3125, 3124, 3114, 3113, 3090, 3089, 3086, 3085, 3077, 3076, 3073, 3056, 3047, 3032, 3031, 3022, 3018, 3017, 3014, 3011, 3006, 3002, 2999, 2998, 2990, 2987, 2984, 2981, 2979, 2976, 2974, 2973, 2972, 2971, 2969, 2966, 2962, 2961, 2958, 2955, 2949, 2948, 2946, 2928, 2918, 2914, 2911, 2910, 2908, 2904, 2902, 2894, 2891, 2889, 2887, 2884, 2876, 2874, 2870, 2868, 2866, 2865, 2858, 2857, 2835, 2833, 2831, 2829, 2821, 2820, 2817, 2800, 2790, 2785, 2784, 2766, 2763, 2762, 2759, 2758, 2748, 2746, 2741, 2740, 2738, 2737, 2730, 2729, 2707, 2706, 2703, 2702, 2701, 2700, 2693, 2692, 2689, 2677, 2662, 2655, 2654, 2653, 2649, 2638, 2635, 2633, 2631, 2627, 2622, 2621, 2620, 2618, 2616, 2615, 2613, 2612, 2610, 2609, 2602, 2601, 2579, 2577, 2575, 2571, 2565, 2563, 2562, 2546, 2534, 2532, 2527, 2526, 2524, 2520, 2519, 2510, 2507, 2505, 2503, 2501, 2494, 2493, 2492, 2490, 2486, 2483, 2482, 2481, 2474, 2473, 2451, 2449, 2447, 2445, 2437, 2436, 2433, 2416, 2406, 2404, 2392, 2389, 2385, 2382, 2364, 2362, 2309, 2308, 2305, 1786, 1776, 1774, 1770, 1769, 1749, 1748, 1744, 1743, 1728, 1727, 1722, 1720, 1648, 1642, 1632, 1619, 1600, 1595, 1569, 1523, 1520, 1515, 1488, 1477, 1476, 1475, 1473, 1472, 1471, 1470, 1467, 1466, 1443, 1442, 1425, 1415, 1377, 1370, 1369, 1367, 1329, 1274, 1272, 1270, 1262, 1260, 1232, 1229, 1227, 1225, 1223, 1221, 1168, 1159, 1155, 1154, 1118, 1117, 1105, 1104, 1038, 1037, 1025, 1012, 994, 993, 992, 991, 990, 989, 988, 987, 986, 983, 976, 975, 931, 930, 910, 909, 908, 907, 902, 866, 864, 838, 768, 722, 720, 706, 699, 681, 592, 536, 506, 502, 500, 497, 461, 452, 384, 383, 330, 329, 321, 319, 308, 306, 248, 247, 216, 215, 192, 184, 183, 123, 97, 96, 95, 91, 65, 60, 59, 48, 47, 45, 0, /* 4 */ 121, 120, 58, 48, 0, /* 5 */ 55204, 44032, 40870, 19968, 12589, 12549, 12543, 12540, 12539, 12449, 12447, 12445, 12443, 12441, 12437, 12353, 12342, 12337, 12336, 12321, 12296, 12295, 12294, 12293, 8579, 8576, 8495, 8494, 8492, 8490, 8487, 8486, 8418, 8417, 8413, 8400, 8189, 8182, 8181, 8178, 8173, 8160, 8156, 8150, 8148, 8144, 8141, 8134, 8133, 8130, 8127, 8126, 8125, 8118, 8117, 8064, 8062, 8031, 8030, 8029, 8028, 8027, 8026, 8025, 8024, 8016, 8014, 8008, 8006, 7968, 7966, 7960, 7958, 7936, 7930, 7840, 7836, 7680, 4602, 4601, 4593, 4592, 4588, 4587, 4547, 4540, 4539, 4538, 4537, 4535, 4528, 4526, 4524, 4523, 4521, 4520, 4511, 4510, 4470, 4469, 4468, 4466, 4463, 4461, 4458, 4457, 4456, 4455, 4454, 4453, 4452, 4451, 4450, 4447, 4442, 4441, 4438, 4436, 4433, 4432, 4431, 4430, 4429, 4428, 4417, 4416, 4415, 4414, 4413, 4412, 4371, 4366, 4365, 4363, 4362, 4361, 4360, 4357, 4356, 4354, 4353, 4352, 4343, 4304, 4294, 4256, 4026, 4025, 4024, 4017, 4014, 3993, 3992, 3991, 3990, 3984, 3980, 3974, 3973, 3953, 3946, 3913, 3912, 3902, 3898, 3897, 3896, 3895, 3894, 3893, 3882, 3872, 3866, 3864, 3802, 3792, 3790, 3784, 3783, 3782, 3781, 3776, 3774, 3771, 3770, 3760, 3759, 3757, 3756, 3754, 3752, 3751, 3750, 3749, 3748, 3745, 3744, 3737, 3736, 3732, 3726, 3725, 3723, 3722, 3721, 3719, 3717, 3716, 3715, 3713, 3674, 3664, 3663, 3648, 3643, 3632, 3631, 3585, 3440, 3430, 3426, 3424, 3416, 3415, 3406, 3402, 3401, 3398, 3396, 3390, 3386, 3370, 3369, 3346, 3345, 3342, 3341, 3333, 3332, 3330, 3312, 3302, 3298, 3296, 3295, 3294, 3287, 3285, 3278, 3274, 3273, 3270, 3269, 3262, 3258, 3253, 3252, 3242, 3241, 3218, 3217, 3214, 3213, 3205, 3204, 3202, 3184, 3174, 3170, 3168, 3159, 3157, 3150, 3146, 3145, 3142, 3141, 3134, 3130, 3125, 3124, 3114, 3113, 3090, 3089, 3086, 3085, 3077, 3076, 3073, 3056, 3047, 3032, 3031, 3022, 3018, 3017, 3014, 3011, 3006, 3002, 2999, 2998, 2990, 2987, 2984, 2981, 2979, 2976, 2974, 2973, 2972, 2971, 2969, 2966, 2962, 2961, 2958, 2955, 2949, 2948, 2946, 2928, 2918, 2914, 2911, 2910, 2908, 2904, 2902, 2894, 2891, 2889, 2887, 2884, 2876, 2874, 2870, 2868, 2866, 2865, 2858, 2857, 2835, 2833, 2831, 2829, 2821, 2820, 2817, 2800, 2790, 2785, 2784, 2766, 2763, 2762, 2759, 2758, 2748, 2746, 2741, 2740, 2738, 2737, 2730, 2729, 2707, 2706, 2703, 2702, 2701, 2700, 2693, 2692, 2689, 2677, 2662, 2655, 2654, 2653, 2649, 2638, 2635, 2633, 2631, 2627, 2622, 2621, 2620, 2618, 2616, 2615, 2613, 2612, 2610, 2609, 2602, 2601, 2579, 2577, 2575, 2571, 2565, 2563, 2562, 2546, 2534, 2532, 2527, 2526, 2524, 2520, 2519, 2510, 2507, 2505, 2503, 2501, 2494, 2493, 2492, 2490, 2486, 2483, 2482, 2481, 2474, 2473, 2451, 2449, 2447, 2445, 2437, 2436, 2433, 2416, 2406, 2404, 2392, 2389, 2385, 2382, 2364, 2362, 2309, 2308, 2305, 1786, 1776, 1774, 1770, 1769, 1749, 1748, 1744, 1743, 1728, 1727, 1722, 1720, 1648, 1642, 1632, 1619, 1600, 1595, 1569, 1523, 1520, 1515, 1488, 1477, 1476, 1475, 1473, 1472, 1471, 1470, 1467, 1466, 1443, 1442, 1425, 1415, 1377, 1370, 1369, 1367, 1329, 1274, 1272, 1270, 1262, 1260, 1232, 1229, 1227, 1225, 1223, 1221, 1168, 1159, 1155, 1154, 1118, 1117, 1105, 1104, 1038, 1037, 1025, 1012, 994, 993, 992, 991, 990, 989, 988, 987, 986, 983, 976, 975, 931, 930, 910, 909, 908, 907, 902, 866, 864, 838, 768, 722, 720, 706, 699, 681, 592, 536, 506, 502, 500, 497, 461, 452, 384, 383, 330, 329, 321, 319, 308, 306, 248, 247, 216, 215, 192, 184, 183, 123, 97, 96, 95, 91, 65, 60, 59, 48, 47, 45, 0, /* 6 */ 0, /* 7 */ 60, 59, 58, 48, 0, /* 8 */ 123, 97, 91, 65, 58, 48, 0, /* 9 */ 0, /* 10 */ 0, /* 11 */ 123, 97, 91, 65, 60, 59, 58, 48, 0, /* 12 */ 0 }; static long xmllitEdgeS[2014] = /* follow (state+1) per edge */ { /*State*/ /* 0 */ 0, 3, 2, 0, /* 1 */ 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, /* 2 */ 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 5, 0, /* 3 */ 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 4, 0, 7, 4, 0, 4, 0, /* 4 */ 0, 9, 0, 8, 0, /* 5 */ 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 10, 6, 0, 6, 0, /* 6 */ 0, /* 7 */ 0, 11, 0, 8, 0, /* 8 */ 0, 12, 0, 12, 0, 12, 0, /* 9 */ 0, /* 10 */ 0, /* 11 */ 0, 12, 0, 12, 0, 13, 0, 12, 0, /* 12 */ 0 }; static string xmllitTokens[5] = /* token -> string */ { "[other]", "DCharRef", "HCharRef", "ERef", "PERef" }; static byte xmllitFlags[5] = /* token -> newid */ { 0x00, 0x00, 0x00, 0x00, 0x00 }; static ConcreteImp(scn_t) xmllitScanner = /* the scanner structure */ { "xmllit", /* Name */ 13, /* States */ 5, /* Tokens */ xmllitStaEdg, xmllitStaFin, xmllitEdgeC, xmllitEdgeS, xmllitTokens, xmllitFlags, 0, /* Groups */ (scn_t*)NULL, (short*)NULL, 0, /* Dyck */ (short*)NULL, (scn_t*)NULL }; void Scn_get_xmllit(Scn_T *scn) /* simulates a Scn_get */ { *scn = Scn_copy(Scn_ADT(&xmllitScanner)); }