📄 exprscanner.java~
字号:
/* The following code was generated by JFlex 1.4.1 on 07-6-20 上午3:58 */
package edu.ustc.cs.minijool.parser;
import java_cup.runtime.*;
/**
* This class is a scanner generated by
* <a href="http://www.jflex.de/">JFlex</a> 1.4.1
* on 07-6-20 上午3:58 from the specification file
* <tt>D:/workspace/Lab3/JFlex/MiniJOOL.flex</tt>
*/
public class ExprScanner implements java_cup.runtime.Scanner {
/** 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 StringHandle = 1;
public static final int YYINITIAL = 0;
/**
* Translates characters to character classes
*/
private static final String ZZ_CMAP_PACKED =
"\11\0\1\3\1\2\1\0\2\2\22\0\1\3\1\54\1\1\2\12"+
"\1\52\1\55\1\12\1\41\1\42\1\5\1\50\1\46\1\51\1\47"+
"\1\4\12\11\1\12\1\45\1\60\1\53\1\57\2\12\22\7\1\35"+
"\7\7\1\37\1\12\1\40\3\12\1\16\1\22\1\20\1\27\1\25"+
"\1\33\1\36\1\32\1\17\2\7\1\24\1\7\1\21\1\23\2\7"+
"\1\13\1\14\1\15\1\34\1\26\1\31\1\30\2\7\1\43\1\56"+
"\1\44\1\12\53\0\1\6\12\0\1\6\4\0\1\6\5\0\27\6"+
"\1\0\37\6\1\0\u013f\6\31\0\162\6\4\0\14\6\16\0\5\6"+
"\11\0\1\6\213\0\1\6\13\0\1\6\1\0\3\6\1\0\1\6"+
"\1\0\24\6\1\0\54\6\1\0\46\6\1\0\5\6\4\0\202\6"+
"\10\0\105\6\1\0\46\6\2\0\2\6\6\0\20\6\41\0\46\6"+
"\2\0\1\6\7\0\47\6\110\0\33\6\5\0\3\6\56\0\32\6"+
"\5\0\13\6\25\0\12\10\4\0\2\6\1\0\143\6\1\0\1\6"+
"\17\0\2\6\7\0\2\6\12\10\3\6\2\0\1\6\20\0\1\6"+
"\1\0\36\6\35\0\3\6\60\0\46\6\13\0\1\6\u0152\0\66\6"+
"\3\0\1\6\22\0\1\6\7\0\12\6\4\0\12\10\25\0\10\6"+
"\2\0\2\6\2\0\26\6\1\0\7\6\1\0\1\6\3\0\4\6"+
"\3\0\1\6\36\0\2\6\1\0\3\6\4\0\12\10\2\6\23\0"+
"\6\6\4\0\2\6\2\0\26\6\1\0\7\6\1\0\2\6\1\0"+
"\2\6\1\0\2\6\37\0\4\6\1\0\1\6\7\0\12\10\2\0"+
"\3\6\20\0\11\6\1\0\3\6\1\0\26\6\1\0\7\6\1\0"+
"\2\6\1\0\5\6\3\0\1\6\22\0\1\6\17\0\2\6\4\0"+
"\12\10\25\0\10\6\2\0\2\6\2\0\26\6\1\0\7\6\1\0"+
"\2\6\1\0\5\6\3\0\1\6\36\0\2\6\1\0\3\6\4\0"+
"\12\10\1\0\1\6\21\0\1\6\1\0\6\6\3\0\3\6\1\0"+
"\4\6\3\0\2\6\1\0\1\6\1\0\2\6\3\0\2\6\3\0"+
"\3\6\3\0\10\6\1\0\3\6\55\0\11\10\25\0\10\6\1\0"+
"\3\6\1\0\27\6\1\0\12\6\1\0\5\6\46\0\2\6\4\0"+
"\12\10\25\0\10\6\1\0\3\6\1\0\27\6\1\0\12\6\1\0"+
"\5\6\3\0\1\6\40\0\1\6\1\0\2\6\4\0\12\10\25\0"+
"\10\6\1\0\3\6\1\0\27\6\1\0\20\6\46\0\2\6\4\0"+
"\12\10\25\0\22\6\3\0\30\6\1\0\11\6\1\0\1\6\2\0"+
"\7\6\72\0\60\6\1\0\2\6\14\0\7\6\11\0\12\10\47\0"+
"\2\6\1\0\1\6\2\0\2\6\1\0\1\6\2\0\1\6\6\0"+
"\4\6\1\0\7\6\1\0\3\6\1\0\1\6\1\0\1\6\2\0"+
"\2\6\1\0\4\6\1\0\2\6\11\0\1\6\2\0\5\6\1\0"+
"\1\6\11\0\12\10\2\0\2\6\42\0\1\6\37\0\12\10\26\0"+
"\10\6\1\0\42\6\35\0\4\6\164\0\42\6\1\0\5\6\1\0"+
"\2\6\25\0\12\10\6\0\6\6\112\0\46\6\12\0\51\6\7\0"+
"\132\6\5\0\104\6\5\0\122\6\6\0\7\6\1\0\77\6\1\0"+
"\1\6\1\0\4\6\2\0\7\6\1\0\1\6\1\0\4\6\2\0"+
"\47\6\1\0\1\6\1\0\4\6\2\0\37\6\1\0\1\6\1\0"+
"\4\6\2\0\7\6\1\0\1\6\1\0\4\6\2\0\7\6\1\0"+
"\7\6\1\0\27\6\1\0\37\6\1\0\1\6\1\0\4\6\2\0"+
"\7\6\1\0\47\6\1\0\23\6\16\0\11\10\56\0\125\6\14\0"+
"\u026c\6\2\0\10\6\12\0\32\6\5\0\113\6\25\0\15\6\1\0"+
"\4\6\16\0\22\6\16\0\22\6\16\0\15\6\1\0\3\6\17\0"+
"\64\6\43\0\1\6\4\0\1\6\3\0\12\10\46\0\12\10\6\0"+
"\130\6\10\0\51\6\127\0\35\6\51\0\12\10\36\6\2\0\5\6"+
"\u038b\0\154\6\224\0\234\6\4\0\132\6\6\0\26\6\2\0\6\6"+
"\2\0\46\6\2\0\6\6\2\0\10\6\1\0\1\6\1\0\1\6"+
"\1\0\1\6\1\0\37\6\2\0\65\6\1\0\7\6\1\0\1\6"+
"\3\0\3\6\1\0\7\6\3\0\4\6\2\0\6\6\4\0\15\6"+
"\5\0\3\6\1\0\7\6\164\0\1\6\15\0\1\6\202\0\1\6"+
"\4\0\1\6\2\0\12\6\1\0\1\6\3\0\5\6\6\0\1\6"+
"\1\0\1\6\1\0\1\6\1\0\4\6\1\0\3\6\1\0\7\6"+
"\3\0\3\6\5\0\5\6\u0ebb\0\2\6\52\0\5\6\5\0\2\6"+
"\4\0\126\6\6\0\3\6\1\0\132\6\1\0\4\6\5\0\50\6"+
"\4\0\136\6\21\0\30\6\70\0\20\6\u0200\0\u19b6\6\112\0\u51a6\6"+
"\132\0\u048d\6\u0773\0\u2ba4\6\u215c\0\u012e\6\2\0\73\6\225\0\7\6"+
"\14\0\5\6\5\0\1\6\1\0\12\6\1\0\15\6\1\0\5\6"+
"\1\0\1\6\1\0\2\6\1\0\2\6\1\0\154\6\41\0\u016b\6"+
"\22\0\100\6\2\0\66\6\50\0\14\6\164\0\5\6\1\0\207\6"+
"\23\0\12\10\7\0\32\6\6\0\32\6\13\0\131\6\3\0\6\6"+
"\2\0\6\6\2\0\6\6\2\0\3\6\43\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 =
"\2\0\1\1\1\2\1\3\1\4\1\5\1\6\1\7"+
"\14\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\24\1\25\2\1"+
"\1\26\1\27\1\30\1\3\1\0\1\31\1\32\5\6"+
"\1\33\12\6\1\34\1\35\1\36\1\37\1\40\1\41"+
"\1\42\1\43\1\44\1\45\1\46\1\0\4\6\1\47"+
"\1\6\1\50\10\6\1\51\1\52\1\3\2\6\1\53"+
"\1\54\1\6\1\55\1\6\1\56\1\6\1\57\4\6"+
"\1\60\2\6\1\61\1\6\1\62\1\63\2\6\1\64"+
"\1\65\1\66";
private static int [] zzUnpackAction() {
int [] result = new int[116];
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\61\0\142\0\142\0\142\0\223\0\304\0\365"+
"\0\u0126\0\u0157\0\u0188\0\u01b9\0\u01ea\0\u021b\0\u024c\0\u027d"+
"\0\u02ae\0\u02df\0\u0310\0\u0341\0\u0372\0\142\0\142\0\142"+
"\0\142\0\142\0\142\0\142\0\142\0\142\0\u03a3\0\u03d4"+
"\0\u0405\0\u0436\0\u0467\0\u0498\0\u04c9\0\u04fa\0\u052b\0\142"+
"\0\u055c\0\u058d\0\142\0\142\0\u05be\0\u05ef\0\u0620\0\u0651"+
"\0\u0682\0\365\0\u06b3\0\u06e4\0\u0715\0\u0746\0\u0777\0\u07a8"+
"\0\u07d9\0\u080a\0\u083b\0\u086c\0\142\0\142\0\142\0\142"+
"\0\142\0\142\0\142\0\142\0\u089d\0\142\0\u08ce\0\u08ff"+
"\0\u0930\0\u0961\0\u0992\0\u09c3\0\365\0\u09f4\0\365\0\u0a25"+
"\0\u0a56\0\u0a87\0\u0ab8\0\u0ae9\0\u0b1a\0\u0b4b\0\u0b7c\0\142"+
"\0\142\0\u058d\0\u0bad\0\u0bde\0\365\0\365\0\u0c0f\0\365"+
"\0\u0c40\0\365\0\u0c71\0\365\0\u0ca2\0\u0cd3\0\u0d04\0\u0d35"+
"\0\365\0\u0d66\0\u0d97\0\365\0\u0dc8\0\365\0\365\0\u0df9"+
"\0\u0e2a\0\365\0\365\0\365";
private static int [] zzUnpackRowMap() {
int [] result = new int[116];
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\3\1\4\2\5\1\6\1\7\2\10\2\11\1\3"+
"\1\12\1\13\1\14\1\10\1\15\1\16\1\17\1\20"+
"\2\10\1\21\1\22\2\10\1\23\1\10\1\24\1\10"+
"\1\25\1\10\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\0\1\50\144\0\1\51"+
"\1\52\45\0\1\53\60\0\1\54\13\0\4\10\1\0"+
"\24\10\32\0\2\11\55\0\4\10\1\0\12\10\1\55"+
"\11\10\30\0\4\10\1\0\2\10\1\56\21\10\30\0"+
"\4\10\1\0\1\57\16\10\1\60\4\10\30\0\4\10"+
"\1\0\6\10\1\61\11\10\1\62\3\10\30\0\4\10"+
"\1\0\11\10\1\63\12\10\30\0\4\10\1\0\12\10"+
"\1\64\6\10\1\65\2\10\30\0\4\10\1\0\10\10"+
"\1\66\13\10\30\0\4\10\1\0\11\10\1\67\3\10"+
"\1\70\6\10\30\0\4\10\1\0\10\10\1\71\13\10"+
"\30\0\4\10\1\0\17\10\1\72\4\10\30\0\4\10"+
"\1\0\3\10\1\73\20\10\30\0\4\10\1\0\2\10"+
"\1\74\21\10\75\0\1\75\60\0\1\76\60\0\1\77"+
"\60\0\1\100\60\0\1\101\62\0\1\102\61\0\1\103"+
"\55\0\1\104\3\0\1\105\54\0\1\106\4\0\1\107"+
"\1\0\1\51\1\0\3\51\1\0\1\51\1\0\50\51"+
"\1\0\1\52\1\0\2\52\1\110\1\0\1\52\1\0"+
"\50\52\6\0\4\10\1\0\2\10\1\111\21\10\30\0"+
"\4\10\1\0\3\10\1\112\20\10\30\0\4\10\1\0"+
"\21\10\1\113\2\10\30\0\4\10\1\0\4\10\1\114"+
"\17\10\30\0\4\10\1\0\2\10\1\115\21\10\30\0"+
"\4\10\1\0\3\10\1\116\20\10\30\0\4\10\1\0"+
"\16\10\1\117\5\10\30\0\4\10\1\0\11\10\1\120"+
"\12\10\30\0\4\10\1\0\10\10\1\121\13\10\30\0"+
"\4\10\1\0\1\10\1\122\22\10\30\0\4\10\1\0"+
"\2\10\1\123\21\10\30\0\4\10\1\0\4\10\1\124"+
"\17\10\30\0\4\10\1\0\4\10\1\125\17\10\30\0"+
"\4\10\1\0\11\10\1\126\12\10\30\0\4\10\1\0"+
"\1\127\23\10\75\0\1\130\60\0\1\131\6\0\1\52"+
"\1\0\1\52\1\132\1\110\1\0\1\52\1\0\50\52"+
"\6\0\4\10\1\0\21\10\1\133\2\10\30\0\4\10"+
"\1\0\2\10\1\134\21\10\30\0\4\10\1\0\12\10"+
"\1\135\11\10\30\0\4\10\1\0\1\10\1\136\22\10"+
"\30\0\4\10\1\0\1\10\1\137\22\10\30\0\4\10"+
"\1\0\11\10\1\140\12\10\30\0\4\10\1\0\11\10"+
"\1\141\12\10\30\0\4\10\1\0\12\10\1\142\11\10"+
"\30\0\4\10\1\0\12\10\1\143\11\10\30\0\4\10"+
"\1\0\14\10\1\144\7\10\30\0\4\10\1\0\11\10"+
"\1\145\12\10\30\0\4\10\1\0\1\10\1\113\22\10"+
"\30\0\4\10\1\0\4\10\1\146\17\10\30\0\4\10"+
"\1\0\1\147\23\10\30\0\4\10\1\0\4\10\1\150"+
"\17\10\30\0\4\10\1\0\1\10\1\151\22\10\30\0"+
"\4\10\1\0\12\10\1\152\11\10\30\0\4\10\1\0"+
"\6\10\1\153\15\10\30\0\4\10\1\0\12\10\1\154"+
"\11\10\30\0\4\10\1\0\6\10\1\155\15\10\30\0"+
"\4\10\1\0\6\10\1\156\15\10\30\0\4\10\1\0"+
"\5\10\1\157\16\10\30\0\4\10\1\0\3\10\1\160"+
"\20\10\30\0\4\10\1\0\14\10\1\161\7\10\30\0"+
"\4\10\1\0\23\10\1\162\30\0\4\10\1\0\6\10"+
"\1\163\15\10\30\0\4\10\1\0\1\10\1\164\22\10"+
"\22\0";
private static int [] zzUnpackTrans() {
int [] result = new int[3675];
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 =
"\2\0\3\11\20\1\11\11\11\1\1\11\1\1\1\0"+
"\2\11\20\1\10\11\1\1\1\11\1\1\1\0\17\1"+
"\2\11\33\1";
private static int [] zzUnpackAttribute() {
int [] result = new int[116];
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 textposition at the last state to be included in yytext */
private int zzPushbackPos;
/** 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;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -