Mercurial > hg > mpdl-group

comparison software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexLA.java @ 23:e845310098ba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
diverse Korrekturen
author Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
date Tue, 27 Nov 2012 12:35:19 +0100
parents 4a3641ae14d2
children
comparison
equal deleted inserted replaced
22:6a45a982c333 23:e845310098ba
1 /* The following code was generated by JFlex 1.4.3 on 05.09.11 10:35 */ 1 /* The following code was generated by JFlex 1.4.3 on 28.03.12 18:57 */
2 2
3 /* 3 /*
4 * Normalization rules for Latin text 4 * Normalization rules for Latin text
5 * [this is a JFlex specification] 5 * [this is a JFlex specification]
6 * 6 *
13 13
14 14
15 /** 15 /**
16 * This class is a scanner generated by 16 * This class is a scanner generated by
17 * <a href="http://www.jflex.de/">JFlex</a> 1.4.3 17 * <a href="http://www.jflex.de/">JFlex</a> 1.4.3
18 * on 05.09.11 10:35 from the specification file 18 * on 28.03.12 18:57 from the specification file
19 * <tt>MpdlNormalizerLexLA.lex</tt> 19 * <tt>/Users/jwillenborg/test/jflexNew/MpdlNormalizerLexLA.lex</tt>
20 */ 20 */
21 public class MpdlNormalizerLexLA { 21 public class MpdlNormalizerLexLA {
22 22
23 /** This character denotes the end of file */ 23 /** This character denotes the end of file */
24 public static final int YYEOF = -1; 24 public static final int YYEOF = -1;
25 25
26 /** initial size of the lookahead buffer */ 26 /** initial size of the lookahead buffer */
27 private static final int ZZ_BUFFERSIZE = 16384; 27 private static final int ZZ_BUFFERSIZE = 16384;
28 28
29 /** lexical states */ 29 /** lexical states */
30 public static final int RENAISSANCE_DICT = 8; 30 public static final int RENAISSANCE_DICT = 10;
31 public static final int SEARCH = 10; 31 public static final int RENAISSANCE_DISP = 8;
32 public static final int RENAISSANCE_DISP = 4; 32 public static final int SEARCH = 6;
33 public static final int DICT = 6; 33 public static final int DICT = 4;
34 public static final int YYINITIAL = 0; 34 public static final int YYINITIAL = 0;
35 public static final int RENAISSANCE_SEARCH = 12; 35 public static final int RENAISSANCE_SEARCH = 12;
36 public static final int DISP = 2; 36 public static final int DISP = 2;
37 37
38 /** 38 /**
40 * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l 40 * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l
41 * at the beginning of a line 41 * at the beginning of a line
42 * l is of the form l = 2*k, k a non negative integer 42 * l is of the form l = 2*k, k a non negative integer
43 */ 43 */
44 private static final int ZZ_LEXSTATE[] = { 44 private static final int ZZ_LEXSTATE[] = {
45 0, 0, 1, 2, 1, 2, 3, 4, 3, 4, 5, 6, 5, 6 45 0, 0, 1, 2, 3, 4, 5, 6, 1, 2, 3, 4, 5, 6
46 }; 46 };
47 47
48 /** 48 /**
49 * Translates characters to character classes 49 * Translates characters to character classes
50 */ 50 */
51 private static final String ZZ_CMAP_PACKED = 51 private static final String ZZ_CMAP_PACKED =
52 "\12\0\1\6\25\0\1\5\14\0\1\4\22\0\1\0\1\1\3\2"+ 52 "\12\0\1\6\25\0\1\5\14\0\1\24\1\0\1\23\14\0\1\21"+
53 "\1\1\2\2\1\53\1\1\1\0\1\2\1\3\2\2\1\1\1\2"+ 53 "\1\0\1\22\1\0\1\0\1\1\3\2\1\1\2\2\1\57\1\1"+
54 "\1\46\1\3\2\2\1\64\1\65\2\2\1\66\1\2\6\0\1\57"+ 54 "\1\0\1\2\1\3\2\2\1\1\1\2\1\52\1\3\2\2\1\70"+
55 "\1\2\1\47\1\43\1\11\2\2\1\51\1\14\1\27\1\2\1\50"+ 55 "\1\71\2\2\1\72\1\2\6\0\1\63\1\2\1\53\1\47\1\11"+
56 "\1\40\1\13\1\61\1\17\1\7\1\16\1\32\1\15\1\10\1\12"+ 56 "\2\2\1\55\1\14\1\33\1\2\1\54\1\44\1\13\1\65\1\17"+
57 "\2\2\1\66\1\2\62\0\1\4\30\0\1\25\30\0\1\23\1\37"+ 57 "\1\7\1\16\1\36\1\15\1\10\1\12\2\2\1\72\1\2\62\0"+
58 "\1\31\1\55\3\0\1\24\1\0\1\41\1\33\1\0\1\60\1\45"+ 58 "\1\4\30\0\1\31\30\0\1\27\1\43\1\35\1\61\3\0\1\30"+
59 "\1\34\1\52\1\62\2\0\1\42\1\35\1\54\4\0\1\44\1\36"+ 59 "\1\0\1\45\1\37\1\0\1\64\1\51\1\40\1\56\1\66\2\0"+
60 "\1\56\1\63\34\0\1\24\71\0\1\26\53\0\1\20\u0181\0\1\30"+ 60 "\1\46\1\41\1\60\4\0\1\50\1\42\1\62\1\67\34\0\1\30"+
61 "\ud4fe\0\1\21\u0590\0\1\22\u226e\0"; 61 "\71\0\1\32\53\0\1\20\u0181\0\1\34\ud4fe\0\1\25\u0590\0\1\26"+
62 "\u226e\0";
62 63
63 /** 64 /**
64 * Translates characters to character classes 65 * Translates characters to character classes
65 */ 66 */
66 private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED); 67 private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);
69 * Translates DFA states to action switch labels. 70 * Translates DFA states to action switch labels.
70 */ 71 */
71 private static final int [] ZZ_ACTION = zzUnpackAction(); 72 private static final int [] ZZ_ACTION = zzUnpackAction();
72 73
73 private static final String ZZ_ACTION_PACKED_0 = 74 private static final String ZZ_ACTION_PACKED_0 =
74 "\12\0\1\1\1\2\2\3\1\1\1\4\1\3\1\2"+ 75 "\14\0\1\1\1\2\2\3\1\1\1\4\1\3\1\2"+
75 "\1\3\1\2\1\5\1\1\1\6\1\7\1\10\1\11"+ 76 "\1\3\1\2\1\5\3\1\1\6\1\7\1\10\1\11"+
76 "\11\1\1\3\2\1\3\2\1\3\1\12\1\3\2\2"+ 77 "\11\1\1\3\2\1\3\2\1\3\1\12\1\3\2\2"+
77 "\1\3\1\5\3\3\1\1\1\2\1\13\1\14\4\0"+ 78 "\1\3\1\5\3\3\1\1\1\2\1\13\1\14\5\0"+
78 "\1\15\1\16\1\17\1\20\1\0\1\21\1\22\1\23"+ 79 "\1\15\1\16\1\17\1\20\1\0\1\21\1\22\1\23"+
79 "\1\24\1\0\1\25\20\0\1\26\3\0\1\27\3\0"+ 80 "\1\24\1\0\1\25\20\0\1\26\3\0\1\27\3\0"+
80 "\1\30\1\0\1\31\3\0\1\32\1\33\1\34\1\0"+ 81 "\1\30\1\0\1\31\3\0\1\32\1\33\1\34\1\0"+
81 "\1\35\1\36\2\0\1\37\20\0\1\40\1\0\1\41"+ 82 "\1\35\1\36\2\0\1\37\22\0\1\40\1\0\1\41"+
82 "\1\0\1\42\1\0\1\43\1\44\1\45\1\46\1\0"+ 83 "\1\0\1\42\1\0\1\43\1\44\1\45\1\46\1\0"+
83 "\1\47\1\0\1\50\1\0\1\51\1\0\1\52\4\0"+ 84 "\1\47\1\0\1\50\1\0\1\51\1\0\1\52\4\0"+
84 "\1\53\10\0\1\54\6\0\1\55\3\0\1\56\1\57"+ 85 "\1\53\10\0\1\12\1\0\1\54\6\0\1\55\3\0"+
85 "\1\60\2\0\1\61\5\0\1\53"; 86 "\1\56\1\57\1\60\3\0\1\61\5\0\1\53\1\0";
86 87
87 private static int [] zzUnpackAction() { 88 private static int [] zzUnpackAction() {
88 int [] result = new int[179]; 89 int [] result = new int[190];
89 int offset = 0; 90 int offset = 0;
90 offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result); 91 offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
91 return result; 92 return result;
92 } 93 }
93 94
108 * Translates a state to a row index in the transition table 109 * Translates a state to a row index in the transition table
109 */ 110 */
110 private static final int [] ZZ_ROWMAP = zzUnpackRowMap(); 111 private static final int [] ZZ_ROWMAP = zzUnpackRowMap();
111 112
112 private static final String ZZ_ROWMAP_PACKED_0 = 113 private static final String ZZ_ROWMAP_PACKED_0 =
113 "\0\0\0\67\0\156\0\245\0\334\0\u0113\0\u014a\0\u0181"+ 114 "\0\0\0\73\0\166\0\261\0\354\0\u0127\0\u0162\0\u019d"+
114 "\0\u01b8\0\u01ef\0\u0226\0\u0226\0\u0226\0\u025d\0\u0294\0\u0226"+ 115 "\0\u01d8\0\u0213\0\u024e\0\u0289\0\u02c4\0\u02c4\0\u02c4\0\u02ff"+
115 "\0\u02cb\0\u0302\0\u0339\0\u0370\0\u0226\0\u01ef\0\u0226\0\u0226"+ 116 "\0\u033a\0\u02c4\0\u0375\0\u03b0\0\u03eb\0\u0426\0\u02c4\0\u0213"+
116 "\0\u0226\0\u0226\0\u03a7\0\u03de\0\u0415\0\u044c\0\u0483\0\u04ba"+ 117 "\0\u0461\0\u0289\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u049c\0\u04d7"+
117 "\0\u04f1\0\u0528\0\u055f\0\u0596\0\u05cd\0\u0604\0\u063b\0\u0672"+ 118 "\0\u0512\0\u054d\0\u0588\0\u05c3\0\u05fe\0\u0639\0\u0674\0\u06af"+
118 "\0\u06a9\0\u06e0\0\u0226\0\u0717\0\u074e\0\u0785\0\u07bc\0\u07f3"+ 119 "\0\u06ea\0\u0725\0\u0760\0\u079b\0\u07d6\0\u0811\0\u02c4\0\u084c"+
119 "\0\u082a\0\u0861\0\u0898\0\u08cf\0\u0906\0\u0226\0\u0226\0\u093d"+ 120 "\0\u0887\0\u08c2\0\u08fd\0\u0938\0\u0973\0\u09ae\0\u09e9\0\u0a24"+
120 "\0\u0974\0\u09ab\0\u09e2\0\u0226\0\u0226\0\u0226\0\u0226\0\u0a19"+ 121 "\0\u0a5f\0\u02c4\0\u02c4\0\u0a9a\0\u0ad5\0\u0b10\0\u0b4b\0\u0b86"+
121 "\0\u0226\0\u0226\0\u0226\0\u0226\0\u0a50\0\u0226\0\u0a87\0\u0abe"+ 122 "\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u0bc1\0\u02c4\0\u02c4\0\u02c4"+
122 "\0\u0af5\0\u0b2c\0\u0b63\0\u0b9a\0\u0bd1\0\u0c08\0\u0c3f\0\u0c76"+ 123 "\0\u02c4\0\u0bfc\0\u02c4\0\u0c37\0\u0c72\0\u0cad\0\u0ce8\0\u0d23"+
123 "\0\u0cad\0\u0ce4\0\u0d1b\0\u0d52\0\u0d89\0\u0dc0\0\u0226\0\u0df7"+ 124 "\0\u0d5e\0\u0d99\0\u0dd4\0\u0e0f\0\u0e4a\0\u0e85\0\u0ec0\0\u0efb"+
124 "\0\u0e2e\0\u0e65\0\u0226\0\u0e9c\0\u0ed3\0\u0f0a\0\u0226\0\u0f41"+ 125 "\0\u0f36\0\u0f71\0\u0fac\0\u02c4\0\u0fe7\0\u1022\0\u105d\0\u02c4"+
125 "\0\u0226\0\u0f78\0\u0faf\0\u0fe6\0\u0226\0\u0226\0\u0226\0\u101d"+ 126 "\0\u1098\0\u10d3\0\u110e\0\u02c4\0\u1149\0\u02c4\0\u1184\0\u11bf"+
126 "\0\u0226\0\u0226\0\u1054\0\u108b\0\u0226\0\u10c2\0\u10f9\0\u1130"+ 127 "\0\u11fa\0\u02c4\0\u02c4\0\u02c4\0\u1235\0\u02c4\0\u02c4\0\u1270"+
127 "\0\u1167\0\u119e\0\u11d5\0\u120c\0\u1243\0\u127a\0\u0226\0\u12b1"+ 128 "\0\u12ab\0\u02c4\0\u12e6\0\u1321\0\u135c\0\u1397\0\u13d2\0\u140d"+
128 "\0\u12e8\0\u131f\0\u1356\0\u138d\0\u08cf\0\u0226\0\u13c4\0\u0226"+ 129 "\0\u1448\0\u1483\0\u14be\0\u02c4\0\u14f9\0\u1534\0\u156f\0\u15aa"+
129 "\0\u13fb\0\u0226\0\u1432\0\u0226\0\u0226\0\u0226\0\u0226\0\u1469"+ 130 "\0\u15e5\0\u1620\0\u165b\0\u0a24\0\u02c4\0\u1696\0\u02c4\0\u16d1"+
130 "\0\u0226\0\u14a0\0\u0226\0\u14d7\0\u0226\0\u150e\0\u0226\0\u1545"+ 131 "\0\u02c4\0\u170c\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u1747\0\u02c4"+
131 "\0\u157c\0\u15b3\0\u07bc\0\u15ea\0\u1621\0\u1658\0\u168f\0\u16c6"+ 132 "\0\u1782\0\u02c4\0\u17bd\0\u02c4\0\u17f8\0\u02c4\0\u1833\0\u186e"+
132 "\0\u16fd\0\u0226\0\u1734\0\u176b\0\u0226\0\u17a2\0\u17d9\0\u1810"+ 133 "\0\u18a9\0\u08fd\0\u18e4\0\u191f\0\u195a\0\u1995\0\u19d0\0\u1a0b"+
133 "\0\u1847\0\u187e\0\u18b5\0\u0226\0\u18ec\0\u1923\0\u195a\0\u0226"+ 134 "\0\u02c4\0\u1a46\0\u1a81\0\u14f9\0\u1abc\0\u02c4\0\u1af7\0\u1b32"+
134 "\0\u0226\0\u0226\0\u1991\0\u19c8\0\u0226\0\u19ff\0\u1a36\0\u1a6d"+ 135 "\0\u1b6d\0\u1ba8\0\u1be3\0\u1c1e\0\u02c4\0\u1c59\0\u1c94\0\u1ccf"+
135 "\0\u1aa4\0\u1adb\0\u0226"; 136 "\0\u02c4\0\u02c4\0\u02c4\0\u1d0a\0\u1d45\0\u1d80\0\u02c4\0\u1dbb"+
137 "\0\u1df6\0\u1e31\0\u1e6c\0\u1ea7\0\u02c4\0\u1ee2";
136 138
137 private static int [] zzUnpackRowMap() { 139 private static int [] zzUnpackRowMap() {
138 int [] result = new int[179]; 140 int [] result = new int[190];
139 int offset = 0; 141 int offset = 0;
140 offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result); 142 offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
141 return result; 143 return result;
142 } 144 }
143 145
156 * The transition table of the DFA 158 * The transition table of the DFA
157 */ 159 */
158 private static final int [] ZZ_TRANS = zzUnpackTrans(); 160 private static final int [] ZZ_TRANS = zzUnpackTrans();
159 161
160 private static final String ZZ_TRANS_PACKED_0 = 162 private static final String ZZ_TRANS_PACKED_0 =
161 "\21\0\1\12\45\0\1\13\1\14\1\15\1\16\1\17"+ 163 "\21\0\1\12\2\0\1\13\1\14\45\0\1\15\1\16"+
162 "\1\13\1\20\1\21\1\22\1\14\1\23\1\15\1\24"+ 164 "\1\17\1\20\1\21\1\15\1\22\1\23\1\24\1\16"+
163 "\1\15\1\16\1\15\1\25\1\26\1\13\1\27\1\30"+ 165 "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+
164 "\1\31\1\32\2\13\1\33\1\15\1\34\1\35\1\36"+ 166 "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
165 "\1\37\1\40\1\15\1\41\1\42\1\15\1\43\1\13"+ 167 "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
166 "\1\44\1\15\1\16\1\15\1\13\1\15\1\13\1\45"+ 168 "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+
167 "\1\46\1\47\1\13\1\50\2\13\1\51\1\52\1\53"+ 169 "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+
168 "\1\13\1\14\1\15\1\16\1\17\1\13\1\20\1\54"+ 170 "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+
169 "\1\55\1\14\1\23\1\15\1\56\1\15\1\16\1\57"+ 171 "\1\17\1\20\1\21\1\15\1\22\1\60\1\61\1\16"+
170 "\1\60\1\26\1\13\1\27\1\30\1\31\1\32\2\13"+ 172 "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+
171 "\1\33\1\15\1\34\1\35\1\36\1\37\1\40\1\15"+ 173 "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
172 "\1\41\1\42\1\15\1\43\1\13\1\61\1\15\1\16"+ 174 "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
173 "\1\62\1\13\1\63\1\64\1\45\1\46\1\47\1\13"+ 175 "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+
174 "\1\50\2\13\1\65\1\52\1\53\1\13\1\14\1\15"+ 176 "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+
175 "\1\16\1\17\1\13\1\66\1\21\1\22\1\14\1\23"+ 177 "\1\15\1\54\2\15\1\71\1\56\1\57\1\15\1\16"+
176 "\1\15\1\24\1\15\1\16\1\15\1\25\1\26\1\13"+ 178 "\1\17\1\20\1\21\1\15\1\72\1\23\1\24\1\16"+
177 "\1\27\1\30\1\31\1\32\2\13\1\33\1\15\1\34"+ 179 "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+
178 "\1\35\1\36\1\37\1\40\1\15\1\41\1\42\1\15"+ 180 "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
179 "\1\43\1\13\1\44\1\15\1\16\1\15\1\13\1\15"+ 181 "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
180 "\1\13\1\45\1\46\1\47\1\13\1\50\2\13\1\51"+ 182 "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+
181 "\1\52\1\53\1\13\1\14\1\15\1\16\1\17\1\13"+ 183 "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+
182 "\1\66\1\54\1\55\1\14\1\23\1\15\1\56\1\15"+ 184 "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+
183 "\1\16\1\57\1\60\1\26\1\13\1\27\1\30\1\31"+ 185 "\1\17\1\20\1\21\1\15\1\72\1\60\1\61\1\16"+
184 "\1\32\2\13\1\33\1\15\1\34\1\35\1\36\1\37"+ 186 "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+
185 "\1\40\1\15\1\41\1\42\1\15\1\43\1\13\1\61"+ 187 "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
186 "\1\15\1\16\1\62\1\13\1\63\1\64\1\45\1\46"+ 188 "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
187 "\1\47\1\13\1\50\2\13\1\65\1\52\1\53\1\13"+ 189 "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+
188 "\1\14\1\15\1\16\1\17\1\13\1\67\1\21\1\22"+ 190 "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+
189 "\1\14\1\23\1\15\1\24\1\15\1\16\1\15\1\25"+ 191 "\1\15\1\54\2\15\1\71\1\56\1\57\1\15\1\16"+
190 "\1\26\1\13\1\27\1\30\1\31\1\32\2\13\1\33"+ 192 "\1\17\1\20\1\21\1\15\1\73\1\23\1\24\1\16"+
191 "\1\15\1\34\1\35\1\36\1\37\1\40\1\15\1\41"+ 193 "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+
192 "\1\42\1\15\1\43\1\13\1\44\1\15\1\16\1\15"+ 194 "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
193 "\1\13\1\15\1\13\1\45\1\46\1\47\1\13\1\50"+ 195 "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
194 "\2\13\1\51\1\52\1\53\1\13\1\14\1\15\1\16"+ 196 "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+
195 "\1\17\1\13\1\67\1\54\1\55\1\14\1\23\1\15"+ 197 "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+
196 "\1\56\1\15\1\16\1\57\1\60\1\26\1\13\1\27"+ 198 "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+
197 "\1\30\1\31\1\32\2\13\1\33\1\15\1\34\1\35"+ 199 "\1\17\1\20\1\21\1\15\1\73\1\60\1\61\1\16"+
198 "\1\36\1\37\1\40\1\15\1\41\1\42\1\15\1\43"+ 200 "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+
199 "\1\13\1\61\1\15\1\16\1\62\1\13\1\63\1\64"+ 201 "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+
200 "\1\45\1\46\1\47\1\13\1\50\2\13\1\65\1\52"+ 202 "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+
201 "\1\53\14\0\1\70\2\0\1\71\1\72\53\0\1\73"+ 203 "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+
202 "\103\0\1\74\145\0\1\75\52\0\1\75\6\0\1\76"+ 204 "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+
203 "\73\0\1\77\15\0\1\100\37\0\1\101\6\0\2\101"+ 205 "\1\15\1\54\2\15\1\71\1\56\1\57\14\0\1\74"+
204 "\2\0\1\101\7\0\3\101\30\0\1\101\1\0\1\101"+ 206 "\2\0\1\75\1\76\57\0\1\77\65\0\21\100\2\0"+
205 "\1\102\1\103\1\101\4\0\2\104\1\105\2\0\1\104"+ 207 "\50\100\21\0\1\12\77\0\1\101\151\0\1\102\56\0"+
206 "\2\0\2\104\1\0\4\104\2\0\1\104\6\0\1\104"+ 208 "\1\102\6\0\1\103\77\0\1\104\21\0\1\105\37\0"+
207 "\5\0\1\104\2\0\1\104\2\0\4\104\1\0\1\104"+ 209 "\1\106\6\0\2\106\2\0\1\106\13\0\3\106\30\0"+
208 "\11\0\1\104\30\0\1\106\46\0\1\107\2\0\2\110"+ 210 "\1\106\1\0\1\106\1\107\1\110\1\106\4\0\2\111"+
209 "\1\0\2\111\13\0\1\111\5\0\1\111\35\0\1\112"+ 211 "\1\112\2\0\1\111\2\0\2\111\1\0\4\111\3\0"+
210 "\2\0\2\113\1\0\2\114\13\0\1\114\5\0\1\114"+ 212 "\1\112\2\0\1\111\6\0\1\111\5\0\1\111\2\0"+
211 "\35\0\1\115\2\0\2\116\1\0\2\117\13\0\1\117"+ 213 "\1\111\2\0\4\111\1\0\1\111\11\0\1\111\34\0"+
212 "\5\0\1\117\35\0\1\120\2\0\2\121\1\0\2\122"+ 214 "\1\113\44\0\1\103\13\0\1\12\60\0\1\114\2\0"+
213 "\13\0\1\122\5\0\1\122\35\0\1\123\1\0\1\124"+ 215 "\2\115\1\0\2\116\17\0\1\116\5\0\1\116\35\0"+
214 "\2\125\1\0\2\126\13\0\1\126\5\0\1\126\34\0"+ 216 "\1\117\2\0\2\120\1\0\2\121\17\0\1\121\5\0"+
215 "\1\127\1\107\22\0\1\130\5\0\1\131\6\0\1\132"+ 217 "\1\121\35\0\1\122\2\0\2\123\1\0\2\124\17\0"+
216 "\25\0\1\133\1\112\5\0\1\134\1\135\13\0\1\136"+ 218 "\1\124\5\0\1\124\35\0\1\125\2\0\2\126\1\0"+
217 "\42\0\1\137\1\120\33\0\1\140\31\0\1\141\23\0"+ 219 "\2\127\17\0\1\127\5\0\1\127\35\0\1\130\1\0"+
218 "\1\142\5\0\1\143\7\0\1\144\30\0\1\145\52\0"+ 220 "\1\131\2\132\1\0\2\133\17\0\1\133\5\0\1\133"+
219 "\1\146\7\0\1\127\1\107\6\0\1\147\102\0\1\150"+ 221 "\34\0\1\134\1\114\26\0\1\135\5\0\1\136\6\0"+
220 "\114\0\1\30\66\0\1\32\1\0\1\151\5\0\1\101"+ 222 "\1\137\25\0\1\140\1\117\5\0\1\141\1\142\17\0"+
221 "\6\0\2\101\2\0\1\101\7\0\3\101\30\0\1\101"+ 223 "\1\143\42\0\1\144\1\125\37\0\1\145\31\0\1\146"+
222 "\1\0\1\101\2\0\1\101\4\0\2\152\1\153\2\0"+ 224 "\27\0\1\147\5\0\1\150\7\0\1\151\30\0\1\152"+
223 "\1\152\2\0\2\152\1\0\4\152\2\0\1\152\6\0"+ 225 "\56\0\1\153\7\0\1\134\1\114\6\0\1\154\112\0"+
224 "\1\152\5\0\1\152\2\0\1\152\2\0\4\152\1\0"+ 226 "\1\155\120\0\1\34\72\0\1\36\1\0\1\156\5\0"+
225 "\1\152\11\0\1\152\11\0\1\154\1\0\1\77\15\0"+ 227 "\1\106\6\0\2\106\2\0\1\106\13\0\3\106\30\0"+
226 "\1\100\37\0\1\155\6\0\2\155\2\0\1\155\7\0"+ 228 "\1\106\1\0\1\106\2\0\1\106\4\0\2\157\1\160"+
227 "\3\155\30\0\1\155\1\0\1\155\1\102\1\103\1\155"+ 229 "\2\0\1\157\2\0\2\157\1\0\4\157\3\0\1\160"+
228 "\15\0\1\156\13\0\1\106\50\0\1\157\65\0\1\160"+ 230 "\2\0\1\157\6\0\1\157\5\0\1\157\2\0\1\157"+
229 "\1\157\65\0\1\161\1\0\1\145\52\0\1\146\53\0"+ 231 "\2\0\4\157\1\0\1\157\11\0\1\157\11\0\1\161"+
230 "\1\162\66\0\1\163\22\0\1\137\61\0\1\155\6\0"+ 232 "\1\0\1\104\21\0\1\105\37\0\1\162\6\0\2\162"+
231 "\2\155\2\0\1\155\7\0\3\155\30\0\1\155\1\0"+ 233 "\2\0\1\162\13\0\3\162\30\0\1\162\1\0\1\162"+
232 "\1\155\2\0\1\155\15\0\1\164\64\0\1\165\65\0"+ 234 "\1\107\1\110\1\162\15\0\1\163\17\0\1\113\50\0"+
233 "\1\166\1\165\61\0\1\167\72\0\1\170\63\0\1\171"+ 235 "\1\164\71\0\1\165\1\164\71\0\1\166\1\0\1\152"+
234 "\71\0\1\110\67\0\1\172\64\0\1\107\2\0\2\110"+ 236 "\56\0\1\153\57\0\1\167\72\0\1\170\22\0\1\144"+
235 "\63\0\1\113\67\0\1\173\64\0\1\112\2\0\2\113"+ 237 "\65\0\1\162\6\0\2\162\2\0\1\162\13\0\3\162"+
236 "\63\0\1\116\67\0\1\174\64\0\1\115\2\0\2\116"+ 238 "\30\0\1\162\1\0\1\162\2\0\1\162\15\0\1\171"+
237 "\63\0\1\121\67\0\1\175\64\0\1\120\2\0\2\121"+ 239 "\70\0\1\172\71\0\1\173\1\172\65\0\1\174\17\0"+
238 "\63\0\1\125\64\0\1\176\71\0\1\177\64\0\1\123"+ 240 "\1\174\46\0\21\100\1\0\1\175\1\176\47\100\10\0"+
239 "\2\0\2\125\61\0\1\200\1\201\65\0\1\202\1\203"+ 241 "\1\177\67\0\1\200\75\0\1\115\73\0\1\201\70\0"+
240 "\65\0\1\204\66\0\1\205\66\0\1\206\66\0\1\207"+ 242 "\1\114\2\0\2\115\67\0\1\120\73\0\1\202\70\0"+
241 "\1\210\65\0\1\211\1\212\65\0\1\213\1\214\65\0"+ 243 "\1\117\2\0\2\120\67\0\1\123\73\0\1\203\70\0"+
242 "\1\215\1\216\65\0\1\217\66\0\1\213\65\0\1\220"+ 244 "\1\122\2\0\2\123\67\0\1\126\73\0\1\204\70\0"+
243 "\126\0\1\221\25\0\1\222\10\0\1\223\67\0\1\224"+ 245 "\1\125\2\0\2\126\67\0\1\132\70\0\1\205\75\0"+
244 "\54\0\1\225\12\0\1\223\114\0\1\226\70\0\1\227"+ 246 "\1\206\70\0\1\130\2\0\2\132\65\0\1\207\1\210"+
245 "\66\0\1\230\23\0\1\231\10\0\1\71\67\0\1\232"+ 247 "\71\0\1\211\1\212\71\0\1\213\72\0\1\214\72\0"+
246 "\54\0\1\233\12\0\1\71\60\0\1\234\57\0\2\104"+ 248 "\1\215\72\0\1\216\1\217\71\0\1\220\1\221\71\0"+
247 "\3\0\1\104\2\0\2\104\1\0\4\104\2\0\1\104"+ 249 "\1\222\1\223\71\0\1\224\1\225\71\0\1\226\72\0"+
248 "\6\0\1\104\5\0\1\104\2\0\1\104\2\0\4\104"+ 250 "\1\222\71\0\1\227\136\0\1\230\25\0\1\231\10\0"+
249 "\1\0\1\104\11\0\1\104\7\0\1\127\66\0\1\133"+ 251 "\1\232\6\0\1\231\64\0\1\233\60\0\1\234\12\0"+
250 "\66\0\1\235\66\0\1\141\70\0\1\236\66\0\1\237"+ 252 "\1\232\4\0\1\234\117\0\1\235\74\0\1\236\72\0"+
251 "\66\0\1\240\66\0\1\241\66\0\1\242\66\0\1\243"+ 253 "\1\237\23\0\1\240\10\0\1\75\6\0\1\240\64\0"+
252 "\60\0\2\152\3\0\1\152\2\0\2\152\1\0\4\152"+ 254 "\1\241\60\0\1\242\12\0\1\75\4\0\1\242\67\0"+
253 "\2\0\1\152\6\0\1\152\5\0\1\152\2\0\1\152"+ 255 "\1\243\51\0\21\100\1\0\1\244\1\176\47\100\11\0"+
254 "\2\0\4\152\1\0\1\152\11\0\1\152\7\0\1\244"+ 256 "\1\245\63\0\2\111\3\0\1\111\2\0\2\111\1\0"+
255 "\65\0\1\245\65\0\1\246\67\0\1\247\67\0\1\250"+ 257 "\4\111\6\0\1\111\6\0\1\111\5\0\1\111\2\0"+
256 "\66\0\1\251\66\0\1\252\65\0\1\253\66\0\1\254"+ 258 "\1\111\2\0\4\111\1\0\1\111\11\0\1\111\7\0"+
257 "\67\0\1\255\71\0\1\256\66\0\1\257\66\0\1\260"+ 259 "\1\134\72\0\1\140\72\0\1\246\72\0\1\146\74\0"+
258 "\66\0\1\261\66\0\1\150\66\0\1\262\72\0\1\223"+ 260 "\1\247\72\0\1\250\72\0\1\251\72\0\1\252\72\0"+
259 "\56\0\1\263\100\0\1\223\64\0\1\71\70\0\1\71"+ 261 "\1\253\72\0\1\254\64\0\2\157\3\0\1\157\2\0"+
260 "\55\0\1\200\66\0\1\202\66\0\1\207\66\0\1\211"+ 262 "\2\157\1\0\4\157\6\0\1\157\6\0\1\157\5\0"+
261 "\66\0\1\215\60\0"; 263 "\1\157\2\0\1\157\2\0\4\157\1\0\1\157\11\0"+
264 "\1\157\7\0\1\255\71\0\1\256\71\0\1\257\17\0"+
265 "\1\257\53\0\1\260\73\0\1\261\72\0\1\262\72\0"+
266 "\1\263\71\0\1\264\72\0\1\265\110\0\1\266\55\0"+
267 "\1\267\75\0\1\270\72\0\1\271\72\0\1\272\72\0"+
268 "\1\273\72\0\1\155\72\0\1\274\76\0\1\232\62\0"+
269 "\1\275\104\0\1\232\70\0\1\75\74\0\1\75\53\0"+
270 "\21\276\2\0\50\276\6\0\1\207\72\0\1\211\72\0"+
271 "\1\216\72\0\1\220\72\0\1\224\64\0\21\276\1\0"+
272 "\1\57\50\276";
262 273
263 private static int [] zzUnpackTrans() { 274 private static int [] zzUnpackTrans() {
264 int [] result = new int[6930]; 275 int [] result = new int[7965];
265 int offset = 0; 276 int offset = 0;
266 offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result); 277 offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
267 return result; 278 return result;
268 } 279 }
269 280
297 * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code> 308 * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
298 */ 309 */
299 private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute(); 310 private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();
300 311
301 private static final String ZZ_ATTRIBUTE_PACKED_0 = 312 private static final String ZZ_ATTRIBUTE_PACKED_0 =
302 "\10\0\1\1\1\0\3\11\2\1\1\11\4\1\1\11"+ 313 "\10\0\1\1\3\0\3\11\2\1\1\11\4\1\1\11"+
303 "\1\1\4\11\20\1\1\11\12\1\2\11\4\0\4\11"+ 314 "\3\1\4\11\20\1\1\11\12\1\2\11\5\0\4\11"+
304 "\1\0\4\11\1\0\1\11\20\0\1\11\3\0\1\11"+ 315 "\1\0\4\11\1\0\1\11\20\0\1\11\3\0\1\11"+
305 "\3\0\1\11\1\0\1\11\3\0\3\11\1\0\2\11"+ 316 "\3\0\1\11\1\0\1\11\3\0\3\11\1\0\2\11"+
306 "\2\0\1\11\11\0\1\11\6\0\1\11\1\0\1\11"+ 317 "\2\0\1\11\11\0\1\11\10\0\1\11\1\0\1\11"+
307 "\1\0\1\11\1\0\4\11\1\0\1\11\1\0\1\11"+ 318 "\1\0\1\11\1\0\4\11\1\0\1\11\1\0\1\11"+
308 "\1\0\1\11\1\0\1\11\4\0\1\1\5\0\1\11"+ 319 "\1\0\1\11\1\0\1\11\4\0\1\1\5\0\1\11"+
309 "\2\0\1\11\6\0\1\11\3\0\3\11\2\0\1\11"+ 320 "\2\0\1\1\1\0\1\11\6\0\1\11\3\0\3\11"+
310 "\5\0\1\11"; 321 "\3\0\1\11\5\0\1\11\1\0";
311 322
312 private static int [] zzUnpackAttribute() { 323 private static int [] zzUnpackAttribute() {
313 int [] result = new int[179]; 324 int [] result = new int[190];
314 int offset = 0; 325 int offset = 0;
315 offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result); 326 offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
316 return result; 327 return result;
317 } 328 }
318 329
425 */ 436 */
426 private static char [] zzUnpackCMap(String packed) { 437 private static char [] zzUnpackCMap(String packed) {
427 char [] map = new char[0x10000]; 438 char [] map = new char[0x10000];
428 int i = 0; /* index in packed string */ 439 int i = 0; /* index in packed string */
429 int j = 0; /* index in unpacked array */ 440 int j = 0; /* index in unpacked array */
430 while (i < 190) { 441 while (i < 202) {
431 int count = packed.charAt(i++); 442 int count = packed.charAt(i++);
432 char value = packed.charAt(i++); 443 char value = packed.charAt(i++);
433 do map[j++] = value; while (--count > 0); 444 do map[j++] = value; while (--count > 0);
434 } 445 }
435 return map; 446 return map;