Mercurial > hg > mpdl-group
diff software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexLA.java @ 23:e845310098ba
diverse Korrekturen
author | Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de> |
---|---|
date | Tue, 27 Nov 2012 12:35:19 +0100 |
parents | 4a3641ae14d2 |
children |
line wrap: on
line diff
--- a/software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexLA.java Wed Dec 14 13:57:09 2011 +0100 +++ b/software/mpdl-services/mpiwg-mpdl-lt/src/de/mpg/mpiwg/berlin/mpdl/lt/text/norm/lang/MpdlNormalizerLexLA.java Tue Nov 27 12:35:19 2012 +0100 @@ -1,4 +1,4 @@ -/* The following code was generated by JFlex 1.4.3 on 05.09.11 10:35 */ +/* The following code was generated by JFlex 1.4.3 on 28.03.12 18:57 */ /* * Normalization rules for Latin text @@ -15,8 +15,8 @@ /** * This class is a scanner generated by * <a href="http://www.jflex.de/">JFlex</a> 1.4.3 - * on 05.09.11 10:35 from the specification file - * <tt>MpdlNormalizerLexLA.lex</tt> + * on 28.03.12 18:57 from the specification file + * <tt>/Users/jwillenborg/test/jflexNew/MpdlNormalizerLexLA.lex</tt> */ public class MpdlNormalizerLexLA { @@ -27,10 +27,10 @@ private static final int ZZ_BUFFERSIZE = 16384; /** lexical states */ - public static final int RENAISSANCE_DICT = 8; - public static final int SEARCH = 10; - public static final int RENAISSANCE_DISP = 4; - public static final int DICT = 6; + public static final int RENAISSANCE_DICT = 10; + public static final int RENAISSANCE_DISP = 8; + public static final int SEARCH = 6; + public static final int DICT = 4; public static final int YYINITIAL = 0; public static final int RENAISSANCE_SEARCH = 12; public static final int DISP = 2; @@ -42,23 +42,24 @@ * l is of the form l = 2*k, k a non negative integer */ private static final int ZZ_LEXSTATE[] = { - 0, 0, 1, 2, 1, 2, 3, 4, 3, 4, 5, 6, 5, 6 + 0, 0, 1, 2, 3, 4, 5, 6, 1, 2, 3, 4, 5, 6 }; /** * Translates characters to character classes */ private static final String ZZ_CMAP_PACKED = - "\12\0\1\6\25\0\1\5\14\0\1\4\22\0\1\0\1\1\3\2"+ - "\1\1\2\2\1\53\1\1\1\0\1\2\1\3\2\2\1\1\1\2"+ - "\1\46\1\3\2\2\1\64\1\65\2\2\1\66\1\2\6\0\1\57"+ - "\1\2\1\47\1\43\1\11\2\2\1\51\1\14\1\27\1\2\1\50"+ - "\1\40\1\13\1\61\1\17\1\7\1\16\1\32\1\15\1\10\1\12"+ - "\2\2\1\66\1\2\62\0\1\4\30\0\1\25\30\0\1\23\1\37"+ - "\1\31\1\55\3\0\1\24\1\0\1\41\1\33\1\0\1\60\1\45"+ - "\1\34\1\52\1\62\2\0\1\42\1\35\1\54\4\0\1\44\1\36"+ - "\1\56\1\63\34\0\1\24\71\0\1\26\53\0\1\20\u0181\0\1\30"+ - "\ud4fe\0\1\21\u0590\0\1\22\u226e\0"; + "\12\0\1\6\25\0\1\5\14\0\1\24\1\0\1\23\14\0\1\21"+ + "\1\0\1\22\1\0\1\0\1\1\3\2\1\1\2\2\1\57\1\1"+ + "\1\0\1\2\1\3\2\2\1\1\1\2\1\52\1\3\2\2\1\70"+ + "\1\71\2\2\1\72\1\2\6\0\1\63\1\2\1\53\1\47\1\11"+ + "\2\2\1\55\1\14\1\33\1\2\1\54\1\44\1\13\1\65\1\17"+ + "\1\7\1\16\1\36\1\15\1\10\1\12\2\2\1\72\1\2\62\0"+ + "\1\4\30\0\1\31\30\0\1\27\1\43\1\35\1\61\3\0\1\30"+ + "\1\0\1\45\1\37\1\0\1\64\1\51\1\40\1\56\1\66\2\0"+ + "\1\46\1\41\1\60\4\0\1\50\1\42\1\62\1\67\34\0\1\30"+ + "\71\0\1\32\53\0\1\20\u0181\0\1\34\ud4fe\0\1\25\u0590\0\1\26"+ + "\u226e\0"; /** * Translates characters to character classes @@ -71,21 +72,21 @@ private static final int [] ZZ_ACTION = zzUnpackAction(); private static final String ZZ_ACTION_PACKED_0 = - "\12\0\1\1\1\2\2\3\1\1\1\4\1\3\1\2"+ - "\1\3\1\2\1\5\1\1\1\6\1\7\1\10\1\11"+ + "\14\0\1\1\1\2\2\3\1\1\1\4\1\3\1\2"+ + "\1\3\1\2\1\5\3\1\1\6\1\7\1\10\1\11"+ "\11\1\1\3\2\1\3\2\1\3\1\12\1\3\2\2"+ - "\1\3\1\5\3\3\1\1\1\2\1\13\1\14\4\0"+ + "\1\3\1\5\3\3\1\1\1\2\1\13\1\14\5\0"+ "\1\15\1\16\1\17\1\20\1\0\1\21\1\22\1\23"+ "\1\24\1\0\1\25\20\0\1\26\3\0\1\27\3\0"+ "\1\30\1\0\1\31\3\0\1\32\1\33\1\34\1\0"+ - "\1\35\1\36\2\0\1\37\20\0\1\40\1\0\1\41"+ + "\1\35\1\36\2\0\1\37\22\0\1\40\1\0\1\41"+ "\1\0\1\42\1\0\1\43\1\44\1\45\1\46\1\0"+ "\1\47\1\0\1\50\1\0\1\51\1\0\1\52\4\0"+ - "\1\53\10\0\1\54\6\0\1\55\3\0\1\56\1\57"+ - "\1\60\2\0\1\61\5\0\1\53"; + "\1\53\10\0\1\12\1\0\1\54\6\0\1\55\3\0"+ + "\1\56\1\57\1\60\3\0\1\61\5\0\1\53\1\0"; private static int [] zzUnpackAction() { - int [] result = new int[179]; + int [] result = new int[190]; int offset = 0; offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result); return result; @@ -110,32 +111,33 @@ private static final int [] ZZ_ROWMAP = zzUnpackRowMap(); private static final String ZZ_ROWMAP_PACKED_0 = - "\0\0\0\67\0\156\0\245\0\334\0\u0113\0\u014a\0\u0181"+ - "\0\u01b8\0\u01ef\0\u0226\0\u0226\0\u0226\0\u025d\0\u0294\0\u0226"+ - "\0\u02cb\0\u0302\0\u0339\0\u0370\0\u0226\0\u01ef\0\u0226\0\u0226"+ - "\0\u0226\0\u0226\0\u03a7\0\u03de\0\u0415\0\u044c\0\u0483\0\u04ba"+ - "\0\u04f1\0\u0528\0\u055f\0\u0596\0\u05cd\0\u0604\0\u063b\0\u0672"+ - "\0\u06a9\0\u06e0\0\u0226\0\u0717\0\u074e\0\u0785\0\u07bc\0\u07f3"+ - "\0\u082a\0\u0861\0\u0898\0\u08cf\0\u0906\0\u0226\0\u0226\0\u093d"+ - "\0\u0974\0\u09ab\0\u09e2\0\u0226\0\u0226\0\u0226\0\u0226\0\u0a19"+ - "\0\u0226\0\u0226\0\u0226\0\u0226\0\u0a50\0\u0226\0\u0a87\0\u0abe"+ - "\0\u0af5\0\u0b2c\0\u0b63\0\u0b9a\0\u0bd1\0\u0c08\0\u0c3f\0\u0c76"+ - "\0\u0cad\0\u0ce4\0\u0d1b\0\u0d52\0\u0d89\0\u0dc0\0\u0226\0\u0df7"+ - "\0\u0e2e\0\u0e65\0\u0226\0\u0e9c\0\u0ed3\0\u0f0a\0\u0226\0\u0f41"+ - "\0\u0226\0\u0f78\0\u0faf\0\u0fe6\0\u0226\0\u0226\0\u0226\0\u101d"+ - "\0\u0226\0\u0226\0\u1054\0\u108b\0\u0226\0\u10c2\0\u10f9\0\u1130"+ - "\0\u1167\0\u119e\0\u11d5\0\u120c\0\u1243\0\u127a\0\u0226\0\u12b1"+ - "\0\u12e8\0\u131f\0\u1356\0\u138d\0\u08cf\0\u0226\0\u13c4\0\u0226"+ - "\0\u13fb\0\u0226\0\u1432\0\u0226\0\u0226\0\u0226\0\u0226\0\u1469"+ - "\0\u0226\0\u14a0\0\u0226\0\u14d7\0\u0226\0\u150e\0\u0226\0\u1545"+ - "\0\u157c\0\u15b3\0\u07bc\0\u15ea\0\u1621\0\u1658\0\u168f\0\u16c6"+ - "\0\u16fd\0\u0226\0\u1734\0\u176b\0\u0226\0\u17a2\0\u17d9\0\u1810"+ - "\0\u1847\0\u187e\0\u18b5\0\u0226\0\u18ec\0\u1923\0\u195a\0\u0226"+ - "\0\u0226\0\u0226\0\u1991\0\u19c8\0\u0226\0\u19ff\0\u1a36\0\u1a6d"+ - "\0\u1aa4\0\u1adb\0\u0226"; + "\0\0\0\73\0\166\0\261\0\354\0\u0127\0\u0162\0\u019d"+ + "\0\u01d8\0\u0213\0\u024e\0\u0289\0\u02c4\0\u02c4\0\u02c4\0\u02ff"+ + "\0\u033a\0\u02c4\0\u0375\0\u03b0\0\u03eb\0\u0426\0\u02c4\0\u0213"+ + "\0\u0461\0\u0289\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u049c\0\u04d7"+ + "\0\u0512\0\u054d\0\u0588\0\u05c3\0\u05fe\0\u0639\0\u0674\0\u06af"+ + "\0\u06ea\0\u0725\0\u0760\0\u079b\0\u07d6\0\u0811\0\u02c4\0\u084c"+ + "\0\u0887\0\u08c2\0\u08fd\0\u0938\0\u0973\0\u09ae\0\u09e9\0\u0a24"+ + "\0\u0a5f\0\u02c4\0\u02c4\0\u0a9a\0\u0ad5\0\u0b10\0\u0b4b\0\u0b86"+ + "\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u0bc1\0\u02c4\0\u02c4\0\u02c4"+ + "\0\u02c4\0\u0bfc\0\u02c4\0\u0c37\0\u0c72\0\u0cad\0\u0ce8\0\u0d23"+ + "\0\u0d5e\0\u0d99\0\u0dd4\0\u0e0f\0\u0e4a\0\u0e85\0\u0ec0\0\u0efb"+ + "\0\u0f36\0\u0f71\0\u0fac\0\u02c4\0\u0fe7\0\u1022\0\u105d\0\u02c4"+ + "\0\u1098\0\u10d3\0\u110e\0\u02c4\0\u1149\0\u02c4\0\u1184\0\u11bf"+ + "\0\u11fa\0\u02c4\0\u02c4\0\u02c4\0\u1235\0\u02c4\0\u02c4\0\u1270"+ + "\0\u12ab\0\u02c4\0\u12e6\0\u1321\0\u135c\0\u1397\0\u13d2\0\u140d"+ + "\0\u1448\0\u1483\0\u14be\0\u02c4\0\u14f9\0\u1534\0\u156f\0\u15aa"+ + "\0\u15e5\0\u1620\0\u165b\0\u0a24\0\u02c4\0\u1696\0\u02c4\0\u16d1"+ + "\0\u02c4\0\u170c\0\u02c4\0\u02c4\0\u02c4\0\u02c4\0\u1747\0\u02c4"+ + "\0\u1782\0\u02c4\0\u17bd\0\u02c4\0\u17f8\0\u02c4\0\u1833\0\u186e"+ + "\0\u18a9\0\u08fd\0\u18e4\0\u191f\0\u195a\0\u1995\0\u19d0\0\u1a0b"+ + "\0\u02c4\0\u1a46\0\u1a81\0\u14f9\0\u1abc\0\u02c4\0\u1af7\0\u1b32"+ + "\0\u1b6d\0\u1ba8\0\u1be3\0\u1c1e\0\u02c4\0\u1c59\0\u1c94\0\u1ccf"+ + "\0\u02c4\0\u02c4\0\u02c4\0\u1d0a\0\u1d45\0\u1d80\0\u02c4\0\u1dbb"+ + "\0\u1df6\0\u1e31\0\u1e6c\0\u1ea7\0\u02c4\0\u1ee2"; private static int [] zzUnpackRowMap() { - int [] result = new int[179]; + int [] result = new int[190]; int offset = 0; offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result); return result; @@ -158,110 +160,119 @@ private static final int [] ZZ_TRANS = zzUnpackTrans(); private static final String ZZ_TRANS_PACKED_0 = - "\21\0\1\12\45\0\1\13\1\14\1\15\1\16\1\17"+ - "\1\13\1\20\1\21\1\22\1\14\1\23\1\15\1\24"+ - "\1\15\1\16\1\15\1\25\1\26\1\13\1\27\1\30"+ - "\1\31\1\32\2\13\1\33\1\15\1\34\1\35\1\36"+ - "\1\37\1\40\1\15\1\41\1\42\1\15\1\43\1\13"+ - "\1\44\1\15\1\16\1\15\1\13\1\15\1\13\1\45"+ - "\1\46\1\47\1\13\1\50\2\13\1\51\1\52\1\53"+ - "\1\13\1\14\1\15\1\16\1\17\1\13\1\20\1\54"+ - "\1\55\1\14\1\23\1\15\1\56\1\15\1\16\1\57"+ - "\1\60\1\26\1\13\1\27\1\30\1\31\1\32\2\13"+ - "\1\33\1\15\1\34\1\35\1\36\1\37\1\40\1\15"+ - "\1\41\1\42\1\15\1\43\1\13\1\61\1\15\1\16"+ - "\1\62\1\13\1\63\1\64\1\45\1\46\1\47\1\13"+ - "\1\50\2\13\1\65\1\52\1\53\1\13\1\14\1\15"+ - "\1\16\1\17\1\13\1\66\1\21\1\22\1\14\1\23"+ - "\1\15\1\24\1\15\1\16\1\15\1\25\1\26\1\13"+ - "\1\27\1\30\1\31\1\32\2\13\1\33\1\15\1\34"+ - "\1\35\1\36\1\37\1\40\1\15\1\41\1\42\1\15"+ - "\1\43\1\13\1\44\1\15\1\16\1\15\1\13\1\15"+ - "\1\13\1\45\1\46\1\47\1\13\1\50\2\13\1\51"+ - "\1\52\1\53\1\13\1\14\1\15\1\16\1\17\1\13"+ - "\1\66\1\54\1\55\1\14\1\23\1\15\1\56\1\15"+ - "\1\16\1\57\1\60\1\26\1\13\1\27\1\30\1\31"+ - "\1\32\2\13\1\33\1\15\1\34\1\35\1\36\1\37"+ - "\1\40\1\15\1\41\1\42\1\15\1\43\1\13\1\61"+ - "\1\15\1\16\1\62\1\13\1\63\1\64\1\45\1\46"+ - "\1\47\1\13\1\50\2\13\1\65\1\52\1\53\1\13"+ - "\1\14\1\15\1\16\1\17\1\13\1\67\1\21\1\22"+ - "\1\14\1\23\1\15\1\24\1\15\1\16\1\15\1\25"+ - "\1\26\1\13\1\27\1\30\1\31\1\32\2\13\1\33"+ - "\1\15\1\34\1\35\1\36\1\37\1\40\1\15\1\41"+ - "\1\42\1\15\1\43\1\13\1\44\1\15\1\16\1\15"+ - "\1\13\1\15\1\13\1\45\1\46\1\47\1\13\1\50"+ - "\2\13\1\51\1\52\1\53\1\13\1\14\1\15\1\16"+ - "\1\17\1\13\1\67\1\54\1\55\1\14\1\23\1\15"+ - "\1\56\1\15\1\16\1\57\1\60\1\26\1\13\1\27"+ - "\1\30\1\31\1\32\2\13\1\33\1\15\1\34\1\35"+ - "\1\36\1\37\1\40\1\15\1\41\1\42\1\15\1\43"+ - "\1\13\1\61\1\15\1\16\1\62\1\13\1\63\1\64"+ - "\1\45\1\46\1\47\1\13\1\50\2\13\1\65\1\52"+ - "\1\53\14\0\1\70\2\0\1\71\1\72\53\0\1\73"+ - "\103\0\1\74\145\0\1\75\52\0\1\75\6\0\1\76"+ - "\73\0\1\77\15\0\1\100\37\0\1\101\6\0\2\101"+ - "\2\0\1\101\7\0\3\101\30\0\1\101\1\0\1\101"+ - "\1\102\1\103\1\101\4\0\2\104\1\105\2\0\1\104"+ - "\2\0\2\104\1\0\4\104\2\0\1\104\6\0\1\104"+ - "\5\0\1\104\2\0\1\104\2\0\4\104\1\0\1\104"+ - "\11\0\1\104\30\0\1\106\46\0\1\107\2\0\2\110"+ - "\1\0\2\111\13\0\1\111\5\0\1\111\35\0\1\112"+ - "\2\0\2\113\1\0\2\114\13\0\1\114\5\0\1\114"+ - "\35\0\1\115\2\0\2\116\1\0\2\117\13\0\1\117"+ - "\5\0\1\117\35\0\1\120\2\0\2\121\1\0\2\122"+ - "\13\0\1\122\5\0\1\122\35\0\1\123\1\0\1\124"+ - "\2\125\1\0\2\126\13\0\1\126\5\0\1\126\34\0"+ - "\1\127\1\107\22\0\1\130\5\0\1\131\6\0\1\132"+ - "\25\0\1\133\1\112\5\0\1\134\1\135\13\0\1\136"+ - "\42\0\1\137\1\120\33\0\1\140\31\0\1\141\23\0"+ - "\1\142\5\0\1\143\7\0\1\144\30\0\1\145\52\0"+ - "\1\146\7\0\1\127\1\107\6\0\1\147\102\0\1\150"+ - "\114\0\1\30\66\0\1\32\1\0\1\151\5\0\1\101"+ - "\6\0\2\101\2\0\1\101\7\0\3\101\30\0\1\101"+ - "\1\0\1\101\2\0\1\101\4\0\2\152\1\153\2\0"+ - "\1\152\2\0\2\152\1\0\4\152\2\0\1\152\6\0"+ - "\1\152\5\0\1\152\2\0\1\152\2\0\4\152\1\0"+ - "\1\152\11\0\1\152\11\0\1\154\1\0\1\77\15\0"+ - "\1\100\37\0\1\155\6\0\2\155\2\0\1\155\7\0"+ - "\3\155\30\0\1\155\1\0\1\155\1\102\1\103\1\155"+ - "\15\0\1\156\13\0\1\106\50\0\1\157\65\0\1\160"+ - "\1\157\65\0\1\161\1\0\1\145\52\0\1\146\53\0"+ - "\1\162\66\0\1\163\22\0\1\137\61\0\1\155\6\0"+ - "\2\155\2\0\1\155\7\0\3\155\30\0\1\155\1\0"+ - "\1\155\2\0\1\155\15\0\1\164\64\0\1\165\65\0"+ - "\1\166\1\165\61\0\1\167\72\0\1\170\63\0\1\171"+ - "\71\0\1\110\67\0\1\172\64\0\1\107\2\0\2\110"+ - "\63\0\1\113\67\0\1\173\64\0\1\112\2\0\2\113"+ - "\63\0\1\116\67\0\1\174\64\0\1\115\2\0\2\116"+ - "\63\0\1\121\67\0\1\175\64\0\1\120\2\0\2\121"+ - "\63\0\1\125\64\0\1\176\71\0\1\177\64\0\1\123"+ - "\2\0\2\125\61\0\1\200\1\201\65\0\1\202\1\203"+ - "\65\0\1\204\66\0\1\205\66\0\1\206\66\0\1\207"+ - "\1\210\65\0\1\211\1\212\65\0\1\213\1\214\65\0"+ - "\1\215\1\216\65\0\1\217\66\0\1\213\65\0\1\220"+ - "\126\0\1\221\25\0\1\222\10\0\1\223\67\0\1\224"+ - "\54\0\1\225\12\0\1\223\114\0\1\226\70\0\1\227"+ - "\66\0\1\230\23\0\1\231\10\0\1\71\67\0\1\232"+ - "\54\0\1\233\12\0\1\71\60\0\1\234\57\0\2\104"+ - "\3\0\1\104\2\0\2\104\1\0\4\104\2\0\1\104"+ - "\6\0\1\104\5\0\1\104\2\0\1\104\2\0\4\104"+ - "\1\0\1\104\11\0\1\104\7\0\1\127\66\0\1\133"+ - "\66\0\1\235\66\0\1\141\70\0\1\236\66\0\1\237"+ - "\66\0\1\240\66\0\1\241\66\0\1\242\66\0\1\243"+ - "\60\0\2\152\3\0\1\152\2\0\2\152\1\0\4\152"+ - "\2\0\1\152\6\0\1\152\5\0\1\152\2\0\1\152"+ - "\2\0\4\152\1\0\1\152\11\0\1\152\7\0\1\244"+ - "\65\0\1\245\65\0\1\246\67\0\1\247\67\0\1\250"+ - "\66\0\1\251\66\0\1\252\65\0\1\253\66\0\1\254"+ - "\67\0\1\255\71\0\1\256\66\0\1\257\66\0\1\260"+ - "\66\0\1\261\66\0\1\150\66\0\1\262\72\0\1\223"+ - "\56\0\1\263\100\0\1\223\64\0\1\71\70\0\1\71"+ - "\55\0\1\200\66\0\1\202\66\0\1\207\66\0\1\211"+ - "\66\0\1\215\60\0"; + "\21\0\1\12\2\0\1\13\1\14\45\0\1\15\1\16"+ + "\1\17\1\20\1\21\1\15\1\22\1\23\1\24\1\16"+ + "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+ + "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+ + "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+ + "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+ + "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+ + "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+ + "\1\17\1\20\1\21\1\15\1\22\1\60\1\61\1\16"+ + "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+ + "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+ + "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+ + "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+ + "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+ + "\1\15\1\54\2\15\1\71\1\56\1\57\1\15\1\16"+ + "\1\17\1\20\1\21\1\15\1\72\1\23\1\24\1\16"+ + "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+ + "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+ + "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+ + "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+ + "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+ + "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+ + "\1\17\1\20\1\21\1\15\1\72\1\60\1\61\1\16"+ + "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+ + "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+ + "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+ + "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+ + "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+ + "\1\15\1\54\2\15\1\71\1\56\1\57\1\15\1\16"+ + "\1\17\1\20\1\21\1\15\1\73\1\23\1\24\1\16"+ + "\1\25\1\17\1\26\1\17\1\20\1\17\1\27\1\30"+ + "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+ + "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+ + "\1\17\1\45\1\46\1\17\1\47\1\15\1\50\1\17"+ + "\1\20\1\17\1\15\1\17\1\15\1\51\1\52\1\53"+ + "\1\15\1\54\2\15\1\55\1\56\1\57\1\15\1\16"+ + "\1\17\1\20\1\21\1\15\1\73\1\60\1\61\1\16"+ + "\1\25\1\17\1\62\1\17\1\20\1\63\1\64\1\30"+ + "\2\15\1\31\1\32\1\15\1\33\1\34\1\35\1\36"+ + "\2\15\1\37\1\17\1\40\1\41\1\42\1\43\1\44"+ + "\1\17\1\45\1\46\1\17\1\47\1\15\1\65\1\17"+ + "\1\20\1\66\1\15\1\67\1\70\1\51\1\52\1\53"+ + "\1\15\1\54\2\15\1\71\1\56\1\57\14\0\1\74"+ + "\2\0\1\75\1\76\57\0\1\77\65\0\21\100\2\0"+ + "\50\100\21\0\1\12\77\0\1\101\151\0\1\102\56\0"+ + "\1\102\6\0\1\103\77\0\1\104\21\0\1\105\37\0"+ + "\1\106\6\0\2\106\2\0\1\106\13\0\3\106\30\0"+ + "\1\106\1\0\1\106\1\107\1\110\1\106\4\0\2\111"+ + "\1\112\2\0\1\111\2\0\2\111\1\0\4\111\3\0"+ + "\1\112\2\0\1\111\6\0\1\111\5\0\1\111\2\0"+ + "\1\111\2\0\4\111\1\0\1\111\11\0\1\111\34\0"+ + "\1\113\44\0\1\103\13\0\1\12\60\0\1\114\2\0"+ + "\2\115\1\0\2\116\17\0\1\116\5\0\1\116\35\0"+ + "\1\117\2\0\2\120\1\0\2\121\17\0\1\121\5\0"+ + "\1\121\35\0\1\122\2\0\2\123\1\0\2\124\17\0"+ + "\1\124\5\0\1\124\35\0\1\125\2\0\2\126\1\0"+ + "\2\127\17\0\1\127\5\0\1\127\35\0\1\130\1\0"+ + "\1\131\2\132\1\0\2\133\17\0\1\133\5\0\1\133"+ + "\34\0\1\134\1\114\26\0\1\135\5\0\1\136\6\0"+ + "\1\137\25\0\1\140\1\117\5\0\1\141\1\142\17\0"+ + "\1\143\42\0\1\144\1\125\37\0\1\145\31\0\1\146"+ + "\27\0\1\147\5\0\1\150\7\0\1\151\30\0\1\152"+ + "\56\0\1\153\7\0\1\134\1\114\6\0\1\154\112\0"+ + "\1\155\120\0\1\34\72\0\1\36\1\0\1\156\5\0"+ + "\1\106\6\0\2\106\2\0\1\106\13\0\3\106\30\0"+ + "\1\106\1\0\1\106\2\0\1\106\4\0\2\157\1\160"+ + "\2\0\1\157\2\0\2\157\1\0\4\157\3\0\1\160"+ + "\2\0\1\157\6\0\1\157\5\0\1\157\2\0\1\157"+ + "\2\0\4\157\1\0\1\157\11\0\1\157\11\0\1\161"+ + "\1\0\1\104\21\0\1\105\37\0\1\162\6\0\2\162"+ + "\2\0\1\162\13\0\3\162\30\0\1\162\1\0\1\162"+ + "\1\107\1\110\1\162\15\0\1\163\17\0\1\113\50\0"+ + "\1\164\71\0\1\165\1\164\71\0\1\166\1\0\1\152"+ + "\56\0\1\153\57\0\1\167\72\0\1\170\22\0\1\144"+ + "\65\0\1\162\6\0\2\162\2\0\1\162\13\0\3\162"+ + "\30\0\1\162\1\0\1\162\2\0\1\162\15\0\1\171"+ + "\70\0\1\172\71\0\1\173\1\172\65\0\1\174\17\0"+ + "\1\174\46\0\21\100\1\0\1\175\1\176\47\100\10\0"+ + "\1\177\67\0\1\200\75\0\1\115\73\0\1\201\70\0"+ + "\1\114\2\0\2\115\67\0\1\120\73\0\1\202\70\0"+ + "\1\117\2\0\2\120\67\0\1\123\73\0\1\203\70\0"+ + "\1\122\2\0\2\123\67\0\1\126\73\0\1\204\70\0"+ + "\1\125\2\0\2\126\67\0\1\132\70\0\1\205\75\0"+ + "\1\206\70\0\1\130\2\0\2\132\65\0\1\207\1\210"+ + "\71\0\1\211\1\212\71\0\1\213\72\0\1\214\72\0"+ + "\1\215\72\0\1\216\1\217\71\0\1\220\1\221\71\0"+ + "\1\222\1\223\71\0\1\224\1\225\71\0\1\226\72\0"+ + "\1\222\71\0\1\227\136\0\1\230\25\0\1\231\10\0"+ + "\1\232\6\0\1\231\64\0\1\233\60\0\1\234\12\0"+ + "\1\232\4\0\1\234\117\0\1\235\74\0\1\236\72\0"+ + "\1\237\23\0\1\240\10\0\1\75\6\0\1\240\64\0"+ + "\1\241\60\0\1\242\12\0\1\75\4\0\1\242\67\0"+ + "\1\243\51\0\21\100\1\0\1\244\1\176\47\100\11\0"+ + "\1\245\63\0\2\111\3\0\1\111\2\0\2\111\1\0"+ + "\4\111\6\0\1\111\6\0\1\111\5\0\1\111\2\0"+ + "\1\111\2\0\4\111\1\0\1\111\11\0\1\111\7\0"+ + "\1\134\72\0\1\140\72\0\1\246\72\0\1\146\74\0"+ + "\1\247\72\0\1\250\72\0\1\251\72\0\1\252\72\0"+ + "\1\253\72\0\1\254\64\0\2\157\3\0\1\157\2\0"+ + "\2\157\1\0\4\157\6\0\1\157\6\0\1\157\5\0"+ + "\1\157\2\0\1\157\2\0\4\157\1\0\1\157\11\0"+ + "\1\157\7\0\1\255\71\0\1\256\71\0\1\257\17\0"+ + "\1\257\53\0\1\260\73\0\1\261\72\0\1\262\72\0"+ + "\1\263\71\0\1\264\72\0\1\265\110\0\1\266\55\0"+ + "\1\267\75\0\1\270\72\0\1\271\72\0\1\272\72\0"+ + "\1\273\72\0\1\155\72\0\1\274\76\0\1\232\62\0"+ + "\1\275\104\0\1\232\70\0\1\75\74\0\1\75\53\0"+ + "\21\276\2\0\50\276\6\0\1\207\72\0\1\211\72\0"+ + "\1\216\72\0\1\220\72\0\1\224\64\0\21\276\1\0"+ + "\1\57\50\276"; private static int [] zzUnpackTrans() { - int [] result = new int[6930]; + int [] result = new int[7965]; int offset = 0; offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result); return result; @@ -299,18 +310,18 @@ private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute(); private static final String ZZ_ATTRIBUTE_PACKED_0 = - "\10\0\1\1\1\0\3\11\2\1\1\11\4\1\1\11"+ - "\1\1\4\11\20\1\1\11\12\1\2\11\4\0\4\11"+ + "\10\0\1\1\3\0\3\11\2\1\1\11\4\1\1\11"+ + "\3\1\4\11\20\1\1\11\12\1\2\11\5\0\4\11"+ "\1\0\4\11\1\0\1\11\20\0\1\11\3\0\1\11"+ "\3\0\1\11\1\0\1\11\3\0\3\11\1\0\2\11"+ - "\2\0\1\11\11\0\1\11\6\0\1\11\1\0\1\11"+ + "\2\0\1\11\11\0\1\11\10\0\1\11\1\0\1\11"+ "\1\0\1\11\1\0\4\11\1\0\1\11\1\0\1\11"+ "\1\0\1\11\1\0\1\11\4\0\1\1\5\0\1\11"+ - "\2\0\1\11\6\0\1\11\3\0\3\11\2\0\1\11"+ - "\5\0\1\11"; + "\2\0\1\1\1\0\1\11\6\0\1\11\3\0\3\11"+ + "\3\0\1\11\5\0\1\11\1\0"; private static int [] zzUnpackAttribute() { - int [] result = new int[179]; + int [] result = new int[190]; int offset = 0; offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result); return result; @@ -427,7 +438,7 @@ char [] map = new char[0x10000]; int i = 0; /* index in packed string */ int j = 0; /* index in unpacked array */ - while (i < 190) { + while (i < 202) { int count = packed.charAt(i++); char value = packed.charAt(i++); do map[j++] = value; while (--count > 0);