-\r
-/**\r
- * This class is a scanner generated by \r
- * <a href="http://www.jflex.de/">JFlex</a> 1.6.1\r
- * from the specification file <tt>C:/Users/hannu/git/scl/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.flex</tt>\r
- */\r
-public class SCLLexer {\r
-\r
- /** This character denotes the end of file */\r
- public static final int YYEOF = -1;\r
-\r
- /** initial size of the lookahead buffer */\r
- private static final int ZZ_BUFFERSIZE = 16384;\r
-\r
- /** lexical states */\r
- public static final int YYINITIAL = 0;\r
- public static final int STRING = 2;\r
- public static final int LONG_STRING = 4;\r
- public static final int CHAR = 6;\r
-\r
- /**\r
- * ZZ_LEXSTATE[l] is the state in the DFA for the lexical state l\r
- * ZZ_LEXSTATE[l+1] is the state in the DFA for the lexical state l\r
- * at the beginning of a line\r
- * l is of the form l = 2*k, k a non negative integer\r
- */\r
- private static final int ZZ_LEXSTATE[] = { \r
- 0, 0, 1, 1, 2, 2, 3, 3\r
- };\r
-\r
- /** \r
- * Translates characters to character classes\r
- */\r
- private static final String ZZ_CMAP_PACKED = \r
- "\11\0\1\75\1\74\1\73\1\73\1\15\22\0\1\24\1\20\1\71"+\r
- "\1\6\2\5\1\20\1\4\1\11\1\13\1\26\1\5\1\12\1\23"+\r
- "\1\7\1\25\12\2\1\66\1\67\1\17\1\65\1\21\1\14\1\10"+\r
- "\4\3\1\22\1\3\3\1\1\60\20\1\1\63\1\30\1\64\1\5"+\r
- "\1\72\1\16\1\34\1\46\1\47\1\51\1\41\1\31\1\54\1\40"+\r
- "\1\36\2\1\1\35\1\52\1\42\1\32\1\53\1\55\1\33\1\43"+\r
- "\1\37\1\45\1\56\1\44\1\50\1\57\1\1\1\61\1\70\1\62"+\r
- "\1\5\6\0\1\73\u1fa2\0\1\73\1\73\udfd3\0\1\27\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\22\0";\r
-\r
- /** \r
- * Translates characters to character classes\r
- */\r
- private static final char [] ZZ_CMAP = zzUnpackCMap(ZZ_CMAP_PACKED);\r
-\r
- /** \r
- * Translates DFA states to action switch labels.\r
- */\r
- private static final int [] ZZ_ACTION = zzUnpackAction();\r
-\r
- private static final String ZZ_ACTION_PACKED_0 =\r
- "\4\0\1\1\1\2\1\3\1\1\1\4\1\5\1\6"+\r
- "\1\7\1\10\1\11\1\12\1\1\1\13\1\1\1\14"+\r
- "\1\15\1\16\1\17\1\4\1\20\1\21\16\2\1\22"+\r
- "\1\23\1\24\1\25\1\26\1\27\1\30\1\31\1\32"+\r
- "\1\33\1\13\1\34\1\35\1\36\1\0\1\37\1\36"+\r
- "\1\40\2\35\2\40\5\0\1\4\1\41\1\42\1\43"+\r
- "\3\0\1\2\4\0\1\4\1\44\1\45\1\46\1\4"+\r
- "\2\0\2\2\1\47\2\2\1\50\1\51\11\2\1\52"+\r
- "\3\2\1\53\2\2\1\54\4\2\1\55\1\56\1\57"+\r
- "\1\0\1\60\1\61\1\62\1\63\1\64\1\60\1\65"+\r
- "\2\0\2\66\1\0\1\67\1\70\1\2\1\0\1\71"+\r
- "\2\0\2\72\1\0\1\4\1\0\3\2\1\73\25\2"+\r
- "\1\74\1\75\1\0\1\76\2\0\1\46\1\0\1\2"+\r
- "\1\77\6\2\1\100\1\101\2\2\1\102\3\2\1\103"+\r
- "\1\2\1\104\2\2\1\105\3\2\1\0\1\46\1\0"+\r
- "\2\2\1\106\11\2\1\107\1\2\1\110\1\2\1\111"+\r
- "\1\2\1\0\1\112\1\113\1\2\1\114\1\115\2\2"+\r
- "\1\116\1\2\1\117\1\120\2\2\1\121\3\2\1\122"+\r
- "\2\2\1\123\2\2\1\124\1\125\1\0\4\2\1\126"+\r
- "\2\2\2\0\1\2\1\127\2\0\2\2\2\0\1\2"+\r
- "\2\0\1\130\1\2\2\0\1\131\2\0\1\2\4\0"+\r
- "\1\2\1\132\2\0\1\133\1\2\2\0\1\134\2\0"+\r
- "\1\135\1\0\1\136";\r
-\r
- private static int [] zzUnpackAction() {\r
- int [] result = new int[293];\r
- int offset = 0;\r
- offset = zzUnpackAction(ZZ_ACTION_PACKED_0, offset, result);\r
- return result;\r
- }\r
-\r
- private static int zzUnpackAction(String packed, int offset, int [] result) {\r
- int i = 0; /* index in packed string */\r
- int j = offset; /* index in unpacked array */\r
- int l = packed.length();\r
- while (i < l) {\r
- int count = packed.charAt(i++);\r
- int value = packed.charAt(i++);\r
- do result[j++] = value; while (--count > 0);\r
- }\r
- return j;\r
- }\r
-\r
-\r
- /** \r
- * Translates a state to a row index in the transition table\r
- */\r
- private static final int [] ZZ_ROWMAP = zzUnpackRowMap();\r
-\r
- private static final String ZZ_ROWMAP_PACKED_0 =\r
- "\0\0\0\76\0\174\0\272\0\272\0\370\0\u0136\0\u0174"+\r
- "\0\u01b2\0\u01f0\0\u022e\0\u026c\0\u02aa\0\272\0\272\0\u02e8"+\r
- "\0\u0326\0\u0364\0\u03a2\0\u01b2\0\u03e0\0\u041e\0\u045c\0\272"+\r
- "\0\u049a\0\u04d8\0\u0516\0\u0554\0\u0592\0\u05d0\0\u060e\0\u064c"+\r
- "\0\u068a\0\u06c8\0\u0706\0\u0744\0\u0782\0\u07c0\0\u07fe\0\272"+\r
- "\0\272\0\272\0\272\0\u083c\0\u087a\0\272\0\u01b2\0\u08b8"+\r
- "\0\370\0\272\0\272\0\u08f6\0\u0934\0\u0972\0\272\0\272"+\r
- "\0\u09b0\0\u09ee\0\u0a2c\0\u08f6\0\272\0\u0a6a\0\u0aa8\0\u0ae6"+\r
- "\0\u0b24\0\u0b62\0\u0ba0\0\272\0\u0bde\0\u0c1c\0\u0c5a\0\u0c98"+\r
- "\0\u0cd6\0\u0d14\0\u0d52\0\u0d90\0\u0dce\0\u0e0c\0\u0e4a\0\u01b2"+\r
- "\0\u01b2\0\u0e88\0\u0ec6\0\u0f04\0\u0f42\0\u0f80\0\u0fbe\0\370"+\r
- "\0\u0ffc\0\u103a\0\370\0\u1078\0\u10b6\0\u10f4\0\u1132\0\u1170"+\r
- "\0\u11ae\0\u11ec\0\u122a\0\u1268\0\u12a6\0\370\0\u12e4\0\u1322"+\r
- "\0\u1360\0\370\0\u139e\0\u13dc\0\370\0\u141a\0\u1458\0\u1496"+\r
- "\0\u14d4\0\u01b2\0\u01b2\0\u01b2\0\u1512\0\272\0\272\0\272"+\r
- "\0\272\0\272\0\u1550\0\272\0\u158e\0\u02e8\0\u15cc\0\u160a"+\r
- "\0\u160a\0\272\0\272\0\272\0\u1648\0\272\0\u1686\0\u16c4"+\r
- "\0\272\0\u01b2\0\u1702\0\u1740\0\u177e\0\u17bc\0\u17fa\0\u1838"+\r
- "\0\370\0\u1876\0\u18b4\0\u18f2\0\u1930\0\u196e\0\u19ac\0\u19ea"+\r
- "\0\u1a28\0\u1a66\0\u1aa4\0\u1ae2\0\u1b20\0\u1b5e\0\u1b9c\0\u1bda"+\r
- "\0\u1c18\0\u1c56\0\u1c94\0\u1cd2\0\u1d10\0\u1d4e\0\370\0\272"+\r
- "\0\u1d8c\0\272\0\u1dca\0\u1e08\0\u01b2\0\u1e46\0\u1e84\0\370"+\r
- "\0\u1ec2\0\u1f00\0\u1f3e\0\u1f7c\0\u1fba\0\u1ff8\0\370\0\370"+\r
- "\0\u2036\0\u2074\0\370\0\u20b2\0\u20f0\0\u212e\0\370\0\u216c"+\r
- "\0\370\0\u21aa\0\u21e8\0\370\0\u2226\0\u2264\0\u22a2\0\u22e0"+\r
- "\0\272\0\u231e\0\u235c\0\u239a\0\u23d8\0\u2416\0\u2454\0\u2492"+\r
- "\0\u24d0\0\u250e\0\u254c\0\u258a\0\u25c8\0\u2606\0\370\0\u2644"+\r
- "\0\370\0\u2682\0\370\0\u26c0\0\u26fe\0\272\0\370\0\u273c"+\r
- "\0\370\0\370\0\u277a\0\u27b8\0\u27f6\0\u2834\0\370\0\370"+\r
- "\0\u2872\0\u28b0\0\u28ee\0\u292c\0\u296a\0\u29a8\0\272\0\u29e6"+\r
- "\0\u2a24\0\370\0\u2a62\0\u2aa0\0\370\0\370\0\u2ade\0\u2b1c"+\r
- "\0\u2b5a\0\u2b98\0\u2bd6\0\370\0\u2c14\0\u2c52\0\u2c90\0\u2cce"+\r
- "\0\u2d0c\0\370\0\u2d4a\0\u2d88\0\u2dc6\0\u2e04\0\u2e42\0\u2e80"+\r
- "\0\u2ebe\0\u2efc\0\u2f3a\0\370\0\u2f78\0\u2fb6\0\u2ff4\0\370"+\r
- "\0\u3032\0\u3070\0\u30ae\0\u30ec\0\u312a\0\u3168\0\u31a6\0\u31e4"+\r
- "\0\272\0\u3222\0\u3260\0\272\0\u329e\0\u32dc\0\u331a\0\370"+\r
- "\0\u3358\0\u3396\0\272\0\u33d4\0\272";\r
-\r
- private static int [] zzUnpackRowMap() {\r
- int [] result = new int[293];\r
- int offset = 0;\r
- offset = zzUnpackRowMap(ZZ_ROWMAP_PACKED_0, offset, result);\r
- return result;\r
- }\r
-\r
- private static int zzUnpackRowMap(String packed, int offset, int [] result) {\r
- int i = 0; /* index in packed string */\r
- int j = offset; /* index in unpacked array */\r
- int l = packed.length();\r
- while (i < l) {\r
- int high = packed.charAt(i++) << 16;\r
- result[j++] = high | packed.charAt(i++);\r
- }\r
- return j;\r
- }\r
-\r
- /** \r
- * The transition table of the DFA\r
- */\r
- private static final int [] ZZ_TRANS = zzUnpackTrans();\r
-\r
- private static final String ZZ_TRANS_PACKED_0 =\r
- "\1\5\1\6\1\7\1\6\1\10\1\11\1\12\1\13"+\r
- "\1\14\1\15\1\16\1\17\1\20\1\21\1\22\1\23"+\r
- "\1\11\1\24\1\6\1\25\1\26\1\27\1\11\1\30"+\r
- "\1\31\1\32\1\6\1\33\1\34\1\35\1\36\1\37"+\r
- "\1\40\1\41\1\6\1\42\1\43\1\6\1\44\1\45"+\r
- "\1\6\1\46\1\47\6\6\1\50\1\51\1\52\1\53"+\r
- "\1\54\1\55\1\56\1\57\1\60\1\61\2\62\1\63"+\r
- "\15\64\1\65\11\64\1\30\1\66\40\64\1\67\2\64"+\r
- "\1\70\16\64\1\71\11\64\1\30\1\72\40\64\1\73"+\r
- "\1\64\1\74\1\75\1\64\77\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\30\6\11\0\1\6\5\0\1\7"+\r
- "\4\0\1\77\12\0\1\100\16\0\1\100\34\0\4\101"+\r
- "\1\0\22\101\1\0\1\102\45\101\5\0\2\11\1\0"+\r
- "\1\11\6\0\3\11\1\0\1\11\1\0\2\11\1\0"+\r
- "\1\11\34\0\2\11\1\0\1\11\12\0\2\11\1\0"+\r
- "\1\11\4\0\1\103\1\0\3\11\1\0\1\11\1\103"+\r
- "\2\11\1\0\1\11\34\0\2\11\1\0\1\11\3\0"+\r
- "\1\103\10\0\1\104\5\0\1\105\6\0\1\105\47\0"+\r
- "\1\105\2\0\1\106\1\0\1\106\1\0\2\11\1\0"+\r
- "\1\11\6\0\3\11\1\106\1\11\1\0\2\11\1\0"+\r
- "\1\11\30\106\4\0\2\11\1\0\1\11\1\0\1\106"+\r
- "\10\0\2\107\1\110\1\107\1\0\1\111\4\0\3\107"+\r
- "\1\0\1\107\1\0\2\107\1\0\1\107\34\0\2\107"+\r
- "\1\0\1\107\6\0\1\112\1\0\1\112\16\0\1\112"+\r
- "\6\0\30\112\11\0\1\112\77\0\1\62\2\0\1\113"+\r
- "\1\0\1\113\5\0\1\114\2\0\1\115\5\0\1\113"+\r
- "\6\0\30\113\11\0\1\113\10\0\2\11\1\0\1\11"+\r
- "\3\0\1\116\2\0\1\11\1\117\1\11\1\0\1\120"+\r
- "\1\0\2\11\1\0\1\11\34\0\2\11\1\0\1\117"+\r
- "\12\0\2\11\1\0\1\11\6\0\2\11\1\121\1\0"+\r
- "\1\11\1\0\2\11\1\0\1\11\34\0\2\11\1\0"+\r
- "\1\11\31\0\1\26\56\0\2\11\1\0\1\11\6\0"+\r
- "\3\11\1\0\1\11\1\0\1\122\1\123\1\0\1\11"+\r
- "\34\0\2\11\1\0\1\11\12\0\2\11\1\0\1\11"+\r
- "\6\0\3\11\1\0\1\11\1\124\2\11\1\0\1\11"+\r
- "\21\0\1\125\12\0\2\11\1\0\1\11\6\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\1\6\1\126\26\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\14\6\1\127\13\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\12\6\1\130\2\6"+\r
- "\1\131\12\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\10\6\1\132\17\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\1\133"+\r
- "\10\6\1\134\7\6\1\135\6\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\2\6\1\136"+\r
- "\4\6\1\137\16\6\1\140\1\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\5\6\1\141"+\r
- "\22\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\1\142\3\6\1\143\4\6\1\144\5\6"+\r
- "\1\145\4\6\1\146\3\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\10\6\1\147\17\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\5\6\1\150\1\6\1\151\20\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\26\6"+\r
- "\1\152\1\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\1\6\1\153\2\6\1\154\23\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\1\6\1\155\1\6\1\156\4\6\1\157\17\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\3\6\1\160\14\6\1\161\7\6\11\0\1\6"+\r
- "\10\0\2\11\1\0\1\11\6\0\2\11\1\162\1\0"+\r
- "\1\11\1\0\2\11\1\0\1\11\34\0\2\11\1\0"+\r
- "\1\11\12\0\2\11\1\0\1\11\6\0\3\11\1\0"+\r
- "\1\163\1\0\2\11\1\0\1\11\34\0\1\11\1\164"+\r
- "\1\0\1\11\76\0\1\165\4\0\15\64\1\0\11\64"+\r
- "\2\0\40\64\1\0\2\64\1\0\1\64\74\0\1\70"+\r
- "\1\0\4\166\1\167\4\166\1\170\3\166\1\0\12\166"+\r
- "\1\167\2\166\1\171\3\166\1\172\2\166\1\75\2\166"+\r
- "\1\173\23\166\1\167\1\166\2\0\1\166\74\0\1\75"+\r
- "\12\0\1\174\155\0\1\175\5\0\1\6\1\0\1\6"+\r
- "\10\0\1\176\5\0\1\6\6\0\30\6\11\0\1\6"+\r
- "\5\0\1\177\75\0\1\200\20\0\1\201\56\0\1\202"+\r
- "\71\0\27\101\1\0\46\101\15\0\1\103\6\0\1\103"+\r
- "\47\0\1\103\16\0\1\105\6\0\1\105\47\0\1\105"+\r
- "\2\0\4\106\15\0\1\106\6\0\30\106\11\0\1\106"+\r
- "\10\0\2\107\1\0\1\107\2\0\1\203\3\0\3\107"+\r
- "\1\0\1\107\1\0\2\107\1\0\1\107\34\0\2\107"+\r
- "\1\0\1\107\20\0\1\203\74\0\1\111\1\204\63\0"+\r
- "\4\112\15\0\1\112\6\0\30\112\11\0\1\112\4\0"+\r
- "\4\113\2\0\1\205\6\0\1\206\3\0\1\113\6\0"+\r
- "\30\113\11\0\1\113\15\0\1\207\64\0\1\210\1\0"+\r
- "\1\210\16\0\1\210\6\0\30\210\11\0\1\210\24\0"+\r
- "\1\211\61\0\2\11\1\0\1\11\6\0\2\11\1\212"+\r
- "\1\0\1\11\1\0\2\11\1\0\1\11\34\0\2\11"+\r
- "\1\0\1\11\5\0\15\122\1\0\56\122\1\0\1\122"+\r
- "\5\213\2\123\1\213\1\123\6\213\3\123\1\213\1\123"+\r
- "\1\213\1\123\1\214\1\213\1\123\34\213\2\123\1\213"+\r
- "\1\123\5\213\24\0\1\124\25\0\1\125\57\0\1\215"+\r
- "\42\0\4\6\2\0\1\76\12\0\1\6\6\0\2\6"+\r
- "\1\216\25\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\4\6\1\217\23\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\12\6"+\r
- "\1\220\15\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\6\6\1\221\21\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\1\222"+\r
- "\11\6\1\223\3\6\1\224\11\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\22\6\1\225"+\r
- "\5\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\3\6\1\226\24\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\10\6\1\227"+\r
- "\17\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\22\6\1\230\5\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\20\6\1\231"+\r
- "\7\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\1\232\27\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\12\6\1\233\15\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\1\234\27\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\6\6\1\235\21\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\4\6\1\236\23\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\6\6\1\237\21\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\10\6\1\240\17\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\11\6\1\241\16\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\3\6\1\242\24\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\6\6\1\243\21\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\2\6\1\244\25\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\6\6\1\245\13\6\1\246"+\r
- "\5\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\1\6\1\247\26\6\11\0\1\6\74\0"+\r
- "\1\250\6\0\2\251\16\0\1\251\6\0\1\251\2\0"+\r
- "\1\251\4\0\1\251\4\0\2\251\1\0\1\251\115\0"+\r
- "\1\252\6\0\1\177\17\0\1\100\16\0\1\100\36\0"+\r
- "\1\200\74\0\1\113\1\0\1\113\10\0\1\115\5\0"+\r
- "\1\113\6\0\30\113\11\0\1\113\15\0\1\207\1\253"+\r
- "\63\0\4\210\11\0\1\206\3\0\1\210\6\0\30\210"+\r
- "\11\0\1\210\3\0\26\213\1\254\54\213\2\123\1\213"+\r
- "\1\123\6\213\3\123\1\213\1\123\1\213\1\255\1\214"+\r
- "\1\213\1\123\34\213\2\123\1\213\1\123\5\213\37\0"+\r
- "\1\256\37\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\3\6\1\257\24\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\10\6\1\260\17\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\6\6\1\261\21\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\5\6\1\262\22\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\6\6\1\263\21\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\4\6\1\264\23\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\1\6\1\265\26\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\11\6\1\266\16\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\11\6\1\267\16\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\10\6\1\270\17\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\5\6\1\271\22\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\10\6\1\272\17\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\10\6\1\273\17\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\1\6\1\274\26\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\10\6\1\275\17\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\10\6\1\276\17\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\7\6\1\277\20\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\2\6\1\300\6\6\1\301"+\r
- "\16\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\12\6\1\302\15\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\12\6\1\303"+\r
- "\15\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\3\6\1\304\24\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\5\6\1\305"+\r
- "\22\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\16\6\1\306\11\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\22\6\1\307"+\r
- "\5\6\11\0\1\6\5\0\2\310\16\0\1\310\6\0"+\r
- "\1\310\2\0\1\310\4\0\1\310\4\0\2\310\1\0"+\r
- "\1\310\42\0\1\206\57\0\25\213\1\311\1\254\47\213"+\r
- "\47\0\1\312\27\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\4\6\1\313\23\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\2\6\1\314\25\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\17\6\1\315\10\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\3\6\1\316\24\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\14\6\1\317\13\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\2\6\1\320\25\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\12\6\1\321\15\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\11\6\1\322\16\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\16\6\1\323\11\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\2\6\1\324\25\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\11\6\1\325\16\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\16\6\1\326\11\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\10\6\1\327\17\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\6\6\1\330\21\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\12\6\1\331\15\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\25\6\1\332\2\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\7\6\1\333\20\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\5\6\1\334\22\6"+\r
- "\11\0\1\6\5\0\2\335\16\0\1\335\6\0\1\335"+\r
- "\2\0\1\335\4\0\1\335\4\0\2\335\1\0\1\335"+\r
- "\64\0\1\336\36\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\4\6\1\337\23\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\3\6\1\340\24\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\2\6\1\341\1\6\1\342\23\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\11\6"+\r
- "\1\343\16\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\20\6\1\344\7\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\6\6"+\r
- "\1\345\21\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\1\346\27\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\23\6\1\347"+\r
- "\4\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\6\6\1\350\21\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\16\6\1\351"+\r
- "\11\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\20\6\1\352\7\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\6\6\1\353"+\r
- "\21\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\2\6\1\354\25\6\11\0\1\6\4\0"+\r
- "\4\6\2\0\1\76\12\0\1\6\6\0\5\6\1\355"+\r
- "\22\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+\r
- "\1\6\6\0\11\6\1\356\16\6\11\0\1\6\5\0"+\r
- "\2\357\16\0\1\357\6\0\1\357\2\0\1\357\4\0"+\r
- "\1\357\4\0\2\357\1\0\1\357\25\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\16\6\1\360\11\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\16\6\1\361\11\6\11\0\1\6\4\0\4\6\2\0"+\r
- "\1\76\12\0\1\6\6\0\10\6\1\362\17\6\11\0"+\r
- "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+\r
- "\27\6\1\363\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\1\6\1\364\26\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\10\6"+\r
- "\1\365\17\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\12\6\1\366\15\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\1\0\1\367"+\r
- "\4\0\30\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\3\6\1\370\24\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\11\6"+\r
- "\1\371\16\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\23\6\1\372\4\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\6\6"+\r
- "\1\373\21\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\10\6\1\374\17\6\11\0\1\6"+\r
- "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\3\6"+\r
- "\1\375\24\6\11\0\1\6\4\0\4\6\2\0\1\76"+\r
- "\12\0\1\6\6\0\2\6\1\376\25\6\11\0\1\6"+\r
- "\27\0\1\367\4\0\1\377\17\0\1\u0100\25\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\5\6\1\u0101\22\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\23\6\1\u0102\4\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\1\0\1\u0103\4\0\30\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\1\0\1\u0104\4\0\30\6\11\0\1\6\4\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\25\6\1\u0105\2\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\21\6\1\u0106\6\6\11\0\1\6\41\0\1\u0107"+\r
- "\75\0\1\u0108\40\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\11\6\1\u0109\16\6\11\0\1\6\27\0\1\u0103"+\r
- "\6\0\1\u010a\66\0\1\u0104\6\0\1\u010b\43\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\3\6\1\u010c\24\6"+\r
- "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\3\6\1\u010d\24\6\11\0\1\6\36\0\1\u010e"+\r
- "\105\0\1\u010f\33\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\6\6\1\u0110\21\6\11\0\1\6\44\0\1\u0111"+\r
- "\101\0\1\u0112\31\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\6\6\1\u0113\21\6\11\0\1\6\46\0\1\u0114"+\r
- "\71\0\1\u0115\73\0\1\u0116\75\0\1\u0117\41\0\4\6"+\r
- "\2\0\1\76\12\0\1\6\6\0\5\6\1\u0118\22\6"+\r
- "\11\0\1\6\42\0\1\u0119\74\0\1\u011a\73\0\1\u011b"+\r
- "\102\0\1\u011c\35\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\1\6\1\u011d\26\6\11\0\1\6\45\0\1\u011e"+\r
- "\72\0\1\u011f\37\0\4\6\2\0\1\76\12\0\1\6"+\r
- "\6\0\11\6\1\u0120\16\6\11\0\1\6\52\0\1\u0121"+\r
- "\64\0\1\u0122\76\0\1\u0123\70\0\1\u0124\105\0\1\u0125"+\r
- "\33\0";\r
-\r
- private static int [] zzUnpackTrans() {\r
- int [] result = new int[13330];\r
- int offset = 0;\r
- offset = zzUnpackTrans(ZZ_TRANS_PACKED_0, offset, result);\r
- return result;\r
- }\r
-\r
- private static int zzUnpackTrans(String packed, int offset, int [] result) {\r
- int i = 0; /* index in packed string */\r
- int j = offset; /* index in unpacked array */\r
- int l = packed.length();\r
- while (i < l) {\r
- int count = packed.charAt(i++);\r
- int value = packed.charAt(i++);\r
- value--;\r
- do result[j++] = value; while (--count > 0);\r
- }\r
- return j;\r
- }\r
-\r
-\r
- /* error codes */\r
- private static final int ZZ_UNKNOWN_ERROR = 0;\r
- private static final int ZZ_NO_MATCH = 1;\r
- private static final int ZZ_PUSHBACK_2BIG = 2;\r
-\r
- /* error messages for the codes above */\r
- private static final String ZZ_ERROR_MSG[] = {\r
- "Unknown internal scanner error",\r
- "Error: could not match input",\r
- "Error: pushback value was too large"\r
- };\r
-\r
- /**\r
- * ZZ_ATTRIBUTE[aState] contains the attributes of state <code>aState</code>\r
- */\r
- private static final int [] ZZ_ATTRIBUTE = zzUnpackAttribute();\r
-\r
- private static final String ZZ_ATTRIBUTE_PACKED_0 =\r
- "\3\0\1\10\1\11\10\1\2\11\10\1\1\11\17\1"+\r
- "\4\11\2\1\1\11\3\1\2\11\2\1\1\0\2\11"+\r
- "\4\1\1\11\5\0\1\1\1\11\2\1\3\0\1\1"+\r
- "\4\0\5\1\2\0\37\1\1\0\5\11\1\1\1\11"+\r
- "\2\0\2\1\1\0\3\11\1\0\1\11\2\0\1\11"+\r
- "\1\1\1\0\1\1\1\0\32\1\1\11\1\0\1\11"+\r
- "\2\0\1\1\1\0\31\1\1\0\1\11\1\0\22\1"+\r
- "\1\0\1\11\20\1\1\11\7\1\1\0\7\1\2\0"+\r
- "\2\1\2\0\2\1\2\0\1\1\2\0\2\1\2\0"+\r
- "\1\1\2\0\1\1\4\0\1\1\1\11\2\0\1\11"+\r
- "\1\1\2\0\1\1\2\0\1\11\1\0\1\11";\r
-\r
- private static int [] zzUnpackAttribute() {\r
- int [] result = new int[293];\r
- int offset = 0;\r
- offset = zzUnpackAttribute(ZZ_ATTRIBUTE_PACKED_0, offset, result);\r
- return result;\r
- }\r
-\r
- private static int zzUnpackAttribute(String packed, int offset, int [] result) {\r
- int i = 0; /* index in packed string */\r
- int j = offset; /* index in unpacked array */\r
- int l = packed.length();\r
- while (i < l) {\r
- int count = packed.charAt(i++);\r
- int value = packed.charAt(i++);\r
- do result[j++] = value; while (--count > 0);\r
- }\r
- return j;\r
- }\r
-\r
- /** the input device */\r
- private java.io.Reader zzReader;\r
-\r
- /** the current state of the DFA */\r
- private int zzState;\r
-\r
- /** the current lexical state */\r
- private int zzLexicalState = YYINITIAL;\r
-\r
- /** this buffer contains the current text to be matched and is\r
- the source of the yytext() string */\r
- private char zzBuffer[] = new char[ZZ_BUFFERSIZE];\r
-\r
- /** the textposition at the last accepting state */\r
- private int zzMarkedPos;\r
-\r
- /** the current text position in the buffer */\r
- private int zzCurrentPos;\r
-\r
- /** startRead marks the beginning of the yytext() string in the buffer */\r
- private int zzStartRead;\r
-\r
- /** endRead marks the last character in the buffer, that has been read\r
- from input */\r
- private int zzEndRead;\r
-\r
- /** number of newlines encountered up to the start of the matched text */\r
- private int yyline;\r
-\r
- /** the number of characters up to the start of the matched text */\r
- private int yychar;\r
-\r
- /**\r
- * the number of characters from the last newline up to the start of the \r
- * matched text\r
- */\r
- private int yycolumn;\r
-\r
- /** \r
- * zzAtBOL == true <=> the scanner is currently at the beginning of a line\r
- */\r
- private boolean zzAtBOL = true;\r
-\r
- /** zzAtEOF == true <=> the scanner is at the EOF */\r
- private boolean zzAtEOF;\r
-\r
- /** denotes if the user-EOF-code has already been executed */\r
- private boolean zzEOFDone;\r
- \r
- /** \r
- * The number of occupied positions in zzBuffer beyond zzEndRead.\r
- * When a lead/high surrogate has been read from the input stream\r
- * into the final zzBuffer position, this will have a value of 1;\r
- * otherwise, it will have a value of 0.\r
- */\r
- private int zzFinalHighSurrogate = 0;\r
-\r
- /* user code: */\r
+
+/**
+ * This class is a scanner generated by
+ * <a href="http://www.jflex.de/">JFlex</a> 1.6.1
+ * from the specification file <tt>C:/GamsGui/git/platform/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.flex</tt>
+ */
+public class SCLLexer {
+
+ /** 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;
+ public static final int STRING = 2;
+ public static final int LONG_STRING = 4;
+ public static final int CHAR = 6;
+
+ /**
+ * 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, 1, 1, 2, 2, 3, 3
+ };
+
+ /**
+ * Translates characters to character classes
+ */
+ private static final String ZZ_CMAP_PACKED =
+ "\11\0\1\75\1\74\1\73\1\73\1\15\22\0\1\24\1\20\1\71"+
+ "\1\6\2\5\1\20\1\4\1\11\1\13\1\26\1\5\1\12\1\23"+
+ "\1\7\1\25\12\2\1\66\1\67\1\17\1\65\1\21\1\14\1\10"+
+ "\4\3\1\22\1\3\3\1\1\60\20\1\1\63\1\30\1\64\1\5"+
+ "\1\72\1\16\1\34\1\46\1\47\1\51\1\41\1\31\1\54\1\40"+
+ "\1\36\2\1\1\35\1\52\1\42\1\32\1\53\1\55\1\33\1\43"+
+ "\1\37\1\45\1\56\1\44\1\50\1\57\1\1\1\61\1\70\1\62"+
+ "\1\5\6\0\1\73\u1fa2\0\1\73\1\73\udfd3\0\1\27\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\uffff\0\22\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 =
+ "\4\0\1\1\1\2\1\3\1\1\1\4\1\5\1\6"+
+ "\1\7\1\10\1\11\1\12\1\1\1\13\1\1\1\14"+
+ "\1\15\1\16\1\17\1\4\1\20\1\21\16\2\1\22"+
+ "\1\23\1\24\1\25\1\26\1\27\1\30\1\31\1\32"+
+ "\1\33\1\13\1\34\1\35\1\36\1\0\1\37\1\36"+
+ "\1\40\2\35\2\40\5\0\1\4\1\41\1\42\1\43"+
+ "\3\0\1\2\4\0\1\4\1\44\1\45\1\46\1\4"+
+ "\2\0\2\2\1\47\2\2\1\50\1\51\11\2\1\52"+
+ "\3\2\1\53\2\2\1\54\4\2\1\55\1\56\1\57"+
+ "\1\0\1\60\1\61\1\62\1\63\1\64\1\60\1\65"+
+ "\2\0\2\66\1\0\1\67\1\70\1\2\1\0\1\71"+
+ "\2\0\2\72\1\0\1\4\1\0\3\2\1\73\25\2"+
+ "\1\74\1\75\1\0\1\76\2\0\1\46\1\0\1\2"+
+ "\1\77\6\2\1\100\1\101\2\2\1\102\3\2\1\103"+
+ "\1\2\1\104\2\2\1\105\3\2\1\0\1\46\1\0"+
+ "\3\2\1\106\11\2\1\107\1\2\1\110\1\2\1\111"+
+ "\1\2\1\0\1\112\1\113\2\2\1\114\1\115\2\2"+
+ "\1\116\1\2\1\117\1\120\2\2\1\121\3\2\1\122"+
+ "\1\123\2\2\1\124\2\2\1\125\1\126\1\0\4\2"+
+ "\1\127\2\2\2\0\1\2\1\130\2\0\2\2\2\0"+
+ "\1\2\2\0\1\131\1\2\2\0\1\132\2\0\1\2"+
+ "\4\0\1\2\1\133\2\0\1\134\1\2\2\0\1\135"+
+ "\2\0\1\136\1\0\1\137";
+
+ private static int [] zzUnpackAction() {
+ int [] result = new int[296];
+ 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\76\0\174\0\272\0\272\0\370\0\u0136\0\u0174"+
+ "\0\u01b2\0\u01f0\0\u022e\0\u026c\0\u02aa\0\272\0\272\0\u02e8"+
+ "\0\u0326\0\u0364\0\u03a2\0\u01b2\0\u03e0\0\u041e\0\u045c\0\272"+
+ "\0\u049a\0\u04d8\0\u0516\0\u0554\0\u0592\0\u05d0\0\u060e\0\u064c"+
+ "\0\u068a\0\u06c8\0\u0706\0\u0744\0\u0782\0\u07c0\0\u07fe\0\272"+
+ "\0\272\0\272\0\272\0\u083c\0\u087a\0\272\0\u01b2\0\u08b8"+
+ "\0\370\0\272\0\272\0\u08f6\0\u0934\0\u0972\0\272\0\272"+
+ "\0\u09b0\0\u09ee\0\u0a2c\0\u08f6\0\272\0\u0a6a\0\u0aa8\0\u0ae6"+
+ "\0\u0b24\0\u0b62\0\u0ba0\0\272\0\u0bde\0\u0c1c\0\u0c5a\0\u0c98"+
+ "\0\u0cd6\0\u0d14\0\u0d52\0\u0d90\0\u0dce\0\u0e0c\0\u0e4a\0\u01b2"+
+ "\0\u01b2\0\u0e88\0\u0ec6\0\u0f04\0\u0f42\0\u0f80\0\u0fbe\0\370"+
+ "\0\u0ffc\0\u103a\0\370\0\u1078\0\u10b6\0\u10f4\0\u1132\0\u1170"+
+ "\0\u11ae\0\u11ec\0\u122a\0\u1268\0\u12a6\0\370\0\u12e4\0\u1322"+
+ "\0\u1360\0\370\0\u139e\0\u13dc\0\370\0\u141a\0\u1458\0\u1496"+
+ "\0\u14d4\0\u01b2\0\u01b2\0\u01b2\0\u1512\0\272\0\272\0\272"+
+ "\0\272\0\272\0\u1550\0\272\0\u158e\0\u02e8\0\u15cc\0\u160a"+
+ "\0\u160a\0\272\0\272\0\272\0\u1648\0\272\0\u1686\0\u16c4"+
+ "\0\272\0\u01b2\0\u1702\0\u1740\0\u177e\0\u17bc\0\u17fa\0\u1838"+
+ "\0\370\0\u1876\0\u18b4\0\u18f2\0\u1930\0\u196e\0\u19ac\0\u19ea"+
+ "\0\u1a28\0\u1a66\0\u1aa4\0\u1ae2\0\u1b20\0\u1b5e\0\u1b9c\0\u1bda"+
+ "\0\u1c18\0\u1c56\0\u1c94\0\u1cd2\0\u1d10\0\u1d4e\0\370\0\272"+
+ "\0\u1d8c\0\272\0\u1dca\0\u1e08\0\u01b2\0\u1e46\0\u1e84\0\u1ec2"+
+ "\0\u1f00\0\u1f3e\0\u1f7c\0\u1fba\0\u1ff8\0\u2036\0\370\0\370"+
+ "\0\u2074\0\u20b2\0\370\0\u20f0\0\u212e\0\u216c\0\370\0\u21aa"+
+ "\0\370\0\u21e8\0\u2226\0\370\0\u2264\0\u22a2\0\u22e0\0\u231e"+
+ "\0\272\0\u235c\0\u239a\0\u23d8\0\u2416\0\u2454\0\u2492\0\u24d0"+
+ "\0\u250e\0\u254c\0\u258a\0\u25c8\0\u2606\0\u2644\0\u2682\0\370"+
+ "\0\u26c0\0\370\0\u26fe\0\370\0\u273c\0\u277a\0\272\0\370"+
+ "\0\u27b8\0\u27f6\0\370\0\370\0\u2834\0\u2872\0\u28b0\0\u28ee"+
+ "\0\370\0\370\0\u292c\0\u296a\0\u29a8\0\u29e6\0\u2a24\0\u2a62"+
+ "\0\272\0\370\0\u2aa0\0\u2ade\0\370\0\u2b1c\0\u2b5a\0\370"+
+ "\0\370\0\u2b98\0\u2bd6\0\u2c14\0\u2c52\0\u2c90\0\370\0\u2cce"+
+ "\0\u2d0c\0\u2d4a\0\u2d88\0\u2dc6\0\370\0\u2e04\0\u2e42\0\u2e80"+
+ "\0\u2ebe\0\u2efc\0\u2f3a\0\u2f78\0\u2fb6\0\u2ff4\0\370\0\u3032"+
+ "\0\u3070\0\u30ae\0\370\0\u30ec\0\u312a\0\u3168\0\u31a6\0\u31e4"+
+ "\0\u3222\0\u3260\0\u329e\0\272\0\u32dc\0\u331a\0\272\0\u3358"+
+ "\0\u3396\0\u33d4\0\370\0\u3412\0\u3450\0\272\0\u348e\0\272";
+
+ private static int [] zzUnpackRowMap() {
+ int [] result = new int[296];
+ 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\5\1\6\1\7\1\6\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\11\1\24\1\6\1\25\1\26\1\27\1\11\1\30"+
+ "\1\31\1\32\1\6\1\33\1\34\1\35\1\36\1\37"+
+ "\1\40\1\41\1\6\1\42\1\43\1\6\1\44\1\45"+
+ "\1\6\1\46\1\47\6\6\1\50\1\51\1\52\1\53"+
+ "\1\54\1\55\1\56\1\57\1\60\1\61\2\62\1\63"+
+ "\15\64\1\65\11\64\1\30\1\66\40\64\1\67\2\64"+
+ "\1\70\16\64\1\71\11\64\1\30\1\72\40\64\1\73"+
+ "\1\64\1\74\1\75\1\64\77\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\30\6\11\0\1\6\5\0\1\7"+
+ "\4\0\1\77\12\0\1\100\16\0\1\100\34\0\4\101"+
+ "\1\0\22\101\1\0\1\102\45\101\5\0\2\11\1\0"+
+ "\1\11\6\0\3\11\1\0\1\11\1\0\2\11\1\0"+
+ "\1\11\34\0\2\11\1\0\1\11\12\0\2\11\1\0"+
+ "\1\11\4\0\1\103\1\0\3\11\1\0\1\11\1\103"+
+ "\2\11\1\0\1\11\34\0\2\11\1\0\1\11\3\0"+
+ "\1\103\10\0\1\104\5\0\1\105\6\0\1\105\47\0"+
+ "\1\105\2\0\1\106\1\0\1\106\1\0\2\11\1\0"+
+ "\1\11\6\0\3\11\1\106\1\11\1\0\2\11\1\0"+
+ "\1\11\30\106\4\0\2\11\1\0\1\11\1\0\1\106"+
+ "\10\0\2\107\1\110\1\107\1\0\1\111\4\0\3\107"+
+ "\1\0\1\107\1\0\2\107\1\0\1\107\34\0\2\107"+
+ "\1\0\1\107\6\0\1\112\1\0\1\112\16\0\1\112"+
+ "\6\0\30\112\11\0\1\112\77\0\1\62\2\0\1\113"+
+ "\1\0\1\113\5\0\1\114\2\0\1\115\5\0\1\113"+
+ "\6\0\30\113\11\0\1\113\10\0\2\11\1\0\1\11"+
+ "\3\0\1\116\2\0\1\11\1\117\1\11\1\0\1\120"+
+ "\1\0\2\11\1\0\1\11\34\0\2\11\1\0\1\117"+
+ "\12\0\2\11\1\0\1\11\6\0\2\11\1\121\1\0"+
+ "\1\11\1\0\2\11\1\0\1\11\34\0\2\11\1\0"+
+ "\1\11\31\0\1\26\56\0\2\11\1\0\1\11\6\0"+
+ "\3\11\1\0\1\11\1\0\1\122\1\123\1\0\1\11"+
+ "\34\0\2\11\1\0\1\11\12\0\2\11\1\0\1\11"+
+ "\6\0\3\11\1\0\1\11\1\124\2\11\1\0\1\11"+
+ "\21\0\1\125\12\0\2\11\1\0\1\11\6\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\1\6\1\126\26\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\14\6\1\127\13\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\12\6\1\130\2\6"+
+ "\1\131\12\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\10\6\1\132\17\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\1\133"+
+ "\10\6\1\134\7\6\1\135\6\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\2\6\1\136"+
+ "\4\6\1\137\16\6\1\140\1\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\5\6\1\141"+
+ "\22\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\1\142\3\6\1\143\4\6\1\144\5\6"+
+ "\1\145\4\6\1\146\3\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\10\6\1\147\17\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\5\6\1\150\1\6\1\151\20\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\26\6"+
+ "\1\152\1\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\1\6\1\153\2\6\1\154\23\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\1\6\1\155\1\6\1\156\4\6\1\157\17\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\3\6\1\160\14\6\1\161\7\6\11\0\1\6"+
+ "\10\0\2\11\1\0\1\11\6\0\2\11\1\162\1\0"+
+ "\1\11\1\0\2\11\1\0\1\11\34\0\2\11\1\0"+
+ "\1\11\12\0\2\11\1\0\1\11\6\0\3\11\1\0"+
+ "\1\163\1\0\2\11\1\0\1\11\34\0\1\11\1\164"+
+ "\1\0\1\11\76\0\1\165\4\0\15\64\1\0\11\64"+
+ "\2\0\40\64\1\0\2\64\1\0\1\64\74\0\1\70"+
+ "\1\0\4\166\1\167\4\166\1\170\3\166\1\0\12\166"+
+ "\1\167\2\166\1\171\3\166\1\172\2\166\1\75\2\166"+
+ "\1\173\23\166\1\167\1\166\2\0\1\166\74\0\1\75"+
+ "\12\0\1\174\155\0\1\175\5\0\1\6\1\0\1\6"+
+ "\10\0\1\176\5\0\1\6\6\0\30\6\11\0\1\6"+
+ "\5\0\1\177\75\0\1\200\20\0\1\201\56\0\1\202"+
+ "\71\0\27\101\1\0\46\101\15\0\1\103\6\0\1\103"+
+ "\47\0\1\103\16\0\1\105\6\0\1\105\47\0\1\105"+
+ "\2\0\4\106\15\0\1\106\6\0\30\106\11\0\1\106"+
+ "\10\0\2\107\1\0\1\107\2\0\1\203\3\0\3\107"+
+ "\1\0\1\107\1\0\2\107\1\0\1\107\34\0\2\107"+
+ "\1\0\1\107\20\0\1\203\74\0\1\111\1\204\63\0"+
+ "\4\112\15\0\1\112\6\0\30\112\11\0\1\112\4\0"+
+ "\4\113\2\0\1\205\6\0\1\206\3\0\1\113\6\0"+
+ "\30\113\11\0\1\113\15\0\1\207\64\0\1\210\1\0"+
+ "\1\210\16\0\1\210\6\0\30\210\11\0\1\210\24\0"+
+ "\1\211\61\0\2\11\1\0\1\11\6\0\2\11\1\212"+
+ "\1\0\1\11\1\0\2\11\1\0\1\11\34\0\2\11"+
+ "\1\0\1\11\5\0\15\122\1\0\56\122\1\0\1\122"+
+ "\5\213\2\123\1\213\1\123\6\213\3\123\1\213\1\123"+
+ "\1\213\1\123\1\214\1\213\1\123\34\213\2\123\1\213"+
+ "\1\123\5\213\24\0\1\124\25\0\1\125\57\0\1\215"+
+ "\42\0\4\6\2\0\1\76\12\0\1\6\6\0\2\6"+
+ "\1\216\25\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\4\6\1\217\23\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\12\6"+
+ "\1\220\15\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\6\6\1\221\21\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\1\222"+
+ "\11\6\1\223\3\6\1\224\11\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\22\6\1\225"+
+ "\5\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\3\6\1\226\24\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\10\6\1\227"+
+ "\17\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\22\6\1\230\5\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\20\6\1\231"+
+ "\7\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\1\232\27\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\12\6\1\233\15\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\1\234\27\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\6\6\1\235\21\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\4\6\1\236\23\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\6\6\1\237\21\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\10\6\1\240\17\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\11\6\1\241\16\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\3\6\1\242\24\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\6\6\1\243\21\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\2\6\1\244\25\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\6\6\1\245\13\6\1\246"+
+ "\5\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\1\6\1\247\26\6\11\0\1\6\74\0"+
+ "\1\250\6\0\2\251\16\0\1\251\6\0\1\251\2\0"+
+ "\1\251\4\0\1\251\4\0\2\251\1\0\1\251\115\0"+
+ "\1\252\6\0\1\177\17\0\1\100\16\0\1\100\36\0"+
+ "\1\200\74\0\1\113\1\0\1\113\10\0\1\115\5\0"+
+ "\1\113\6\0\30\113\11\0\1\113\15\0\1\207\1\253"+
+ "\63\0\4\210\11\0\1\206\3\0\1\210\6\0\30\210"+
+ "\11\0\1\210\3\0\26\213\1\254\54\213\2\123\1\213"+
+ "\1\123\6\213\3\123\1\213\1\123\1\213\1\255\1\214"+
+ "\1\213\1\123\34\213\2\123\1\213\1\123\5\213\37\0"+
+ "\1\256\37\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\3\6\1\257\24\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\10\6\1\260\17\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\6\6\1\261\21\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\5\6\1\262\22\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\6\6\1\263\21\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\4\6\1\264\23\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\1\6\1\265\26\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\11\6\1\266\16\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\11\6\1\267\16\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\10\6\1\270\17\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\5\6\1\271\22\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\10\6\1\272\17\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\10\6\1\273\17\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\1\6\1\274\26\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\10\6\1\275\17\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\10\6\1\276\17\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\7\6\1\277\20\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\2\6\1\300\6\6\1\301"+
+ "\16\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\12\6\1\302\15\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\12\6\1\303"+
+ "\15\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\3\6\1\304\24\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\5\6\1\305"+
+ "\22\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\16\6\1\306\11\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\22\6\1\307"+
+ "\5\6\11\0\1\6\5\0\2\310\16\0\1\310\6\0"+
+ "\1\310\2\0\1\310\4\0\1\310\4\0\2\310\1\0"+
+ "\1\310\42\0\1\206\57\0\25\213\1\311\1\254\47\213"+
+ "\47\0\1\312\27\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\4\6\1\313\23\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\12\6\1\314\15\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\2\6\1\315\25\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\17\6\1\316\10\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\3\6\1\317\24\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\14\6\1\320\13\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\2\6\1\321\25\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\12\6\1\322\15\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\11\6\1\323\16\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\16\6\1\324\11\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\2\6\1\325\25\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\11\6\1\326\16\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\16\6\1\327\11\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\10\6\1\330\17\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\6\6\1\331\21\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\12\6\1\332\15\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\25\6\1\333\2\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\7\6\1\334\20\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\5\6\1\335\22\6\11\0\1\6\5\0\2\336"+
+ "\16\0\1\336\6\0\1\336\2\0\1\336\4\0\1\336"+
+ "\4\0\2\336\1\0\1\336\64\0\1\337\36\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\4\6\1\340\23\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\10\6\1\341\17\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\3\6\1\342\24\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\2\6\1\343\1\6\1\344\23\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\11\6"+
+ "\1\345\16\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\20\6\1\346\7\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\6\6"+
+ "\1\347\21\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\1\350\27\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\23\6\1\351"+
+ "\4\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\6\6\1\352\21\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\16\6\1\353"+
+ "\11\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\20\6\1\354\7\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\6\6\1\355"+
+ "\21\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\2\6\1\356\25\6\11\0\1\6\4\0"+
+ "\4\6\2\0\1\76\12\0\1\6\6\0\5\6\1\357"+
+ "\22\6\11\0\1\6\4\0\4\6\2\0\1\76\12\0"+
+ "\1\6\6\0\11\6\1\360\16\6\11\0\1\6\5\0"+
+ "\2\361\16\0\1\361\6\0\1\361\2\0\1\361\4\0"+
+ "\1\361\4\0\2\361\1\0\1\361\25\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\6\6\1\362\21\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\16\6\1\363\11\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\16\6\1\364\11\6\11\0"+
+ "\1\6\4\0\4\6\2\0\1\76\12\0\1\6\6\0"+
+ "\10\6\1\365\17\6\11\0\1\6\4\0\4\6\2\0"+
+ "\1\76\12\0\1\6\6\0\27\6\1\366\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\1\6"+
+ "\1\367\26\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\10\6\1\370\17\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\12\6"+
+ "\1\371\15\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\1\0\1\372\4\0\30\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\3\6"+
+ "\1\373\24\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\11\6\1\374\16\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\23\6"+
+ "\1\375\4\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\6\6\1\376\21\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\10\6"+
+ "\1\377\17\6\11\0\1\6\4\0\4\6\2\0\1\76"+
+ "\12\0\1\6\6\0\3\6\1\u0100\24\6\11\0\1\6"+
+ "\4\0\4\6\2\0\1\76\12\0\1\6\6\0\2\6"+
+ "\1\u0101\25\6\11\0\1\6\27\0\1\372\4\0\1\u0102"+
+ "\17\0\1\u0103\25\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\5\6\1\u0104\22\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\23\6\1\u0105\4\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\1\0\1\u0106\4\0\30\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\1\0\1\u0107\4\0\30\6"+
+ "\11\0\1\6\4\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\25\6\1\u0108\2\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\21\6\1\u0109\6\6"+
+ "\11\0\1\6\41\0\1\u010a\75\0\1\u010b\40\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\11\6\1\u010c\16\6"+
+ "\11\0\1\6\27\0\1\u0106\6\0\1\u010d\66\0\1\u0107"+
+ "\6\0\1\u010e\43\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\3\6\1\u010f\24\6\11\0\1\6\4\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\3\6\1\u0110\24\6"+
+ "\11\0\1\6\36\0\1\u0111\105\0\1\u0112\33\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\6\6\1\u0113\21\6"+
+ "\11\0\1\6\44\0\1\u0114\101\0\1\u0115\31\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\6\6\1\u0116\21\6"+
+ "\11\0\1\6\46\0\1\u0117\71\0\1\u0118\73\0\1\u0119"+
+ "\75\0\1\u011a\41\0\4\6\2\0\1\76\12\0\1\6"+
+ "\6\0\5\6\1\u011b\22\6\11\0\1\6\42\0\1\u011c"+
+ "\74\0\1\u011d\73\0\1\u011e\102\0\1\u011f\35\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\1\6\1\u0120\26\6"+
+ "\11\0\1\6\45\0\1\u0121\72\0\1\u0122\37\0\4\6"+
+ "\2\0\1\76\12\0\1\6\6\0\11\6\1\u0123\16\6"+
+ "\11\0\1\6\52\0\1\u0124\64\0\1\u0125\76\0\1\u0126"+
+ "\70\0\1\u0127\105\0\1\u0128\33\0";
+
+ private static int [] zzUnpackTrans() {
+ int [] result = new int[13516];
+ 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[] = {
+ "Unknown 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 =
+ "\3\0\1\10\1\11\10\1\2\11\10\1\1\11\17\1"+
+ "\4\11\2\1\1\11\3\1\2\11\2\1\1\0\2\11"+
+ "\4\1\1\11\5\0\1\1\1\11\2\1\3\0\1\1"+
+ "\4\0\5\1\2\0\37\1\1\0\5\11\1\1\1\11"+
+ "\2\0\2\1\1\0\3\11\1\0\1\11\2\0\1\11"+
+ "\1\1\1\0\1\1\1\0\32\1\1\11\1\0\1\11"+
+ "\2\0\1\1\1\0\31\1\1\0\1\11\1\0\23\1"+
+ "\1\0\1\11\21\1\1\11\10\1\1\0\7\1\2\0"+
+ "\2\1\2\0\2\1\2\0\1\1\2\0\2\1\2\0"+
+ "\1\1\2\0\1\1\4\0\1\1\1\11\2\0\1\11"+
+ "\1\1\2\0\1\1\2\0\1\11\1\0\1\11";
+
+ private static int [] zzUnpackAttribute() {
+ int [] result = new int[296];
+ 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;
+
+ /**
+ * The number of occupied positions in zzBuffer beyond zzEndRead.
+ * When a lead/high surrogate has been read from the input stream
+ * into the final zzBuffer position, this will have a value of 1;
+ * otherwise, it will have a value of 0.
+ */
+ private int zzFinalHighSurrogate = 0;
+
+ /* user code: */