Mercurial > hg > mpdl-group
view software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/transcode/Unicode2BetacodeLex.java @ 19:4a3641ae14d2
Erstellung
author | Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> |
---|---|
date | Wed, 09 Nov 2011 15:32:05 +0100 |
parents | |
children |
line wrap: on
line source
/* The following code was generated by JFlex 1.4.3 on 14.12.10 15:03 */ package de.mpg.mpiwg.berlin.mpdl.lt.text.transcode; /** * This class is a scanner generated by * <a href="http://www.jflex.de/">JFlex</a> 1.4.3 * on 14.12.10 15:03 from the specification file * <tt>/Users/jwillenborg/test/jflex/Unicode2Betacode.lex</tt> */ public class Unicode2BetacodeLex { /** This character denotes the end of file */ public static final int YYEOF = -1; /** initial size of the lookahead buffer */ private static final int ZZ_BUFFERSIZE = 16384; /** lexical states */ public static final int YYINITIAL = 0; /** * ZZ_LEXSTATE[l] is the state in the DFA for the lexical state l * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l * at the beginning of a line * l is of the form l = 2*k, k a non negative integer */ private static final int ZZ_LEXSTATE[] = { 0, 0 }; /** * Translates characters to character classes */ private static final String ZZ_CMAP_PACKED = "\12\0\1\0\26\0\1\u0118\1\0\1\u0130\2\0\1\u0113\4\u011c\2\0"+ "\1\u0112\1\11\1\u011c\1\u0131\2\u011c\1\u0132\5\u011c\1\u0133\1\0\1\u0116"+ "\1\1\1\u011c\1\2\1\u011b\1\0\5\u0134\1\6\1\u0134\1\4\22\u0134"+ "\1\u011d\1\0\1\u011a\1\0\1\u012a\1\0\1\u012f\3\u0135\1\u012c\1\7"+ "\1\u0114\1\5\3\u0135\1\u0119\3\u0135\1\u012e\1\u0135\1\u012d\1\u0135\1\u0115"+ "\1\3\1\u012b\4\u0135\2\0\1\u0117\71\0\1\12\u0248\0\1\344\1\345"+ "\1\351\1\0\1\346\1\0\1\347\1\0\1\350\12\0\1\352\1\353"+ "\16\0\1\354\41\0\1\355\113\0\1\357\1\361\1\363\1\365\1\367"+ "\1\371\1\373\1\375\1\377\1\u0101\1\u0103\1\u0105\1\u0107\1\u0109\1\u010b"+ "\1\u010d\1\u010f\1\0\1\10\1\u011f\1\u0121\1\u0123\1\u0125\1\u0127\1\u0129"+ "\7\0\1\356\1\360\1\362\1\364\1\366\1\370\1\372\1\374\1\376"+ "\1\u0100\1\u0102\1\u0104\1\u0106\1\u0108\1\u010a\1\u010c\1\u010e\1\u0111\1\u0110"+ "\1\u011e\1\u0120\1\u0122\1\u0124\1\u0126\1\u0128\u1b36\0\1\13\1\14\1\15"+ "\1\16\1\17\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\27"+ "\1\30\1\31\1\32\1\33\1\34\1\35\1\36\1\37\1\40\2\0"+ "\1\41\1\42\1\43\1\44\1\45\1\46\2\0\1\47\1\50\1\51"+ "\1\52\1\53\1\54\1\55\1\56\1\57\1\60\1\61\1\62\1\63"+ "\1\64\1\65\1\66\1\67\1\70\1\71\1\72\1\73\1\74\1\75"+ "\1\76\1\77\1\100\1\101\1\102\1\103\1\104\1\105\1\106\1\107"+ "\1\110\1\111\1\112\1\113\1\114\2\0\1\115\1\116\1\117\1\120"+ "\1\121\1\122\2\0\1\123\1\124\1\125\1\126\1\127\1\130\1\131"+ "\1\132\1\0\1\133\1\0\1\134\1\0\1\135\1\0\1\136\1\137"+ "\1\140\1\141\1\142\1\143\1\144\1\145\1\146\1\147\1\150\1\151"+ "\1\152\1\153\1\154\1\155\1\156\1\157\1\160\1\161\1\162\1\163"+ "\1\164\1\165\1\166\1\167\1\170\1\171\1\172\1\173\1\174\2\0"+ "\1\175\1\176\1\177\1\200\1\201\1\202\1\203\1\204\1\205\1\206"+ "\1\207\1\210\1\211\1\212\1\213\1\214\1\215\1\216\1\217\1\220"+ "\1\221\1\222\1\223\1\224\1\225\1\226\1\227\1\230\1\231\1\232"+ "\1\233\1\234\1\235\1\236\1\237\1\240\1\241\1\242\1\243\1\244"+ "\1\245\1\246\1\247\1\250\1\251\1\252\1\253\1\254\1\255\1\256"+ "\1\257\1\260\1\261\1\0\1\262\1\263\1\264\1\265\1\266\1\267"+ "\1\270\5\0\1\271\1\272\1\273\1\0\1\274\1\275\1\276\1\277"+ "\1\300\1\301\1\302\3\0\1\303\1\304\1\305\1\306\2\0\1\307"+ "\1\310\1\311\1\312\1\313\1\314\4\0\1\315\1\316\1\317\1\320"+ "\1\321\1\322\1\323\1\324\1\325\1\326\1\327\1\330\1\331\5\0"+ "\1\332\1\333\1\334\1\0\1\340\1\341\1\342\1\343\1\335\1\336"+ "\1\337\ue003\0"; /** * Translates characters to character classes */ private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED); /** * Translates DFA states to action switch labels. */ private static final int [] ZZ_ACTION = zzUnpackAction(); private static final String ZZ_ACTION_PACKED_0 = "\1\0\2\1\1\2\1\3\1\4\1\5\1\6\1\7"+ "\1\10\1\11\1\12\1\13\1\14\1\15\1\16\1\17"+ "\1\20\1\21\1\22\1\23\1\24\1\25\1\26\1\27"+ "\1\30\1\31\1\32\1\33\1\34\1\35\1\36\1\37"+ "\1\40\1\41\1\42\1\43\1\44\1\45\1\46\1\47"+ "\1\50\1\51\1\52\1\53\1\54\1\55\1\56\1\57"+ "\1\60\1\61\1\62\1\63\1\64\1\65\1\66\1\67"+ "\1\70\1\71\1\72\1\73\1\74\1\75\1\76\1\77"+ "\1\100\1\101\1\102\1\103\1\104\1\105\1\106\1\107"+ "\1\110\1\111\1\112\1\113\1\114\1\115\1\116\1\117"+ "\1\120\1\121\1\122\1\123\1\124\1\125\1\126\1\127"+ "\1\130\1\131\1\132\1\133\1\134\1\135\1\136\1\137"+ "\1\140\1\141\1\142\1\143\1\144\1\145\1\146\1\147"+ "\1\150\1\151\1\152\1\153\1\154\1\155\1\156\1\157"+ "\1\160\1\161\1\162\1\163\1\164\1\165\1\166\1\167"+ "\1\170\1\171\1\172\1\173\1\174\1\175\1\176\1\177"+ "\1\200\1\201\1\202\1\203\1\204\1\205\1\206\1\207"+ "\1\210\1\211\1\212\1\213\1\214\1\215\1\216\1\217"+ "\1\220\1\221\1\222\1\223\1\224\1\225\1\226\1\227"+ "\1\230\1\231\1\232\1\233\1\234\1\235\1\236\1\237"+ "\1\240\1\241\1\242\1\243\1\244\1\245\1\246\1\247"+ "\1\250\1\251\1\252\1\253\1\254\1\255\1\256\1\257"+ "\1\260\1\261\1\262\1\263\1\264\1\265\1\266\1\267"+ "\1\270\1\271\1\272\1\273\1\274\1\275\1\276\1\277"+ "\1\300\1\301\1\302\1\303\1\304\1\305\1\306\1\307"+ "\1\310\1\311\1\312\1\313\1\314\1\315\1\316\1\317"+ "\1\320\1\321\1\322\1\323\1\324\1\325\1\326\1\327"+ "\1\330\1\331\1\332\1\333\1\334\1\335\1\336\1\337"+ "\1\340\1\341\1\342\1\343\1\344\1\345\1\346\1\347"+ "\1\350\1\351\1\352\1\353\1\354\1\355\1\356\1\357"+ "\1\360\1\361\1\362\1\363\1\364\1\365\1\366\1\367"+ "\1\370\1\371\1\372\1\373\1\374\1\375\1\376\1\377"+ "\1\u0100\1\u0101\1\u0102\1\u0103\1\u0104\1\u0105\1\u0106\1\u0107"+ "\1\u0108\1\u0109\1\u010a\1\u010b\1\u010c\1\u010d\1\u010e\2\1"+ "\1\u010f\1\u0110\1\u0111\1\u0112\1\u0113\1\u0114\1\u0115\1\u0116"+ "\1\u0117\1\u0118\1\u0119\1\u011a\1\1\3\0\1\u011b\1\0"+ "\1\u011b\33\0\1\u011c\1\u011d\17\0\1\u011e"; private static int [] zzUnpackAction() { int [] result = new int[338]; int offset = 0; offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result); return result; } private static int zzUnpackAction(String packed, int offset, int [] result) { int i = 0; /* index in packed string */ int j = offset; /* index in unpacked array */ int l = packed.length(); while (i < l) { int count = packed.charAt(i++); int value = packed.charAt(i++); do result[j++] = value; while (--count > 0); } return j; } /** * Translates a state to a row index in the transition table */ private static final int [] ZZ_ROWMAP = zzUnpackRowMap(); private static final String ZZ_ROWMAP_PACKED_0 = "\0\0\0\u0136\0\u026c\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u03a2"+ "\0\u04d8\0\u060e\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136"+ "\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0136\0\u0744\0\u087a"+ "\0\u09b0\0\u0ae6\0\u0136\0\u0c1c\0\u0d52\0\u0e88\0\u0fbe\0\u10f4"+ "\0\u122a\0\u1360\0\u1496\0\u15cc\0\u1702\0\u1838\0\u196e\0\u1aa4"+ "\0\u1bda\0\u1d10\0\u1e46\0\u1f7c\0\u20b2\0\u21e8\0\u231e\0\u2454"+ "\0\u258a\0\u26c0\0\u27f6\0\u292c\0\u2a62\0\u2b98\0\u2cce\0\u2e04"+ "\0\u0136\0\u0136\0\u2f3a\0\u3070\0\u31a6\0\u32dc\0\u3412\0\u3548"+ "\0\u367e\0\u37b4\0\u38ea\0\u3a20\0\u3b56\0\u3c8c\0\u3dc2\0\u3ef8"+ "\0\u402e\0\u0136"; private static int [] zzUnpackRowMap() { int [] result = new int[338]; int offset = 0; offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result); return result; } private static int zzUnpackRowMap(String packed, int offset, int [] result) { int i = 0; /* index in packed string */ int j = offset; /* index in unpacked array */ int l = packed.length(); while (i < l) { int high = packed.charAt(i++) << 16; result[j++] = high | packed.charAt(i++); } return j; } /** * The transition table of the DFA */ private static final int [] ZZ_TRANS = zzUnpackTrans(); private static final String ZZ_TRANS_PACKED_0 = "\1\2\1\3\2\2\1\4\1\5\1\6\1\7\1\10"+ "\1\11\1\12\1\13\1\14\1\15\1\16\1\17\1\20"+ "\1\21\1\22\1\23\1\24\1\25\1\26\1\27\1\30"+ "\1\31\1\32\1\33\1\34\1\35\1\36\1\37\1\40"+ "\1\41\1\42\1\43\1\44\1\45\1\46\1\47\1\50"+ "\1\51\1\52\1\53\1\54\1\55\1\56\1\57\1\60"+ "\1\61\1\62\1\63\1\64\1\65\1\66\1\67\1\70"+ "\1\71\1\72\1\73\1\74\1\75\1\76\1\77\1\100"+ "\1\101\1\102\1\103\1\104\1\105\1\106\1\107\1\110"+ "\1\111\1\112\1\113\1\114\1\115\1\116\1\117\1\120"+ "\1\121\1\122\1\123\1\124\1\125\1\126\1\127\1\130"+ "\1\131\1\132\1\133\1\134\1\135\1\136\1\137\1\140"+ "\1\141\1\142\1\143\1\144\1\145\1\146\1\147\1\150"+ "\1\151\1\152\1\153\1\154\1\155\1\156\1\157\1\160"+ "\1\161\1\162\1\163\1\164\1\165\1\166\1\167\1\170"+ "\1\171\1\172\1\173\1\174\1\175\1\176\1\177\1\200"+ "\1\201\1\202\1\203\1\204\1\205\1\206\1\207\1\210"+ "\1\211\1\212\1\213\1\214\1\215\1\216\1\217\1\220"+ "\1\221\1\222\1\223\1\224\1\225\1\226\1\227\1\230"+ "\1\231\1\232\1\233\1\234\1\235\1\236\1\237\1\240"+ "\1\241\1\242\1\243\1\244\1\245\1\246\1\247\1\250"+ "\1\251\1\252\1\253\1\254\1\255\1\256\1\257\1\260"+ "\1\261\1\262\1\263\1\264\1\265\1\266\1\267\1\270"+ "\1\271\1\272\1\273\1\274\1\275\1\276\1\277\1\300"+ "\1\301\1\302\1\303\1\304\1\305\1\306\1\307\1\310"+ "\1\311\1\312\1\313\1\314\1\315\1\316\1\317\1\320"+ "\1\321\1\322\1\323\1\324\1\325\1\326\1\327\1\330"+ "\1\331\1\332\1\333\1\334\1\335\1\336\1\337\1\340"+ "\1\341\1\342\1\343\1\344\1\345\1\346\1\347\1\350"+ "\1\351\1\352\1\353\1\354\1\355\1\356\1\357\1\360"+ "\1\361\1\362\1\363\1\364\1\365\1\366\1\367\1\370"+ "\1\371\1\372\1\373\1\374\1\375\1\376\1\377\1\u0100"+ "\1\u0101\1\u0102\1\u0103\1\u0104\1\u0105\1\u0106\1\u0107\1\u0108"+ "\1\u0109\1\u010a\1\u010b\1\u010c\1\u010d\1\u010e\1\u010f\1\u0110"+ "\1\u0111\1\2\1\u0112\12\2\1\u0113\1\u0114\1\u0115\1\u0116"+ "\1\u0117\1\u0118\1\u0119\1\u011a\1\u011b\1\u011c\1\u011d\1\u011e"+ "\1\u011f\13\2\u0136\0\2\u0120\1\0\u0133\u0120\u0113\0\1\u0121"+ "\6\0\1\u0122\2\0\1\u0122\30\0\3\u0123\1\0\1\u0123"+ "\1\0\1\u0123\1\0\u010a\u0123\1\u0124\1\u0125\2\0\3\u0123"+ "\1\0\1\u0123\1\u0126\2\0\15\u0123\5\0\1\u0123\3\0"+ "\1\u0123\4\0\5\u0127\u010c\0\1\u0128\1\u0127\3\0\1\u0129"+ "\21\0\1\u012a\1\u0127\1\u012b\2\u0127\1\u012c\3\0\2\u0127"+ "\u0114\0\1\u012d\4\0\1\u012e\21\0\1\u012f\1\0\1\u0130"+ "\13\0\1\u0131\u0246\0\1\u0132\44\0\1\u0123\1\0\1\u0123"+ "\1\0\1\u0123\u010a\0\1\u0123\1\0\2\u0123\2\0\2\u0123"+ "\1\0\2\u0123\16\0\5\u0123\1\0\3\u0123\1\0\1\u0123"+ "\u0112\0\1\u0123\u013c\0\1\u0133\34\0\3\u0123\1\0\1\u0123"+ "\1\0\1\u0123\1\0\u010a\u0123\1\0\1\u0123\2\0\3\u0123"+ "\1\0\1\u0123\3\0\15\u0123\5\0\1\u0123\3\0\1\u0123"+ "\4\0\5\u0127\u010c\0\2\u0127\1\2\2\0\1\u0127\21\0"+ "\5\u0127\4\0\2\u0127\3\0\5\u0127\u010c\0\1\u0127\1\u0134"+ "\1\2\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127\3\0"+ "\5\u0127\u010c\0\1\u0127\1\u0135\1\2\2\0\1\u0127\21\0"+ "\3\u0127\1\u0136\1\u0127\4\0\2\u0127\3\0\5\u0127\u010c\0"+ "\2\u0127\1\2\2\0\1\u0127\21\0\1\u0127\1\u0137\3\u0127"+ "\4\0\2\u0127\3\0\5\u0127\u010c\0\2\u0127\1\2\2\0"+ "\1\u0127\21\0\3\u0127\1\u0138\1\u0127\4\0\2\u0127\u0131\0"+ "\1\u0139\u0119\0\1\u013a\u0135\0\1\u013b\30\0\1\u013c\u0133\0"+ "\1\u013d\u0137\0\1\u013e\11\0\1\2\1\u0131\u0247\0\1\u013f"+ "\u0135\0\1\u0140\43\0\5\u0127\u010c\0\2\u0127\1\u0141\2\0"+ "\1\u0127\21\0\5\u0127\4\0\2\u0127\3\0\5\u0127\u010c\0"+ "\2\u0127\1\u0142\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127"+ "\3\0\5\u0127\u010c\0\2\u0127\1\2\2\0\1\u0127\21\0"+ "\4\u0127\1\u0143\4\0\2\u0127\3\0\5\u0127\u010c\0\2\u0127"+ "\1\2\2\0\1\u0127\21\0\2\u0127\1\u0144\2\u0127\4\0"+ "\2\u0127\3\0\5\u0127\u010c\0\2\u0127\1\2\2\0\1\u0127"+ "\21\0\4\u0127\1\u0145\4\0\2\u0127\u0132\0\1\u0146\u0119\0"+ "\1\u0141\u0135\0\1\u0142\u014e\0\1\u0147\u0133\0\1\u0148\u0137\0"+ "\1\u0149\u011c\0\1\u014a\u0135\0\1\u0123\42\0\5\u0127\u010c\0"+ "\2\u0127\1\2\2\0\1\u0127\21\0\2\u0127\1\u014b\2\u0127"+ "\4\0\2\u0127\3\0\5\u0127\u010c\0\1\u0127\1\u014c\1\2"+ "\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127\3\0\5\u0127"+ "\u010c\0\2\u0127\1\2\2\0\1\u0127\21\0\2\u0127\1\u014d"+ "\2\u0127\4\0\2\u0127\u0133\0\1\u014e\u012f\0\1\u014f\u011d\0"+ "\1\u0150\u014d\0\1\u0151\u011f\0\1\u0122\41\0\5\u0127\u010c\0"+ "\2\u0127\1\353\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127"+ "\3\0\5\u0127\u010c\0\2\u0127\1\355\2\0\1\u0127\21\0"+ "\5\u0127\4\0\2\u0127\3\0\5\u0127\u010c\0\2\u0127\1\352"+ "\2\0\1\u0127\21\0\5\u0127\4\0\2\u0127\u0116\0\1\u0152"+ "\u0135\0\1\353\u0135\0\1\355\u0135\0\1\352\37\0"; private static int [] zzUnpackTrans() { int [] result = new int[16740]; int offset = 0; offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result); return result; } private static int zzUnpackTrans(String packed, int offset, int [] result) { int i = 0; /* index in packed string */ int j = offset; /* index in unpacked array */ int l = packed.length(); while (i < l) { int count = packed.charAt(i++); int value = packed.charAt(i++); value--; do result[j++] = value; while (--count > 0); } return j; } /* error codes */ private static final int ZZ_UNKNOWN_ERROR = 0; private static final int ZZ_NO_MATCH = 1; private static final int ZZ_PUSHBACK_2BIG = 2; /* error messages for the codes above */ private static final String ZZ_ERROR_MSG[] = { "Unkown internal scanner error", "Error: could not match input", "Error: pushback value was too large" }; /** * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code> */ private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute(); private static final String ZZ_ATTRIBUTE_PACKED_0 = "\1\0\1\11\1\1\u010c\11\3\1\14\11\1\1\3\0"+ "\1\11\1\0\1\1\33\0\2\11\17\0\1\11"; private static int [] zzUnpackAttribute() { int [] result = new int[338]; int offset = 0; offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result); return result; } private static int zzUnpackAttribute(String packed, int offset, int [] result) { int i = 0; /* index in packed string */ int j = offset; /* index in unpacked array */ int l = packed.length(); while (i < l) { int count = packed.charAt(i++); int value = packed.charAt(i++); do result[j++] = value; while (--count > 0); } return j; } /** the input device */ private java.io.Reader zzReader; /** the current state of the DFA */ private int zzState; /** the current lexical state */ private int zzLexicalState = YYINITIAL; /** this buffer contains the current text to be matched and is the source of the yytext() string */ private char zzBuffer[] = new char[ZZ_BUFFERSIZE]; /** the textposition at the last accepting state */ private int zzMarkedPos; /** the current text position in the buffer */ private int zzCurrentPos; /** startRead marks the beginning of the yytext() string in the buffer */ private int zzStartRead; /** endRead marks the last character in the buffer, that has been read from input */ private int zzEndRead; /** number of newlines encountered up to the start of the matched text */ private int yyline; /** the number of characters up to the start of the matched text */ private int yychar; /** * the number of characters from the last newline up to the start of the * matched text */ private int yycolumn; /** * zzAtBOL == true <=> the scanner is currently at the beginning of a line */ private boolean zzAtBOL = true; /** zzAtEOF == true <=> the scanner is at the EOF */ private boolean zzAtEOF; /** denotes if the user-EOF-code has already been executed */ private boolean zzEOFDone; /** * Creates a new scanner * There is also a java.io.InputStream version of this constructor. * * @param in the java.io.Reader to read input from. */ public Unicode2BetacodeLex(java.io.Reader in) { this.zzReader = in; } /** * Creates a new scanner. * There is also java.io.Reader version of this constructor. * * @param in the java.io.Inputstream to read input from. */ public Unicode2BetacodeLex(java.io.InputStream in) { this(new java.io.InputStreamReader(in)); } /** * Unpacks the compressed character translation table. * * @param packed the packed character translation table * @return the unpacked character translation table */ private static char [] zzUnpackCMap(String packed) { char [] map = new char[0x10000]; int i = 0; /* index in packed string */ int j = 0; /* index in unpacked array */ while (i < 724) { int count = packed.charAt(i++); char value = packed.charAt(i++); do map[j++] = value; while (--count > 0); } return map; } /** * Refills the input buffer. * * @return <code>false</code>, iff there was new input. * * @exception java.io.IOException if any I/O-Error occurs */ private boolean zzRefill() throws java.io.IOException { /* first: make room (if you can) */ if (zzStartRead > 0) { System.arraycopy(zzBuffer, zzStartRead, zzBuffer, 0, zzEndRead-zzStartRead); /* translate stored positions */ zzEndRead-= zzStartRead; zzCurrentPos-= zzStartRead; zzMarkedPos-= zzStartRead; zzStartRead = 0; } /* is the buffer big enough? */ if (zzCurrentPos >= zzBuffer.length) { /* if not: blow it up */ char newBuffer[] = new char[zzCurrentPos*2]; System.arraycopy(zzBuffer, 0, newBuffer, 0, zzBuffer.length); zzBuffer = newBuffer; } /* finally: fill the buffer with new input */ int numRead = zzReader.read(zzBuffer, zzEndRead, zzBuffer.length-zzEndRead); if (numRead > 0) { zzEndRead+= numRead; return false; } // unlikely but not impossible: read 0 characters, but not at end of stream if (numRead == 0) { int c = zzReader.read(); if (c == -1) { return true; } else { zzBuffer[zzEndRead++] = (char) c; return false; } } // numRead < 0 return true; } /** * Closes the input stream. */ public final void yyclose() throws java.io.IOException { zzAtEOF = true; /* indicate end of file */ zzEndRead = zzStartRead; /* invalidate buffer */ if (zzReader != null) zzReader.close(); } /** * Resets the scanner to read from a new input stream. * Does not close the old reader. * * All internal variables are reset, the old input stream * <b>cannot</b> be reused (internal buffer is discarded and lost). * Lexical state is set to <tt>ZZ_INITIAL</tt>. * * @param reader the new input stream */ public final void yyreset(java.io.Reader reader) { zzReader = reader; zzAtBOL = true; zzAtEOF = false; zzEOFDone = false; zzEndRead = zzStartRead = 0; zzCurrentPos = zzMarkedPos = 0; yyline = yychar = yycolumn = 0; zzLexicalState = YYINITIAL; } /** * Returns the current lexical state. */ public final int yystate() { return zzLexicalState; } /** * Enters a new lexical state * * @param newState the new lexical state */ public final void yybegin(int newState) { zzLexicalState = newState; } /** * Returns the text matched by the current regular expression. */ public final String yytext() { return new String( zzBuffer, zzStartRead, zzMarkedPos-zzStartRead ); } /** * Returns the character at position <tt>pos</tt> from the * matched text. * * It is equivalent to yytext().charAt(pos), but faster * * @param pos the position of the character to fetch. * A value from 0 to yylength()-1. * * @return the character at position pos */ public final char yycharat(int pos) { return zzBuffer[zzStartRead+pos]; } /** * Returns the length of the matched text region. */ public final int yylength() { return zzMarkedPos-zzStartRead; } /** * Reports an error that occured while scanning. * * In a wellformed scanner (no or only correct usage of * yypushback(int) and a match-all fallback rule) this method * will only be called with things that "Can't Possibly Happen". * If this method is called, something is seriously wrong * (e.g. a JFlex bug producing a faulty scanner etc.). * * Usual syntax/scanner level error handling should be done * in error fallback rules. * * @param errorCode the code of the errormessage to display */ private void zzScanError(int errorCode) { String message; try { message = ZZ_ERROR_MSG[errorCode]; } catch (ArrayIndexOutOfBoundsException e) { message = ZZ_ERROR_MSG[ZZ_UNKNOWN_ERROR]; } throw new Error(message); } /** * Pushes the specified amount of characters back into the input stream. * * They will be read again by then next call of the scanning method * * @param number the number of characters to be read again. * This number must not be greater than yylength()! */ public void yypushback(int number) { if ( number > yylength() ) zzScanError(ZZ_PUSHBACK_2BIG); zzMarkedPos -= number; } /** * Resumes scanning until the next regular expression is matched, * the end of input is encountered or an I/O-Error occurs. * * @return the next token * @exception java.io.IOException if any I/O-Error occurs */ public java.lang.String yylex() throws java.io.IOException { int zzInput; int zzAction; // cached fields: int zzCurrentPosL; int zzMarkedPosL; int zzEndReadL = zzEndRead; char [] zzBufferL = zzBuffer; char [] zzCMapL = ZZ_CMAP; int [] zzTransL = ZZ_TRANS; int [] zzRowMapL = ZZ_ROWMAP; int [] zzAttrL = ZZ_ATTRIBUTE; while (true) { zzMarkedPosL = zzMarkedPos; zzAction = -1; zzCurrentPosL = zzCurrentPos = zzStartRead = zzMarkedPosL; zzState = ZZ_LEXSTATE[zzLexicalState]; zzForAction: { while (true) { if (zzCurrentPosL < zzEndReadL) zzInput = zzBufferL[zzCurrentPosL++]; else if (zzAtEOF) { zzInput = YYEOF; break zzForAction; } else { // store back cached positions zzCurrentPos = zzCurrentPosL; zzMarkedPos = zzMarkedPosL; boolean eof = zzRefill(); // get translated positions and possibly new buffer zzCurrentPosL = zzCurrentPos; zzMarkedPosL = zzMarkedPos; zzBufferL = zzBuffer; zzEndReadL = zzEndRead; if (eof) { zzInput = YYEOF; break zzForAction; } else { zzInput = zzBufferL[zzCurrentPosL++]; } } int zzNext = zzTransL[ zzRowMapL[zzState] + zzCMapL[zzInput] ]; if (zzNext == -1) break zzForAction; zzState = zzNext; int zzAttributes = zzAttrL[zzState]; if ( (zzAttributes & 1) == 1 ) { zzAction = zzState; zzMarkedPosL = zzCurrentPosL; if ( (zzAttributes & 8) == 8 ) break zzForAction; } } } // store back cached position zzMarkedPos = zzMarkedPosL; switch (zzAction < 0 ? zzAction : ZZ_ACTION[zzAction]) { case 266: { return "p"; } case 287: break; case 102: { return "*(w"; } case 288: break; case 20: { return "*(\\a"; } case 289: break; case 21: { return "*)/a"; } case 290: break; case 181: { return "*a/"; } case 291: break; case 237: { return "*a"; } case 292: break; case 260: { return "n"; } case 293: break; case 89: { return "*(u"; } case 294: break; case 16: { return "a(="; } case 295: break; case 30: { return "e(/"; } case 296: break; case 195: { return "i+\\"; } case 297: break; case 222: { return "w="; } case 298: break; case 210: { return "u+="; } case 299: break; case 99: { return "w)="; } case 300: break; case 256: { return "l"; } case 301: break; case 205: { return "u+\\"; } case 302: break; case 23: { return "*)=a"; } case 303: break; case 225: { return "*o/"; } case 304: break; case 44: { return "h(="; } case 305: break; case 3: { return "j"; } case 306: break; case 103: { return "*)\\w"; } case 307: break; case 152: { return "*(/|h"; } case 308: break; case 165: { return "*)\\|w"; } case 309: break; case 248: { return "h"; } case 310: break; case 76: { return "*(o"; } case 311: break; case 159: { return "w)/|"; } case 312: break; case 178: { return "*a^"; } case 313: break; case 141: { return "h)\\|"; } case 314: break; case 106: { return "*(/w"; } case 315: break; case 275: { return "f"; } case 316: break; case 227: { return "/"; } case 317: break; case 91: { return "*(/u"; } case 318: break; case 242: { return "d"; } case 319: break; case 161: { return "w)=|"; } case 320: break; case 57: { return "i)/"; } case 321: break; case 154: { return "*(=|h"; } case 322: break; case 95: { return "w)\\"; } case 323: break; case 108: { return "*(=w"; } case 324: break; case 116: { return "i/"; } case 325: break; case 238: { return "b"; } case 326: break; case 207: { return "r)"; } case 327: break; case 147: { return "*)|h"; } case 328: break; case 62: { return "*(i"; } case 329: break; case 230: { return "+"; } case 330: break; case 77: { return "*)\\o"; } case 331: break; case 166: { return "*(\\|w"; } case 332: break; case 71: { return "o)\\"; } case 333: break; case 92: { return "*(=u"; } case 334: break; case 232: { return ")"; } case 335: break; case 14: { return "a(/"; } case 336: break; case 122: { return "w/"; } case 337: break; case 206: { return "u+/"; } case 338: break; case 80: { return "*(/o"; } case 339: break; case 97: { return "w)/"; } case 340: break; case 123: { return "a)|"; } case 341: break; case 229: { return "^"; } case 342: break; case 32: { return "*(e"; } case 343: break; case 286: { return "'"; } case 344: break; case 42: { return "h(/"; } case 345: break; case 53: { return "i)"; } case 346: break; case 174: { return "a|"; } case 347: break; case 63: { return "*)\\i"; } case 348: break; case 139: { return "h)|"; } case 349: break; case 193: { return "i^"; } case 350: break; case 18: { return "*(a"; } case 351: break; case 74: { return "o(/"; } case 352: break; case 93: { return "w)"; } case 353: break; case 66: { return "*(/i"; } case 354: break; case 101: { return "*)w"; } case 355: break; case 7: { return "!"; } case 356: break; case 33: { return "*)\\e"; } case 357: break; case 15: { return "a)="; } case 358: break; case 29: { return "e)/"; } case 359: break; case 68: { return "*(=i"; } case 360: break; case 125: { return "a)\\|"; } case 361: break; case 36: { return "*(/e"; } case 362: break; case 115: { return "i\\"; } case 363: break; case 201: { return "*i\\"; } case 364: break; case 112: { return "e/"; } case 365: break; case 218: { return "w/|"; } case 366: break; case 176: { return "a="; } case 367: break; case 19: { return "*)\\a"; } case 368: break; case 43: { return "h)="; } case 369: break; case 133: { return "*)\\|a"; } case 370: break; case 270: { return "s1"; } case 371: break; case 247: { return "*z"; } case 372: break; case 204: { return "u_"; } case 373: break; case 143: { return "h)/|"; } case 374: break; case 22: { return "*(/a"; } case 375: break; case 82: { return "u("; } case 376: break; case 75: { return "*)o"; } case 377: break; case 223: { return "w=|"; } case 378: break; case 278: { return "*x"; } case 379: break; case 121: { return "w\\"; } case 380: break; case 200: { return "*i_"; } case 381: break; case 219: { return "*w\\"; } case 382: break; case 25: { return "e)"; } case 383: break; case 145: { return "h)=|"; } case 384: break; case 151: { return "*)/|h"; } case 385: break; case 24: { return "*(=a"; } case 386: break; case 4: { return "*v"; } case 387: break; case 192: { return "*h|"; } case 388: break; case 39: { return "h)\\"; } case 389: break; case 272: { return "*t"; } case 390: break; case 134: { return "*(\\|a"; } case 391: break; case 214: { return "*u/"; } case 392: break; case 61: { return "*)i"; } case 393: break; case 269: { return "*r"; } case 394: break; case 160: { return "w(/|"; } case 395: break; case 13: { return "a)/"; } case 396: break; case 153: { return "*)=|h"; } case 397: break; case 267: { return "*p"; } case 398: break; case 111: { return "e\\"; } case 399: break; case 88: { return "u(="; } case 400: break; case 31: { return "*)e"; } case 401: break; case 188: { return "*e\\"; } case 402: break; case 110: { return "a/"; } case 403: break; case 162: { return "w(=|"; } case 404: break; case 41: { return "h)/"; } case 405: break; case 261: { return "*n"; } case 406: break; case 226: { return "\\"; } case 407: break; case 96: { return "w(\\"; } case 408: break; case 148: { return "*(|h"; } case 409: break; case 257: { return "*l"; } case 410: break; case 211: { return "*u^"; } case 411: break; case 198: { return "i+="; } case 412: break; case 279: { return "y"; } case 413: break; case 17: { return "*)a"; } case 414: break; case 73: { return "o)/"; } case 415: break; case 72: { return "o(\\"; } case 416: break; case 118: { return "o/"; } case 417: break; case 168: { return "*(/|w"; } case 418: break; case 2: { return "*j"; } case 419: break; case 281: { return "w"; } case 420: break; case 48: { return "*(\\h"; } case 421: break; case 49: { return "*)/h"; } case 422: break; case 9: { return "a)"; } case 423: break; case 216: { return "w\\|"; } case 424: break; case 249: { return "*h"; } case 425: break; case 273: { return "u"; } case 426: break; case 171: { return "a^"; } case 427: break; case 175: { return "a/|"; } case 428: break; case 285: { return "<"; } case 429: break; case 276: { return "*f"; } case 430: break; case 38: { return "h("; } case 431: break; case 283: // lookahead expression with fixed base length zzMarkedPos = zzStartRead + 1; { return "s"; } case 432: break; case 51: { return "*)=h"; } case 433: break; case 127: { return "a)/|"; } case 434: break; case 170: { return "*(=|w"; } case 435: break; case 69: { return "o)"; } case 436: break; case 243: { return "*d"; } case 437: break; case 185: { return "h/|"; } case 438: break; case 250: { return "q"; } case 439: break; case 163: { return "*)|w"; } case 440: break; case 8: { return ":"; } case 441: break; case 177: { return "a=|"; } case 442: break; case 239: { return "*b"; } case 443: break; case 158: { return "w(\\|"; } case 444: break; case 109: { return "a\\"; } case 445: break; case 264: { return "o"; } case 446: break; case 129: { return "a)=|"; } case 447: break; case 86: { return "u(/"; } case 448: break; case 180: { return "*a\\"; } case 449: break; case 11: { return "a)\\"; } case 450: break; case 187: { return "h=|"; } case 451: break; case 258: { return "m"; } case 452: break; case 191: { return "*h/"; } case 453: break; case 113: { return "h\\"; } case 454: break; case 190: { return "*h\\"; } case 455: break; case 196: { return "i+/"; } case 456: break; case 254: { return "k"; } case 457: break; case 215: { return "*(r"; } case 458: break; case 27: { return "e)\\"; } case 459: break; case 117: { return "o\\"; } case 460: break; case 252: { return "i"; } case 461: break; case 224: { return "*o\\"; } case 462: break; case 144: { return "h(/|"; } case 463: break; case 179: { return "*a_"; } case 464: break; case 221: { return "*w|"; } case 465: break; case 240: { return "g"; } case 466: break; case 55: { return "i)\\"; } case 467: break; case 209: { return "u="; } case 468: break; case 87: { return "u)="; } case 469: break; case 244: { return "e"; } case 470: break; case 146: { return "h(=|"; } case 471: break; case 83: { return "u)\\"; } case 472: break; case 40: { return "h(\\"; } case 473: break; case 262: { return "c"; } case 474: break; case 136: { return "*(/|a"; } case 475: break; case 236: { return "a"; } case 476: break; case 208: { return "r("; } case 477: break; case 46: { return "*(h"; } case 478: break; case 228: { return "_"; } case 479: break; case 183: { return "h\\|"; } case 480: break; case 233: { return "("; } case 481: break; case 138: { return "*(=|a"; } case 482: break; case 194: { return "i_"; } case 483: break; case 167: { return "*)/|w"; } case 484: break; case 54: { return "i("; } case 485: break; case 131: { return "*)|a"; } case 486: break; case 47: { return "*)\\h"; } case 487: break; case 184: { return "h|"; } case 488: break; case 149: { return "*)\\|h"; } case 489: break; case 94: { return "w("; } case 490: break; case 50: { return "*(/h"; } case 491: break; case 120: { return "u/"; } case 492: break; case 85: { return "u)/"; } case 493: break; case 169: { return "*)=|w"; } case 494: break; case 156: { return "w(|"; } case 495: break; case 202: { return "*i/"; } case 496: break; case 52: { return "*(=h"; } case 497: break; case 128: { return "a(/|"; } case 498: break; case 157: { return "w)\\|"; } case 499: break; case 60: { return "i(="; } case 500: break; case 164: { return "*(|w"; } case 501: break; case 150: { return "*(\\|h"; } case 502: break; case 220: { return "*w/"; } case 503: break; case 186: { return "h="; } case 504: break; case 81: { return "u)"; } case 505: break; case 130: { return "a(=|"; } case 506: break; case 280: { return "*y"; } case 507: break; case 203: { return "u^"; } case 508: break; case 104: { return "*(\\w"; } case 509: break; case 12: { return "a(\\"; } case 510: break; case 105: { return "*)/w"; } case 511: break; case 182: { return "*a|"; } case 512: break; case 282: { return "*w"; } case 513: break; case 199: { return "*i^"; } case 514: break; case 100: { return "w(="; } case 515: break; case 90: { return "*(\\u"; } case 516: break; case 26: { return "e("; } case 517: break; case 1: { return yytext(); } case 518: break; case 142: { return "h(\\|"; } case 519: break; case 274: { return "*u"; } case 520: break; case 28: { return "e(\\"; } case 521: break; case 107: { return "*)=w"; } case 522: break; case 173: { return "a\\|"; } case 523: break; case 6: { return "*s"; } case 524: break; case 45: { return "*)h"; } case 525: break; case 251: { return "*q"; } case 526: break; case 119: { return "u\\"; } case 527: break; case 56: { return "i(\\"; } case 528: break; case 213: { return "*u\\"; } case 529: break; case 284: { return ">"; } case 530: break; case 78: { return "*(\\o"; } case 531: break; case 189: { return "*e/"; } case 532: break; case 79: { return "*)/o"; } case 533: break; case 265: { return "*o"; } case 534: break; case 135: { return "*)/|a"; } case 535: break; case 84: { return "u(\\"; } case 536: break; case 235: { return "|"; } case 537: break; case 58: { return "i(/"; } case 538: break; case 259: { return "*m"; } case 539: break; case 212: { return "*u_"; } case 540: break; case 114: { return "h/"; } case 541: break; case 246: { return "z"; } case 542: break; case 255: { return "*k"; } case 543: break; case 277: { return "x"; } case 544: break; case 64: { return "*(\\i"; } case 545: break; case 65: { return "*)/i"; } case 546: break; case 137: { return "*)=|a"; } case 547: break; case 253: { return "*i"; } case 548: break; case 98: { return "w(/"; } case 549: break; case 5: { return "v"; } case 550: break; case 124: { return "a(|"; } case 551: break; case 234: { return "?"; } case 552: break; case 172: { return "a_"; } case 553: break; case 217: { return "w|"; } case 554: break; case 10: { return "a("; } case 555: break; case 241: { return "*g"; } case 556: break; case 155: { return "w)|"; } case 557: break; case 37: { return "h)"; } case 558: break; case 271: { return "t"; } case 559: break; case 231: { return "="; } case 560: break; case 67: { return "*)=i"; } case 561: break; case 34: { return "*(\\e"; } case 562: break; case 35: { return "*)/e"; } case 563: break; case 140: { return "h(|"; } case 564: break; case 132: { return "*(|a"; } case 565: break; case 245: { return "*e"; } case 566: break; case 268: { return "r"; } case 567: break; case 59: { return "i)="; } case 568: break; case 70: { return "o("; } case 569: break; case 126: { return "a(\\|"; } case 570: break; case 263: { return "*c"; } case 571: break; case 197: { return "i="; } case 572: break; default: if (zzInput == YYEOF && zzStartRead == zzCurrentPos) { zzAtEOF = true; return null; } else { zzScanError(ZZ_NO_MATCH); } } } } }