Mercurial > hg > mpdl-group

comparison software/eXist/mpdl-modules/src/de/mpg/mpiwg/berlin/mpdl/lt/general/Unicode2BetacodeLex.java @ 6:2396a569e446

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new functions: externalObjects, normalizer, Unicode2Betacode
author Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
date Tue, 08 Feb 2011 14:54:09 +0100
parents
children
comparison
equal deleted inserted replaced
5:94305c504178 6:2396a569e446
1 /* The following code was generated by JFlex 1.4.3 on 14.12.10 15:03 */
2
3 package de.mpg.mpiwg.berlin.mpdl.lt.general;
4
5
6 /**
7 * This class is a scanner generated by
8 * <a href="http://www.jflex.de/">JFlex</a> 1.4.3
9 * on 14.12.10 15:03 from the specification file
10 * <tt>/Users/jwillenborg/test/jflex/Unicode2Betacode.lex</tt>
11 */
12 public class Unicode2BetacodeLex {
13
14 /** This character denotes the end of file */
15 public static final int YYEOF = -1;
16
17 /** initial size of the lookahead buffer */
18 private static final int ZZ_BUFFERSIZE = 16384;
19
20 /** lexical states */
21 public static final int YYINITIAL = 0;
22
23 /**
24 * ZZ_LEXSTATE[l] is the state in the DFA for the lexical state l
25 * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l
26 * at the beginning of a line
27 * l is of the form l = 2*k, k a non negative integer
28 */
29 private static final int ZZ_LEXSTATE[] = {
30 0, 0
31 };
32
33 /**
34 * Translates characters to character classes
35 */
36 private static final String ZZ_CMAP_PACKED =
37 "\12\0\1\0\26\0\1\u0118\1\0\1\u0130\2\0\1\u0113\4\u011c\2\0"+
38 "\1\u0112\1\11\1\u011c\1\u0131\2\u011c\1\u0132\5\u011c\1\u0133\1\0\1\u0116"+
39 "\1\1\1\u011c\1\2\1\u011b\1\0\5\u0134\1\6\1\u0134\1\4\22\u0134"+
40 "\1\u011d\1\0\1\u011a\1\0\1\u012a\1\0\1\u012f\3\u0135\1\u012c\1\7"+
41 "\1\u0114\1\5\3\u0135\1\u0119\3\u0135\1\u012e\1\u0135\1\u012d\1\u0135\1\u0115"+
42 "\1\3\1\u012b\4\u0135\2\0\1\u0117\71\0\1\12\u0248\0\1\344\1\345"+
43 "\1\351\1\0\1\346\1\0\1\347\1\0\1\350\12\0\1\352\1\353"+
44 "\16\0\1\354\41\0\1\355\113\0\1\357\1\361\1\363\1\365\1\367"+
45 "\1\371\1\373\1\375\1\377\1\u0101\1\u0103\1\u0105\1\u0107\1\u0109\1\u010b"+
46 "\1\u010d\1\u010f\1\0\1\10\1\u011f\1\u0121\1\u0123\1\u0125\1\u0127\1\u0129"+
47 "\7\0\1\356\1\360\1\362\1\364\1\366\1\370\1\372\1\374\1\376"+
48 "\1\u0100\1\u0102\1\u0104\1\u0106\1\u0108\1\u010a\1\u010c\1\u010e\1\u0111\1\u0110"+
49 "\1\u011e\1\u0120\1\u0122\1\u0124\1\u0126\1\u0128\u1b36\0\1\13\1\14\1\15"+
50 "\1\16\1\17\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\27"+
51 "\1\30\1\31\1\32\1\33\1\34\1\35\1\36\1\37\1\40\2\0"+
52 "\1\41\1\42\1\43\1\44\1\45\1\46\2\0\1\47\1\50\1\51"+
53 "\1\52\1\53\1\54\1\55\1\56\1\57\1\60\1\61\1\62\1\63"+
54 "\1\64\1\65\1\66\1\67\1\70\1\71\1\72\1\73\1\74\1\75"+
55 "\1\76\1\77\1\100\1\101\1\102\1\103\1\104\1\105\1\106\1\107"+
56 "\1\110\1\111\1\112\1\113\1\114\2\0\1\115\1\116\1\117\1\120"+
57 "\1\121\1\122\2\0\1\123\1\124\1\125\1\126\1\127\1\130\1\131"+
58 "\1\132\1\0\1\133\1\0\1\134\1\0\1\135\1\0\1\136\1\137"+
59 "\1\140\1\141\1\142\1\143\1\144\1\145\1\146\1\147\1\150\1\151"+
60 "\1\152\1\153\1\154\1\155\1\156\1\157\1\160\1\161\1\162\1\163"+
61 "\1\164\1\165\1\166\1\167\1\170\1\171\1\172\1\173\1\174\2\0"+
62 "\1\175\1\176\1\177\1\200\1\201\1\202\1\203\1\204\1\205\1\206"+
63 "\1\207\1\210\1\211\1\212\1\213\1\214\1\215\1\216\1\217\1\220"+
64 "\1\221\1\222\1\223\1\224\1\225\1\226\1\227\1\230\1\231\1\232"+
65 "\1\233\1\234\1\235\1\236\1\237\1\240\1\241\1\242\1\243\1\244"+
66 "\1\245\1\246\1\247\1\250\1\251\1\252\1\253\1\254\1\255\1\256"+
67 "\1\257\1\260\1\261\1\0\1\262\1\263\1\264\1\265\1\266\1\267"+
68 "\1\270\5\0\1\271\1\272\1\273\1\0\1\274\1\275\1\276\1\277"+
69 "\1\300\1\301\1\302\3\0\1\303\1\304\1\305\1\306\2\0\1\307"+
70 "\1\310\1\311\1\312\1\313\1\314\4\0\1\315\1\316\1\317\1\320"+
71 "\1\321\1\322\1\323\1\324\1\325\1\326\1\327\1\330\1\331\5\0"+
72 "\1\332\1\333\1\334\1\0\1\340\1\341\1\342\1\343\1\335\1\336"+
73 "\1\337\ue003\0";
74
75 /**
76 * Translates characters to character classes
77 */
78 private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);
79
80 /**
81 * Translates DFA states to action switch labels.
82 */
83 private static final int [] ZZ_ACTION = zzUnpackAction();
84
85 private static final String ZZ_ACTION_PACKED_0 =
86 "\1\0\2\1\1\2\1\3\1\4\1\5\1\6\1\7"+
87 "\1\10\1\11\1\12\1\13\1\14\1\15\1\16\1\17"+
88 "\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\27"+
89 "\1\30\1\31\1\32\1\33\1\34\1\35\1\36\1\37"+
90 "\1\40\1\41\1\42\1\43\1\44\1\45\1\46\1\47"+
91 "\1\50\1\51\1\52\1\53\1\54\1\55\1\56\1\57"+
92 "\1\60\1\61\1\62\1\63\1\64\1\65\1\66\1\67"+
93 "\1\70\1\71\1\72\1\73\1\74\1\75\1\76\1\77"+
94 "\1\100\1\101\1\102\1\103\1\104\1\105\1\106\1\107"+
95 "\1\110\1\111\1\112\1\113\1\114\1\115\1\116\1\117"+
96 "\1\120\1\121\1\122\1\123\1\124\1\125\1\126\1\127"+
97 "\1\130\1\131\1\132\1\133\1\134\1\135\1\136\1\137"+
98 "\1\140\1\141\1\142\1\143\1\144\1\145\1\146\1\147"+
99 "\1\150\1\151\1\152\1\153\1\154\1\155\1\156\1\157"+
100 "\1\160\1\161\1\162\1\163\1\164\1\165\1\166\1\167"+
101 "\1\170\1\171\1\172\1\173\1\174\1\175\1\176\1\177"+
102 "\1\200\1\201\1\202\1\203\1\204\1\205\1\206\1\207"+
103 "\1\210\1\211\1\212\1\213\1\214\1\215\1\216\1\217"+
104 "\1\220\1\221\1\222\1\223\1\224\1\225\1\226\1\227"+
105 "\1\230\1\231\1\232\1\233\1\234\1\235\1\236\1\237"+
106 "\1\240\1\241\1\242\1\243\1\244\1\245\1\246\1\247"+
107 "\1\250\1\251\1\252\1\253\1\254\1\255\1\256\1\257"+
108 "\1\260\1\261\1\262\1\263\1\264\1\265\1\266\1\267"+
109 "\1\270\1\271\1\272\1\273\1\274\1\275\1\276\1\277"+
110 "\1\300\1\301\1\302\1\303\1\304\1\305\1\306\1\307"+
111 "\1\310\1\311\1\312\1\313\1\314\1\315\1\316\1\317"+
112 "\1\320\1\321\1\322\1\323\1\324\1\325\1\326\1\327"+
113 "\1\330\1\331\1\332\1\333\1\334\1\335\1\336\1\337"+
114 "\1\340\1\341\1\342\1\343\1\344\1\345\1\346\1\347"+
115 "\1\350\1\351\1\352\1\353\1\354\1\355\1\356\1\357"+
116 "\1\360\1\361\1\362\1\363\1\364\1\365\1\366\1\367"+
117 "\1\370\1\371\1\372\1\373\1\374\1\375\1\376\1\377"+
118 "\1\u0100\1\u0101\1\u0102\1\u0103\1\u0104\1\u0105\1\u0106\1\u0107"+
119 "\1\u0108\1\u0109\1\u010a\1\u010b\1\u010c\1\u010d\1\u010e\2\1"+
120 "\1\u010f\1\u0110\1\u0111\1\u0112\1\u0113\1\u0114\1\u0115\1\u0116"+
121 "\1\u0117\1\u0118\1\u0119\1\u011a\1\1\3\0\1\u011b\1\0"+
122 "\1\u011b\33\0\1\u011c\1\u011d\17\0\1\u011e";
123
124 private static int [] zzUnpackAction() {
125 int [] result = new int[338];
126 int offset = 0;
127 offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);
128 return result;
129 }
130
131 private static int zzUnpackAction(String packed, int offset, int [] result) {
132 int i = 0; /* index in packed string */
133 int j = offset; /* index in unpacked array */
134 int l = packed.length();
135 while (i < l) {
136 int count = packed.charAt(i++);
137 int value = packed.charAt(i++);
138 do result[j++] = value; while (--count > 0);
139 }
140 return j;
141 }
142
143
144 /**
145 * Translates a state to a row index in the transition table
146 */
147 private static final int [] ZZ_ROWMAP = zzUnpackRowMap();
148
149 private static final String ZZ_ROWMAP_PACKED_0 =
150 "\0\0\0\u0136\0\u026c\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
151 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
152 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
153 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
154 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
155 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
156 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
157 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
158 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
159 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
160 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
161 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
162 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
163 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
164 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
165 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
166 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
167 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
168 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
169 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
170 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
171 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
172 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
173 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
174 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
175 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
176 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
177 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
178 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
179 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
180 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
181 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
182 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
183 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u03a2"+
184 "\0\u04d8\0\u060e\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+
185 "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0744\0\u087a"+
186 "\0\u09b0\0\u0ae6\0\u0136\0\u0c1c\0\u0d52\0\u0e88\0\u0fbe\0\u10f4"+
187 "\0\u122a\0\u1360\0\u1496\0\u15cc\0\u1702\0\u1838\0\u196e\0\u1aa4"+
188 "\0\u1bda\0\u1d10\0\u1e46\0\u1f7c\0\u20b2\0\u21e8\0\u231e\0\u2454"+
189 "\0\u258a\0\u26c0\0\u27f6\0\u292c\0\u2a62\0\u2b98\0\u2cce\0\u2e04"+
190 "\0\u0136\0\u0136\0\u2f3a\0\u3070\0\u31a6\0\u32dc\0\u3412\0\u3548"+
191 "\0\u367e\0\u37b4\0\u38ea\0\u3a20\0\u3b56\0\u3c8c\0\u3dc2\0\u3ef8"+
192 "\0\u402e\0\u0136";
193
194 private static int [] zzUnpackRowMap() {
195 int [] result = new int[338];
196 int offset = 0;
197 offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);
198 return result;
199 }
200
201 private static int zzUnpackRowMap(String packed, int offset, int [] result) {
202 int i = 0; /* index in packed string */
203 int j = offset; /* index in unpacked array */
204 int l = packed.length();
205 while (i < l) {
206 int high = packed.charAt(i++) << 16;
207 result[j++] = high | packed.charAt(i++);
208 }
209 return j;
210 }
211
212 /**
213 * The transition table of the DFA
214 */
215 private static final int [] ZZ_TRANS = zzUnpackTrans();
216
217 private static final String ZZ_TRANS_PACKED_0 =
218 "\1\2\1\3\2\2\1\4\1\5\1\6\1\7\1\10"+
219 "\1\11\1\12\1\13\1\14\1\15\1\16\1\17\1\20"+
220 "\1\21\1\22\1\23\1\24\1\25\1\26\1\27\1\30"+
221 "\1\31\1\32\1\33\1\34\1\35\1\36\1\37\1\40"+
222 "\1\41\1\42\1\43\1\44\1\45\1\46\1\47\1\50"+
223 "\1\51\1\52\1\53\1\54\1\55\1\56\1\57\1\60"+
224 "\1\61\1\62\1\63\1\64\1\65\1\66\1\67\1\70"+
225 "\1\71\1\72\1\73\1\74\1\75\1\76\1\77\1\100"+
226 "\1\101\1\102\1\103\1\104\1\105\1\106\1\107\1\110"+
227 "\1\111\1\112\1\113\1\114\1\115\1\116\1\117\1\120"+
228 "\1\121\1\122\1\123\1\124\1\125\1\126\1\127\1\130"+
229 "\1\131\1\132\1\133\1\134\1\135\1\136\1\137\1\140"+
230 "\1\141\1\142\1\143\1\144\1\145\1\146\1\147\1\150"+
231 "\1\151\1\152\1\153\1\154\1\155\1\156\1\157\1\160"+
232 "\1\161\1\162\1\163\1\164\1\165\1\166\1\167\1\170"+
233 "\1\171\1\172\1\173\1\174\1\175\1\176\1\177\1\200"+
234 "\1\201\1\202\1\203\1\204\1\205\1\206\1\207\1\210"+
235 "\1\211\1\212\1\213\1\214\1\215\1\216\1\217\1\220"+
236 "\1\221\1\222\1\223\1\224\1\225\1\226\1\227\1\230"+
237 "\1\231\1\232\1\233\1\234\1\235\1\236\1\237\1\240"+
238 "\1\241\1\242\1\243\1\244\1\245\1\246\1\247\1\250"+
239 "\1\251\1\252\1\253\1\254\1\255\1\256\1\257\1\260"+
240 "\1\261\1\262\1\263\1\264\1\265\1\266\1\267\1\270"+
241 "\1\271\1\272\1\273\1\274\1\275\1\276\1\277\1\300"+
242 "\1\301\1\302\1\303\1\304\1\305\1\306\1\307\1\310"+
243 "\1\311\1\312\1\313\1\314\1\315\1\316\1\317\1\320"+
244 "\1\321\1\322\1\323\1\324\1\325\1\326\1\327\1\330"+
245 "\1\331\1\332\1\333\1\334\1\335\1\336\1\337\1\340"+
246 "\1\341\1\342\1\343\1\344\1\345\1\346\1\347\1\350"+
247 "\1\351\1\352\1\353\1\354\1\355\1\356\1\357\1\360"+
248 "\1\361\1\362\1\363\1\364\1\365\1\366\1\367\1\370"+
249 "\1\371\1\372\1\373\1\374\1\375\1\376\1\377\1\u0100"+
250 "\1\u0101\1\u0102\1\u0103\1\u0104\1\u0105\1\u0106\1\u0107\1\u0108"+
251 "\1\u0109\1\u010a\1\u010b\1\u010c\1\u010d\1\u010e\1\u010f\1\u0110"+
252 "\1\u0111\1\2\1\u0112\12\2\1\u0113\1\u0114\1\u0115\1\u0116"+
253 "\1\u0117\1\u0118\1\u0119\1\u011a\1\u011b\1\u011c\1\u011d\1\u011e"+
254 "\1\u011f\13\2\u0136\0\2\u0120\1\0\u0133\u0120\u0113\0\1\u0121"+
255 "\6\0\1\u0122\2\0\1\u0122\30\0\3\u0123\1\0\1\u0123"+
256 "\1\0\1\u0123\1\0\u010a\u0123\1\u0124\1\u0125\2\0\3\u0123"+
257 "\1\0\1\u0123\1\u0126\2\0\15\u0123\5\0\1\u0123\3\0"+
258 "\1\u0123\4\0\5\u0127\u010c\0\1\u0128\1\u0127\3\0\1\u0129"+
259 "\21\0\1\u012a\1\u0127\1\u012b\2\u0127\1\u012c\3\0\2\u0127"+
260 "\u0114\0\1\u012d\4\0\1\u012e\21\0\1\u012f\1\0\1\u0130"+
261 "\13\0\1\u0131\u0246\0\1\u0132\44\0\1\u0123\1\0\1\u0123"+
262 "\1\0\1\u0123\u010a\0\1\u0123\1\0\2\u0123\2\0\2\u0123"+
263 "\1\0\2\u0123\16\0\5\u0123\1\0\3\u0123\1\0\1\u0123"+
264 "\u0112\0\1\u0123\u013c\0\1\u0133\34\0\3\u0123\1\0\1\u0123"+
265 "\1\0\1\u0123\1\0\u010a\u0123\1\0\1\u0123\2\0\3\u0123"+
266 "\1\0\1\u0123\3\0\15\u0123\5\0\1\u0123\3\0\1\u0123"+
267 "\4\0\5\u0127\u010c\0\2\u0127\1\2\2\0\1\u0127\21\0"+
268 "\5\u0127\4\0\2\u0127\3\0\5\u0127\u010c\0\1\u0127\1\u0134"+
269 "\1\2\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127\3\0"+
270 "\5\u0127\u010c\0\1\u0127\1\u0135\1\2\2\0\1\u0127\21\0"+
271 "\3\u0127\1\u0136\1\u0127\4\0\2\u0127\3\0\5\u0127\u010c\0"+
272 "\2\u0127\1\2\2\0\1\u0127\21\0\1\u0127\1\u0137\3\u0127"+
273 "\4\0\2\u0127\3\0\5\u0127\u010c\0\2\u0127\1\2\2\0"+
274 "\1\u0127\21\0\3\u0127\1\u0138\1\u0127\4\0\2\u0127\u0131\0"+
275 "\1\u0139\u0119\0\1\u013a\u0135\0\1\u013b\30\0\1\u013c\u0133\0"+
276 "\1\u013d\u0137\0\1\u013e\11\0\1\2\1\u0131\u0247\0\1\u013f"+
277 "\u0135\0\1\u0140\43\0\5\u0127\u010c\0\2\u0127\1\u0141\2\0"+
278 "\1\u0127\21\0\5\u0127\4\0\2\u0127\3\0\5\u0127\u010c\0"+
279 "\2\u0127\1\u0142\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127"+
280 "\3\0\5\u0127\u010c\0\2\u0127\1\2\2\0\1\u0127\21\0"+
281 "\4\u0127\1\u0143\4\0\2\u0127\3\0\5\u0127\u010c\0\2\u0127"+
282 "\1\2\2\0\1\u0127\21\0\2\u0127\1\u0144\2\u0127\4\0"+
283 "\2\u0127\3\0\5\u0127\u010c\0\2\u0127\1\2\2\0\1\u0127"+
284 "\21\0\4\u0127\1\u0145\4\0\2\u0127\u0132\0\1\u0146\u0119\0"+
285 "\1\u0141\u0135\0\1\u0142\u014e\0\1\u0147\u0133\0\1\u0148\u0137\0"+
286 "\1\u0149\u011c\0\1\u014a\u0135\0\1\u0123\42\0\5\u0127\u010c\0"+
287 "\2\u0127\1\2\2\0\1\u0127\21\0\2\u0127\1\u014b\2\u0127"+
288 "\4\0\2\u0127\3\0\5\u0127\u010c\0\1\u0127\1\u014c\1\2"+
289 "\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127\3\0\5\u0127"+
290 "\u010c\0\2\u0127\1\2\2\0\1\u0127\21\0\2\u0127\1\u014d"+
291 "\2\u0127\4\0\2\u0127\u0133\0\1\u014e\u012f\0\1\u014f\u011d\0"+
292 "\1\u0150\u014d\0\1\u0151\u011f\0\1\u0122\41\0\5\u0127\u010c\0"+
293 "\2\u0127\1\353\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127"+
294 "\3\0\5\u0127\u010c\0\2\u0127\1\355\2\0\1\u0127\21\0"+
295 "\5\u0127\4\0\2\u0127\3\0\5\u0127\u010c\0\2\u0127\1\352"+
296 "\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127\u0116\0\1\u0152"+
297 "\u0135\0\1\353\u0135\0\1\355\u0135\0\1\352\37\0";
298
299 private static int [] zzUnpackTrans() {
300 int [] result = new int[16740];
301 int offset = 0;
302 offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);
303 return result;
304 }
305
306 private static int zzUnpackTrans(String packed, int offset, int [] result) {
307 int i = 0; /* index in packed string */
308 int j = offset; /* index in unpacked array */
309 int l = packed.length();
310 while (i < l) {
311 int count = packed.charAt(i++);
312 int value = packed.charAt(i++);
313 value--;
314 do result[j++] = value; while (--count > 0);
315 }
316 return j;
317 }
318
319
320 /* error codes */
321 private static final int ZZ_UNKNOWN_ERROR = 0;
322 private static final int ZZ_NO_MATCH = 1;
323 private static final int ZZ_PUSHBACK_2BIG = 2;
324
325 /* error messages for the codes above */
326 private static final String ZZ_ERROR_MSG[] = {
327 "Unkown internal scanner error",
328 "Error: could not match input",
329 "Error: pushback value was too large"
330 };
331
332 /**
333 * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>
334 */
335 private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();
336
337 private static final String ZZ_ATTRIBUTE_PACKED_0 =
338 "\1\0\1\11\1\1\u010c\11\3\1\14\11\1\1\3\0"+
339 "\1\11\1\0\1\1\33\0\2\11\17\0\1\11";
340
341 private static int [] zzUnpackAttribute() {
342 int [] result = new int[338];
343 int offset = 0;
344 offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);
345 return result;
346 }
347
348 private static int zzUnpackAttribute(String packed, int offset, int [] result) {
349 int i = 0; /* index in packed string */
350 int j = offset; /* index in unpacked array */
351 int l = packed.length();
352 while (i < l) {
353 int count = packed.charAt(i++);
354 int value = packed.charAt(i++);
355 do result[j++] = value; while (--count > 0);
356 }
357 return j;
358 }
359
360 /** the input device */
361 private java.io.Reader zzReader;
362
363 /** the current state of the DFA */
364 private int zzState;
365
366 /** the current lexical state */
367 private int zzLexicalState = YYINITIAL;
368
369 /** this buffer contains the current text to be matched and is
370 the source of the yytext() string */
371 private char zzBuffer[] = new char[ZZ_BUFFERSIZE];
372
373 /** the textposition at the last accepting state */
374 private int zzMarkedPos;
375
376 /** the current text position in the buffer */
377 private int zzCurrentPos;
378
379 /** startRead marks the beginning of the yytext() string in the buffer */
380 private int zzStartRead;
381
382 /** endRead marks the last character in the buffer, that has been read
383 from input */
384 private int zzEndRead;
385
386 /** number of newlines encountered up to the start of the matched text */
387 private int yyline;
388
389 /** the number of characters up to the start of the matched text */
390 private int yychar;
391
392 /**
393 * the number of characters from the last newline up to the start of the
394 * matched text
395 */
396 private int yycolumn;
397
398 /**
399 * zzAtBOL == true <=> the scanner is currently at the beginning of a line
400 */
401 private boolean zzAtBOL = true;
402
403 /** zzAtEOF == true <=> the scanner is at the EOF */
404 private boolean zzAtEOF;
405
406 /** denotes if the user-EOF-code has already been executed */
407 private boolean zzEOFDone;
408
409
410 /**
411 * Creates a new scanner
412 * There is also a java.io.InputStream version of this constructor.
413 *
414 * @param in the java.io.Reader to read input from.
415 */
416 public Unicode2BetacodeLex(java.io.Reader in) {
417 this.zzReader = in;
418 }
419
420 /**
421 * Creates a new scanner.
422 * There is also java.io.Reader version of this constructor.
423 *
424 * @param in the java.io.Inputstream to read input from.
425 */
426 public Unicode2BetacodeLex(java.io.InputStream in) {
427 this(new java.io.InputStreamReader(in));
428 }
429
430 /**
431 * Unpacks the compressed character translation table.
432 *
433 * @param packed the packed character translation table
434 * @return the unpacked character translation table
435 */
436 private static char [] zzUnpackCMap(String packed) {
437 char [] map = new char[0x10000];
438 int i = 0; /* index in packed string */
439 int j = 0; /* index in unpacked array */
440 while (i < 724) {
441 int count = packed.charAt(i++);
442 char value = packed.charAt(i++);
443 do map[j++] = value; while (--count > 0);
444 }
445 return map;
446 }
447
448
449 /**
450 * Refills the input buffer.
451 *
452 * @return <code>false</code>, iff there was new input.
453 *
454 * @exception java.io.IOException if any I/O-Error occurs
455 */
456 private boolean zzRefill() throws java.io.IOException {
457
458 /* first: make room (if you can) */
459 if (zzStartRead > 0) {
460 System.arraycopy(zzBuffer, zzStartRead,
461 zzBuffer, 0,
462 zzEndRead-zzStartRead);
463
464 /* translate stored positions */
465 zzEndRead-= zzStartRead;
466 zzCurrentPos-= zzStartRead;
467 zzMarkedPos-= zzStartRead;
468 zzStartRead = 0;
469 }
470
471 /* is the buffer big enough? */
472 if (zzCurrentPos >= zzBuffer.length) {
473 /* if not: blow it up */
474 char newBuffer[] = new char[zzCurrentPos*2];
475 System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length);
476 zzBuffer = newBuffer;
477 }
478
479 /* finally: fill the buffer with new input */
480 int numRead = zzReader.read(zzBuffer, zzEndRead,
481 zzBuffer.length-zzEndRead);
482
483 if (numRead > 0) {
484 zzEndRead+= numRead;
485 return false;
486 }
487 // unlikely but not impossible: read 0 characters, but not at end of stream
488 if (numRead == 0) {
489 int c = zzReader.read();
490 if (c == -1) {
491 return true;
492 } else {
493 zzBuffer[zzEndRead++] = (char) c;
494 return false;
495 }
496 }
497
498 // numRead < 0
499 return true;
500 }
501
502
503 /**
504 * Closes the input stream.
505 */
506 public final void yyclose() throws java.io.IOException {
507 zzAtEOF = true; /* indicate end of file */
508 zzEndRead = zzStartRead; /* invalidate buffer */
509
510 if (zzReader != null)
511 zzReader.close();
512 }
513
514
515 /**
516 * Resets the scanner to read from a new input stream.
517 * Does not close the old reader.
518 *
519 * All internal variables are reset, the old input stream
520 * <b>cannot</b> be reused (internal buffer is discarded and lost).
521 * Lexical state is set to <tt>ZZ_INITIAL</tt>.
522 *
523 * @param reader the new input stream
524 */
525 public final void yyreset(java.io.Reader reader) {
526 zzReader = reader;
527 zzAtBOL = true;
528 zzAtEOF = false;
529 zzEOFDone = false;
530 zzEndRead = zzStartRead = 0;
531 zzCurrentPos = zzMarkedPos = 0;
532 yyline = yychar = yycolumn = 0;
533 zzLexicalState = YYINITIAL;
534 }
535
536
537 /**
538 * Returns the current lexical state.
539 */
540 public final int yystate() {
541 return zzLexicalState;
542 }
543
544
545 /**
546 * Enters a new lexical state
547 *
548 * @param newState the new lexical state
549 */
550 public final void yybegin(int newState) {
551 zzLexicalState = newState;
552 }
553
554
555 /**
556 * Returns the text matched by the current regular expression.
557 */
558 public final String yytext() {
559 return new String( zzBuffer, zzStartRead, zzMarkedPos-zzStartRead );
560 }
561
562
563 /**
564 * Returns the character at position <tt>pos</tt> from the
565 * matched text.
566 *
567 * It is equivalent to yytext().charAt(pos), but faster
568 *
569 * @param pos the position of the character to fetch.
570 * A value from 0 to yylength()-1.
571 *
572 * @return the character at position pos
573 */
574 public final char yycharat(int pos) {
575 return zzBuffer[zzStartRead+pos];
576 }
577
578
579 /**
580 * Returns the length of the matched text region.
581 */
582 public final int yylength() {
583 return zzMarkedPos-zzStartRead;
584 }
585
586
587 /**
588 * Reports an error that occured while scanning.
589 *
590 * In a wellformed scanner (no or only correct usage of
591 * yypushback(int) and a match-all fallback rule) this method
592 * will only be called with things that "Can't Possibly Happen".
593 * If this method is called, something is seriously wrong
594 * (e.g. a JFlex bug producing a faulty scanner etc.).
595 *
596 * Usual syntax/scanner level error handling should be done
597 * in error fallback rules.
598 *
599 * @param errorCode the code of the errormessage to display
600 */
601 private void zzScanError(int errorCode) {
602 String message;
603 try {
604 message = ZZ_ERROR_MSG[errorCode];
605 }
606 catch (ArrayIndexOutOfBoundsException e) {
607 message = ZZ_ERROR_MSG[ZZ_UNKNOWN_ERROR];
608 }
609
610 throw new Error(message);
611 }
612
613
614 /**
615 * Pushes the specified amount of characters back into the input stream.
616 *
617 * They will be read again by then next call of the scanning method
618 *
619 * @param number the number of characters to be read again.
620 * This number must not be greater than yylength()!
621 */
622 public void yypushback(int number) {
623 if ( number > yylength() )
624 zzScanError(ZZ_PUSHBACK_2BIG);
625
626 zzMarkedPos -= number;
627 }
628
629
630 /**
631 * Resumes scanning until the next regular expression is matched,
632 * the end of input is encountered or an I/O-Error occurs.
633 *
634 * @return the next token
635 * @exception java.io.IOException if any I/O-Error occurs
636 */
637 public java.lang.String yylex() throws java.io.IOException {
638 int zzInput;
639 int zzAction;
640
641 // cached fields:
642 int zzCurrentPosL;
643 int zzMarkedPosL;
644 int zzEndReadL = zzEndRead;
645 char [] zzBufferL = zzBuffer;
646 char [] zzCMapL = ZZ_CMAP;
647
648 int [] zzTransL = ZZ_TRANS;
649 int [] zzRowMapL = ZZ_ROWMAP;
650 int [] zzAttrL = ZZ_ATTRIBUTE;
651
652 while (true) {
653 zzMarkedPosL = zzMarkedPos;
654
655 zzAction = -1;
656
657 zzCurrentPosL = zzCurrentPos = zzStartRead = zzMarkedPosL;
658
659 zzState = ZZ_LEXSTATE[zzLexicalState];
660
661
662 zzForAction: {
663 while (true) {
664
665 if (zzCurrentPosL < zzEndReadL)
666 zzInput = zzBufferL[zzCurrentPosL++];
667 else if (zzAtEOF) {
668 zzInput = YYEOF;
669 break zzForAction;
670 }
671 else {
672 // store back cached positions
673 zzCurrentPos = zzCurrentPosL;
674 zzMarkedPos = zzMarkedPosL;
675 boolean eof = zzRefill();
676 // get translated positions and possibly new buffer
677 zzCurrentPosL = zzCurrentPos;
678 zzMarkedPosL = zzMarkedPos;
679 zzBufferL = zzBuffer;
680 zzEndReadL = zzEndRead;
681 if (eof) {
682 zzInput = YYEOF;
683 break zzForAction;
684 }
685 else {
686 zzInput = zzBufferL[zzCurrentPosL++];
687 }
688 }
689 int zzNext = zzTransL[ zzRowMapL[zzState] + zzCMapL[zzInput] ];
690 if (zzNext == -1) break zzForAction;
691 zzState = zzNext;
692
693 int zzAttributes = zzAttrL[zzState];
694 if ( (zzAttributes & 1) == 1 ) {
695 zzAction = zzState;
696 zzMarkedPosL = zzCurrentPosL;
697 if ( (zzAttributes & 8) == 8 ) break zzForAction;
698 }
699
700 }
701 }
702
703 // store back cached position
704 zzMarkedPos = zzMarkedPosL;
705
706 switch (zzAction < 0 ? zzAction : ZZ_ACTION[zzAction]) {
707 case 266:
708 { return "p";
709 }
710 case 287: break;
711 case 102:
712 { return "*(w";
713 }
714 case 288: break;
715 case 20:
716 { return "*(\\a";
717 }
718 case 289: break;
719 case 21:
720 { return "*)/a";
721 }
722 case 290: break;
723 case 181:
724 { return "*a/";
725 }
726 case 291: break;
727 case 237:
728 { return "*a";
729 }
730 case 292: break;
731 case 260:
732 { return "n";
733 }
734 case 293: break;
735 case 89:
736 { return "*(u";
737 }
738 case 294: break;
739 case 16:
740 { return "a(=";
741 }
742 case 295: break;
743 case 30:
744 { return "e(/";
745 }
746 case 296: break;
747 case 195:
748 { return "i+\\";
749 }
750 case 297: break;
751 case 222:
752 { return "w=";
753 }
754 case 298: break;
755 case 210:
756 { return "u+=";
757 }
758 case 299: break;
759 case 99:
760 { return "w)=";
761 }
762 case 300: break;
763 case 256:
764 { return "l";
765 }
766 case 301: break;
767 case 205:
768 { return "u+\\";
769 }
770 case 302: break;
771 case 23:
772 { return "*)=a";
773 }
774 case 303: break;
775 case 225:
776 { return "*o/";
777 }
778 case 304: break;
779 case 44:
780 { return "h(=";
781 }
782 case 305: break;
783 case 3:
784 { return "j";
785 }
786 case 306: break;
787 case 103:
788 { return "*)\\w";
789 }
790 case 307: break;
791 case 152:
792 { return "*(/|h";
793 }
794 case 308: break;
795 case 165:
796 { return "*)\\|w";
797 }
798 case 309: break;
799 case 248:
800 { return "h";
801 }
802 case 310: break;
803 case 76:
804 { return "*(o";
805 }
806 case 311: break;
807 case 159:
808 { return "w)/|";
809 }
810 case 312: break;
811 case 178:
812 { return "*a^";
813 }
814 case 313: break;
815 case 141:
816 { return "h)\\|";
817 }
818 case 314: break;
819 case 106:
820 { return "*(/w";
821 }
822 case 315: break;
823 case 275:
824 { return "f";
825 }
826 case 316: break;
827 case 227:
828 { return "/";
829 }
830 case 317: break;
831 case 91:
832 { return "*(/u";
833 }
834 case 318: break;
835 case 242:
836 { return "d";
837 }
838 case 319: break;
839 case 161:
840 { return "w)=|";
841 }
842 case 320: break;
843 case 57:
844 { return "i)/";
845 }
846 case 321: break;
847 case 154:
848 { return "*(=|h";
849 }
850 case 322: break;
851 case 95:
852 { return "w)\\";
853 }
854 case 323: break;
855 case 108:
856 { return "*(=w";
857 }
858 case 324: break;
859 case 116:
860 { return "i/";
861 }
862 case 325: break;
863 case 238:
864 { return "b";
865 }
866 case 326: break;
867 case 207:
868 { return "r)";
869 }
870 case 327: break;
871 case 147:
872 { return "*)|h";
873 }
874 case 328: break;
875 case 62:
876 { return "*(i";
877 }
878 case 329: break;
879 case 230:
880 { return "+";
881 }
882 case 330: break;
883 case 77:
884 { return "*)\\o";
885 }
886 case 331: break;
887 case 166:
888 { return "*(\\|w";
889 }
890 case 332: break;
891 case 71:
892 { return "o)\\";
893 }
894 case 333: break;
895 case 92:
896 { return "*(=u";
897 }
898 case 334: break;
899 case 232:
900 { return ")";
901 }
902 case 335: break;
903 case 14:
904 { return "a(/";
905 }
906 case 336: break;
907 case 122:
908 { return "w/";
909 }
910 case 337: break;
911 case 206:
912 { return "u+/";
913 }
914 case 338: break;
915 case 80:
916 { return "*(/o";
917 }
918 case 339: break;
919 case 97:
920 { return "w)/";
921 }
922 case 340: break;
923 case 123:
924 { return "a)|";
925 }
926 case 341: break;
927 case 229:
928 { return "^";
929 }
930 case 342: break;
931 case 32:
932 { return "*(e";
933 }
934 case 343: break;
935 case 286:
936 { return "'";
937 }
938 case 344: break;
939 case 42:
940 { return "h(/";
941 }
942 case 345: break;
943 case 53:
944 { return "i)";
945 }
946 case 346: break;
947 case 174:
948 { return "a|";
949 }
950 case 347: break;
951 case 63:
952 { return "*)\\i";
953 }
954 case 348: break;
955 case 139:
956 { return "h)|";
957 }
958 case 349: break;
959 case 193:
960 { return "i^";
961 }
962 case 350: break;
963 case 18:
964 { return "*(a";
965 }
966 case 351: break;
967 case 74:
968 { return "o(/";
969 }
970 case 352: break;
971 case 93:
972 { return "w)";
973 }
974 case 353: break;
975 case 66:
976 { return "*(/i";
977 }
978 case 354: break;
979 case 101:
980 { return "*)w";
981 }
982 case 355: break;
983 case 7:
984 { return "!";
985 }
986 case 356: break;
987 case 33:
988 { return "*)\\e";
989 }
990 case 357: break;
991 case 15:
992 { return "a)=";
993 }
994 case 358: break;
995 case 29:
996 { return "e)/";
997 }
998 case 359: break;
999 case 68:
1000 { return "*(=i";
1001 }
1002 case 360: break;
1003 case 125:
1004 { return "a)\\|";
1005 }
1006 case 361: break;
1007 case 36:
1008 { return "*(/e";
1009 }
1010 case 362: break;
1011 case 115:
1012 { return "i\\";
1013 }
1014 case 363: break;
1015 case 201:
1016 { return "*i\\";
1017 }
1018 case 364: break;
1019 case 112:
1020 { return "e/";
1021 }
1022 case 365: break;
1023 case 218:
1024 { return "w/|";
1025 }
1026 case 366: break;
1027 case 176:
1028 { return "a=";
1029 }
1030 case 367: break;
1031 case 19:
1032 { return "*)\\a";
1033 }
1034 case 368: break;
1035 case 43:
1036 { return "h)=";
1037 }
1038 case 369: break;
1039 case 133:
1040 { return "*)\\|a";
1041 }
1042 case 370: break;
1043 case 270:
1044 { return "s1";
1045 }
1046 case 371: break;
1047 case 247:
1048 { return "*z";
1049 }
1050 case 372: break;
1051 case 204:
1052 { return "u_";
1053 }
1054 case 373: break;
1055 case 143:
1056 { return "h)/|";
1057 }
1058 case 374: break;
1059 case 22:
1060 { return "*(/a";
1061 }
1062 case 375: break;
1063 case 82:
1064 { return "u(";
1065 }
1066 case 376: break;
1067 case 75:
1068 { return "*)o";
1069 }
1070 case 377: break;
1071 case 223:
1072 { return "w=|";
1073 }
1074 case 378: break;
1075 case 278:
1076 { return "*x";
1077 }
1078 case 379: break;
1079 case 121:
1080 { return "w\\";
1081 }
1082 case 380: break;
1083 case 200:
1084 { return "*i_";
1085 }
1086 case 381: break;
1087 case 219:
1088 { return "*w\\";
1089 }
1090 case 382: break;
1091 case 25:
1092 { return "e)";
1093 }
1094 case 383: break;
1095 case 145:
1096 { return "h)=|";
1097 }
1098 case 384: break;
1099 case 151:
1100 { return "*)/|h";
1101 }
1102 case 385: break;
1103 case 24:
1104 { return "*(=a";
1105 }
1106 case 386: break;
1107 case 4:
1108 { return "*v";
1109 }
1110 case 387: break;
1111 case 192:
1112 { return "*h|";
1113 }
1114 case 388: break;
1115 case 39:
1116 { return "h)\\";
1117 }
1118 case 389: break;
1119 case 272:
1120 { return "*t";
1121 }
1122 case 390: break;
1123 case 134:
1124 { return "*(\\|a";
1125 }
1126 case 391: break;
1127 case 214:
1128 { return "*u/";
1129 }
1130 case 392: break;
1131 case 61:
1132 { return "*)i";
1133 }
1134 case 393: break;
1135 case 269:
1136 { return "*r";
1137 }
1138 case 394: break;
1139 case 160:
1140 { return "w(/|";
1141 }
1142 case 395: break;
1143 case 13:
1144 { return "a)/";
1145 }
1146 case 396: break;
1147 case 153:
1148 { return "*)=|h";
1149 }
1150 case 397: break;
1151 case 267:
1152 { return "*p";
1153 }
1154 case 398: break;
1155 case 111:
1156 { return "e\\";
1157 }
1158 case 399: break;
1159 case 88:
1160 { return "u(=";
1161 }
1162 case 400: break;
1163 case 31:
1164 { return "*)e";
1165 }
1166 case 401: break;
1167 case 188:
1168 { return "*e\\";
1169 }
1170 case 402: break;
1171 case 110:
1172 { return "a/";
1173 }
1174 case 403: break;
1175 case 162:
1176 { return "w(=|";
1177 }
1178 case 404: break;
1179 case 41:
1180 { return "h)/";
1181 }
1182 case 405: break;
1183 case 261:
1184 { return "*n";
1185 }
1186 case 406: break;
1187 case 226:
1188 { return "\\";
1189 }
1190 case 407: break;
1191 case 96:
1192 { return "w(\\";
1193 }
1194 case 408: break;
1195 case 148:
1196 { return "*(|h";
1197 }
1198 case 409: break;
1199 case 257:
1200 { return "*l";
1201 }
1202 case 410: break;
1203 case 211:
1204 { return "*u^";
1205 }
1206 case 411: break;
1207 case 198:
1208 { return "i+=";
1209 }
1210 case 412: break;
1211 case 279:
1212 { return "y";
1213 }
1214 case 413: break;
1215 case 17:
1216 { return "*)a";
1217 }
1218 case 414: break;
1219 case 73:
1220 { return "o)/";
1221 }
1222 case 415: break;
1223 case 72:
1224 { return "o(\\";
1225 }
1226 case 416: break;
1227 case 118:
1228 { return "o/";
1229 }
1230 case 417: break;
1231 case 168:
1232 { return "*(/|w";
1233 }
1234 case 418: break;
1235 case 2:
1236 { return "*j";
1237 }
1238 case 419: break;
1239 case 281:
1240 { return "w";
1241 }
1242 case 420: break;
1243 case 48:
1244 { return "*(\\h";
1245 }
1246 case 421: break;
1247 case 49:
1248 { return "*)/h";
1249 }
1250 case 422: break;
1251 case 9:
1252 { return "a)";
1253 }
1254 case 423: break;
1255 case 216:
1256 { return "w\\|";
1257 }
1258 case 424: break;
1259 case 249:
1260 { return "*h";
1261 }
1262 case 425: break;
1263 case 273:
1264 { return "u";
1265 }
1266 case 426: break;
1267 case 171:
1268 { return "a^";
1269 }
1270 case 427: break;
1271 case 175:
1272 { return "a/|";
1273 }
1274 case 428: break;
1275 case 285:
1276 { return "&lt;";
1277 }
1278 case 429: break;
1279 case 276:
1280 { return "*f";
1281 }
1282 case 430: break;
1283 case 38:
1284 { return "h(";
1285 }
1286 case 431: break;
1287 case 283:
1288 // lookahead expression with fixed base length
1289 zzMarkedPos = zzStartRead + 1;
1290 { return "s";
1291 }
1292 case 432: break;
1293 case 51:
1294 { return "*)=h";
1295 }
1296 case 433: break;
1297 case 127:
1298 { return "a)/|";
1299 }
1300 case 434: break;
1301 case 170:
1302 { return "*(=|w";
1303 }
1304 case 435: break;
1305 case 69:
1306 { return "o)";
1307 }
1308 case 436: break;
1309 case 243:
1310 { return "*d";
1311 }
1312 case 437: break;
1313 case 185:
1314 { return "h/|";
1315 }
1316 case 438: break;
1317 case 250:
1318 { return "q";
1319 }
1320 case 439: break;
1321 case 163:
1322 { return "*)|w";
1323 }
1324 case 440: break;
1325 case 8:
1326 { return ":";
1327 }
1328 case 441: break;
1329 case 177:
1330 { return "a=|";
1331 }
1332 case 442: break;
1333 case 239:
1334 { return "*b";
1335 }
1336 case 443: break;
1337 case 158:
1338 { return "w(\\|";
1339 }
1340 case 444: break;
1341 case 109:
1342 { return "a\\";
1343 }
1344 case 445: break;
1345 case 264:
1346 { return "o";
1347 }
1348 case 446: break;
1349 case 129:
1350 { return "a)=|";
1351 }
1352 case 447: break;
1353 case 86:
1354 { return "u(/";
1355 }
1356 case 448: break;
1357 case 180:
1358 { return "*a\\";
1359 }
1360 case 449: break;
1361 case 11:
1362 { return "a)\\";
1363 }
1364 case 450: break;
1365 case 187:
1366 { return "h=|";
1367 }
1368 case 451: break;
1369 case 258:
1370 { return "m";
1371 }
1372 case 452: break;
1373 case 191:
1374 { return "*h/";
1375 }
1376 case 453: break;
1377 case 113:
1378 { return "h\\";
1379 }
1380 case 454: break;
1381 case 190:
1382 { return "*h\\";
1383 }
1384 case 455: break;
1385 case 196:
1386 { return "i+/";
1387 }
1388 case 456: break;
1389 case 254:
1390 { return "k";
1391 }
1392 case 457: break;
1393 case 215:
1394 { return "*(r";
1395 }
1396 case 458: break;
1397 case 27:
1398 { return "e)\\";
1399 }
1400 case 459: break;
1401 case 117:
1402 { return "o\\";
1403 }
1404 case 460: break;
1405 case 252:
1406 { return "i";
1407 }
1408 case 461: break;
1409 case 224:
1410 { return "*o\\";
1411 }
1412 case 462: break;
1413 case 144:
1414 { return "h(/|";
1415 }
1416 case 463: break;
1417 case 179:
1418 { return "*a_";
1419 }
1420 case 464: break;
1421 case 221:
1422 { return "*w|";
1423 }
1424 case 465: break;
1425 case 240:
1426 { return "g";
1427 }
1428 case 466: break;
1429 case 55:
1430 { return "i)\\";
1431 }
1432 case 467: break;
1433 case 209:
1434 { return "u=";
1435 }
1436 case 468: break;
1437 case 87:
1438 { return "u)=";
1439 }
1440 case 469: break;
1441 case 244:
1442 { return "e";
1443 }
1444 case 470: break;
1445 case 146:
1446 { return "h(=|";
1447 }
1448 case 471: break;
1449 case 83:
1450 { return "u)\\";
1451 }
1452 case 472: break;
1453 case 40:
1454 { return "h(\\";
1455 }
1456 case 473: break;
1457 case 262:
1458 { return "c";
1459 }
1460 case 474: break;
1461 case 136:
1462 { return "*(/|a";
1463 }
1464 case 475: break;
1465 case 236:
1466 { return "a";
1467 }
1468 case 476: break;
1469 case 208:
1470 { return "r(";
1471 }
1472 case 477: break;
1473 case 46:
1474 { return "*(h";
1475 }
1476 case 478: break;
1477 case 228:
1478 { return "_";
1479 }
1480 case 479: break;
1481 case 183:
1482 { return "h\\|";
1483 }
1484 case 480: break;
1485 case 233:
1486 { return "(";
1487 }
1488 case 481: break;
1489 case 138:
1490 { return "*(=|a";
1491 }
1492 case 482: break;
1493 case 194:
1494 { return "i_";
1495 }
1496 case 483: break;
1497 case 167:
1498 { return "*)/|w";
1499 }
1500 case 484: break;
1501 case 54:
1502 { return "i(";
1503 }
1504 case 485: break;
1505 case 131:
1506 { return "*)|a";
1507 }
1508 case 486: break;
1509 case 47:
1510 { return "*)\\h";
1511 }
1512 case 487: break;
1513 case 184:
1514 { return "h|";
1515 }
1516 case 488: break;
1517 case 149:
1518 { return "*)\\|h";
1519 }
1520 case 489: break;
1521 case 94:
1522 { return "w(";
1523 }
1524 case 490: break;
1525 case 50:
1526 { return "*(/h";
1527 }
1528 case 491: break;
1529 case 120:
1530 { return "u/";
1531 }
1532 case 492: break;
1533 case 85:
1534 { return "u)/";
1535 }
1536 case 493: break;
1537 case 169:
1538 { return "*)=|w";
1539 }
1540 case 494: break;
1541 case 156:
1542 { return "w(|";
1543 }
1544 case 495: break;
1545 case 202:
1546 { return "*i/";
1547 }
1548 case 496: break;
1549 case 52:
1550 { return "*(=h";
1551 }
1552 case 497: break;
1553 case 128:
1554 { return "a(/|";
1555 }
1556 case 498: break;
1557 case 157:
1558 { return "w)\\|";
1559 }
1560 case 499: break;
1561 case 60:
1562 { return "i(=";
1563 }
1564 case 500: break;
1565 case 164:
1566 { return "*(|w";
1567 }
1568 case 501: break;
1569 case 150:
1570 { return "*(\\|h";
1571 }
1572 case 502: break;
1573 case 220:
1574 { return "*w/";
1575 }
1576 case 503: break;
1577 case 186:
1578 { return "h=";
1579 }
1580 case 504: break;
1581 case 81:
1582 { return "u)";
1583 }
1584 case 505: break;
1585 case 130:
1586 { return "a(=|";
1587 }
1588 case 506: break;
1589 case 280:
1590 { return "*y";
1591 }
1592 case 507: break;
1593 case 203:
1594 { return "u^";
1595 }
1596 case 508: break;
1597 case 104:
1598 { return "*(\\w";
1599 }
1600 case 509: break;
1601 case 12:
1602 { return "a(\\";
1603 }
1604 case 510: break;
1605 case 105:
1606 { return "*)/w";
1607 }
1608 case 511: break;
1609 case 182:
1610 { return "*a|";
1611 }
1612 case 512: break;
1613 case 282:
1614 { return "*w";
1615 }
1616 case 513: break;
1617 case 199:
1618 { return "*i^";
1619 }
1620 case 514: break;
1621 case 100:
1622 { return "w(=";
1623 }
1624 case 515: break;
1625 case 90:
1626 { return "*(\\u";
1627 }
1628 case 516: break;
1629 case 26:
1630 { return "e(";
1631 }
1632 case 517: break;
1633 case 1:
1634 { return yytext();
1635 }
1636 case 518: break;
1637 case 142:
1638 { return "h(\\|";
1639 }
1640 case 519: break;
1641 case 274:
1642 { return "*u";
1643 }
1644 case 520: break;
1645 case 28:
1646 { return "e(\\";
1647 }
1648 case 521: break;
1649 case 107:
1650 { return "*)=w";
1651 }
1652 case 522: break;
1653 case 173:
1654 { return "a\\|";
1655 }
1656 case 523: break;
1657 case 6:
1658 { return "*s";
1659 }
1660 case 524: break;
1661 case 45:
1662 { return "*)h";
1663 }
1664 case 525: break;
1665 case 251:
1666 { return "*q";
1667 }
1668 case 526: break;
1669 case 119:
1670 { return "u\\";
1671 }
1672 case 527: break;
1673 case 56:
1674 { return "i(\\";
1675 }
1676 case 528: break;
1677 case 213:
1678 { return "*u\\";
1679 }
1680 case 529: break;
1681 case 284:
1682 { return "&gt;";
1683 }
1684 case 530: break;
1685 case 78:
1686 { return "*(\\o";
1687 }
1688 case 531: break;
1689 case 189:
1690 { return "*e/";
1691 }
1692 case 532: break;
1693 case 79:
1694 { return "*)/o";
1695 }
1696 case 533: break;
1697 case 265:
1698 { return "*o";
1699 }
1700 case 534: break;
1701 case 135:
1702 { return "*)/|a";
1703 }
1704 case 535: break;
1705 case 84:
1706 { return "u(\\";
1707 }
1708 case 536: break;
1709 case 235:
1710 { return "|";
1711 }
1712 case 537: break;
1713 case 58:
1714 { return "i(/";
1715 }
1716 case 538: break;
1717 case 259:
1718 { return "*m";
1719 }
1720 case 539: break;
1721 case 212:
1722 { return "*u_";
1723 }
1724 case 540: break;
1725 case 114:
1726 { return "h/";
1727 }
1728 case 541: break;
1729 case 246:
1730 { return "z";
1731 }
1732 case 542: break;
1733 case 255:
1734 { return "*k";
1735 }
1736 case 543: break;
1737 case 277:
1738 { return "x";
1739 }
1740 case 544: break;
1741 case 64:
1742 { return "*(\\i";
1743 }
1744 case 545: break;
1745 case 65:
1746 { return "*)/i";
1747 }
1748 case 546: break;
1749 case 137:
1750 { return "*)=|a";
1751 }
1752 case 547: break;
1753 case 253:
1754 { return "*i";
1755 }
1756 case 548: break;
1757 case 98:
1758 { return "w(/";
1759 }
1760 case 549: break;
1761 case 5:
1762 { return "v";
1763 }
1764 case 550: break;
1765 case 124:
1766 { return "a(|";
1767 }
1768 case 551: break;
1769 case 234:
1770 { return "?";
1771 }
1772 case 552: break;
1773 case 172:
1774 { return "a_";
1775 }
1776 case 553: break;
1777 case 217:
1778 { return "w|";
1779 }
1780 case 554: break;
1781 case 10:
1782 { return "a(";
1783 }
1784 case 555: break;
1785 case 241:
1786 { return "*g";
1787 }
1788 case 556: break;
1789 case 155:
1790 { return "w)|";
1791 }
1792 case 557: break;
1793 case 37:
1794 { return "h)";
1795 }
1796 case 558: break;
1797 case 271:
1798 { return "t";
1799 }
1800 case 559: break;
1801 case 231:
1802 { return "=";
1803 }
1804 case 560: break;
1805 case 67:
1806 { return "*)=i";
1807 }
1808 case 561: break;
1809 case 34:
1810 { return "*(\\e";
1811 }
1812 case 562: break;
1813 case 35:
1814 { return "*)/e";
1815 }
1816 case 563: break;
1817 case 140:
1818 { return "h(|";
1819 }
1820 case 564: break;
1821 case 132:
1822 { return "*(|a";
1823 }
1824 case 565: break;
1825 case 245:
1826 { return "*e";
1827 }
1828 case 566: break;
1829 case 268:
1830 { return "r";
1831 }
1832 case 567: break;
1833 case 59:
1834 { return "i)=";
1835 }
1836 case 568: break;
1837 case 70:
1838 { return "o(";
1839 }
1840 case 569: break;
1841 case 126:
1842 { return "a(\\|";
1843 }
1844 case 570: break;
1845 case 263:
1846 { return "*c";
1847 }
1848 case 571: break;
1849 case 197:
1850 { return "i=";
1851 }
1852 case 572: break;
1853 default:
1854 if (zzInput == YYEOF && zzStartRead == zzCurrentPos) {
1855 zzAtEOF = true;
1856 return null;
1857 }
1858 else {
1859 zzScanError(ZZ_NO_MATCH);
1860 }
1861 }
1862 }
1863 }
1864
1865
1866 }