public class PNLexer extends antlr.CharScanner implements PNParserTokenTypes, antlr.TokenStream
Modifier and Type | Field and Description |
---|---|
static antlr.collections.impl.BitSet |
_tokenSet_0 |
static antlr.collections.impl.BitSet |
_tokenSet_1 |
static antlr.collections.impl.BitSet |
_tokenSet_2 |
static antlr.collections.impl.BitSet |
_tokenSet_3 |
ARROW, ASSIGNMENT, BITAND, BITNOT, BITOR, COLON, COMMA, COMMENT, DIGIT, DIVIDES, DOTDOT, EOF, EOL, EQUALITY, EQUIV, GREATER, GREATEREQ, IDENT, IGNORE, IMPLIES, LABEL, LBRACK, LBRACKGRID, LESS, LESSEQ, LETTER, LITERAL_AND, LITERAL_ARRAY, LITERAL_assume, LITERAL_auto, LITERAL_autostar, LITERAL_AXIOM, LITERAL_BIT, LITERAL_BITFALSE, LITERAL_BITTRUE, LITERAL_BOOLEAN, LITERAL_case, LITERAL_counterexample, LITERAL_decompose, LITERAL_ELSE, LITERAL_ELSIF, LITERAL_ENDIF, LITERAL_environment, LITERAL_EXISTS, LITERAL_expand, LITERAL_FALSE, LITERAL_flatten, LITERAL_flip, LITERAL_FORALL, LITERAL_FORMULA, LITERAL_goal, LITERAL_goto, LITERAL_IF, LITERAL_in, LITERAL_IN, LITERAL_induction, LITERAL_instantiate, LITERAL_INT, LITERAL_LAMBDA, LITERAL_lemma, LITERAL_LET, LITERAL_LOGICAL, LITERAL_LOGICALFALSE, LITERAL_LOGICALTRUE, LITERAL_NAT, LITERAL_newcontext, LITERAL_next, LITERAL_NOT, LITERAL_OF, LITERAL_open, LITERAL_option, LITERAL_OR, LITERAL_prev, LITERAL_printf, LITERAL_printt, LITERAL_printv, LITERAL_proof, LITERAL_prove, LITERAL_quit, LITERAL_read, LITERAL_REAL, LITERAL_redo, LITERAL_scatter, LITERAL_simplify, LITERAL_skolemize, LITERAL_split, LITERAL_state, LITERAL_SUBTYPE, LITERAL_tcc, LITERAL_THEN, LITERAL_TRUE, LITERAL_TYPE, LITERAL_typeaxiom, LITERAL_undo, LITERAL_WITH, LITERAL_XOR, LPAR, LPARGRID, MINUS, NONEQUALITY, NULL_TREE_LOOKAHEAD, NUMBER, PERIOD, PLUS, POWER, RBRACK, RBRACKGRID, REALLETTER, RPAR, RPARGRID, SEMICOLON, STRING, TIMES, UNDERSCORE, WS
Constructor and Description |
---|
PNLexer(antlr.InputBuffer ib) |
PNLexer(java.io.InputStream in) |
PNLexer(antlr.LexerSharedInputState state) |
PNLexer(java.io.Reader in) |
Modifier and Type | Method and Description |
---|---|
void |
mARROW(boolean _createToken) |
void |
mASSIGNMENT(boolean _createToken) |
void |
mBITAND(boolean _createToken) |
void |
mBITNOT(boolean _createToken) |
void |
mBITOR(boolean _createToken) |
void |
mCOLON(boolean _createToken) |
void |
mCOMMA(boolean _createToken) |
void |
mDIVIDES(boolean _createToken) |
void |
mDOTDOT(boolean _createToken) |
void |
mEQUALITY(boolean _createToken) |
void |
mEQUIV(boolean _createToken) |
void |
mGREATER(boolean _createToken) |
void |
mGREATEREQ(boolean _createToken) |
void |
mIDENT(boolean _createToken) |
void |
mIMPLIES(boolean _createToken) |
void |
mLABEL(boolean _createToken) |
void |
mLBRACK(boolean _createToken) |
void |
mLBRACKGRID(boolean _createToken) |
void |
mLESS(boolean _createToken) |
void |
mLESSEQ(boolean _createToken) |
void |
mLPAR(boolean _createToken) |
void |
mLPARGRID(boolean _createToken) |
void |
mMINUS(boolean _createToken) |
void |
mNONEQUALITY(boolean _createToken) |
void |
mNUMBER(boolean _createToken) |
void |
mPERIOD(boolean _createToken) |
void |
mPLUS(boolean _createToken) |
void |
mPOWER(boolean _createToken) |
void |
mRBRACK(boolean _createToken) |
void |
mRBRACKGRID(boolean _createToken) |
void |
mRPAR(boolean _createToken) |
void |
mRPARGRID(boolean _createToken) |
void |
mSEMICOLON(boolean _createToken) |
void |
mSTRING(boolean _createToken) |
void |
mTIMES(boolean _createToken) |
void |
mUNDERSCORE(boolean _createToken) |
void |
mWS(boolean _createToken) |
antlr.Token |
nextToken() |
append, append, commit, consume, consumeUntil, consumeUntil, getCaseSensitive, getCaseSensitiveLiterals, getColumn, getCommitToPath, getFilename, getInputBuffer, getInputState, getLine, getTabSize, getText, getTokenObject, LA, mark, match, match, match, matchNot, matchRange, newline, panic, panic, reportError, reportError, reportWarning, resetText, rewind, setCaseSensitive, setColumn, setCommitToPath, setFilename, setInputState, setLine, setTabSize, setText, setTokenObjectClass, tab, testLiteralsTable, testLiteralsTable, toLower, traceIn, traceIndent, traceOut, uponEOF
public static final antlr.collections.impl.BitSet _tokenSet_0
public static final antlr.collections.impl.BitSet _tokenSet_1
public static final antlr.collections.impl.BitSet _tokenSet_2
public static final antlr.collections.impl.BitSet _tokenSet_3
public PNLexer(java.io.InputStream in)
public PNLexer(java.io.Reader in)
public PNLexer(antlr.InputBuffer ib)
public PNLexer(antlr.LexerSharedInputState state)
public antlr.Token nextToken() throws antlr.TokenStreamException
nextToken
in interface antlr.TokenStream
antlr.TokenStreamException
public final void mIDENT(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mLABEL(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mNUMBER(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mSTRING(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mUNDERSCORE(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mLPAR(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mRPAR(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mLBRACK(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mRBRACK(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mLPARGRID(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mRPARGRID(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mLBRACKGRID(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mRBRACKGRID(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mPERIOD(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mCOLON(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mSEMICOLON(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mCOMMA(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mASSIGNMENT(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mEQUALITY(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mNONEQUALITY(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mLESS(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mLESSEQ(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mGREATER(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mGREATEREQ(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mPLUS(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mMINUS(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mBITOR(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mTIMES(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mDIVIDES(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mBITAND(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mPOWER(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mBITNOT(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mIMPLIES(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mEQUIV(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mARROW(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mDOTDOT(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
public final void mWS(boolean _createToken) throws antlr.RecognitionException, antlr.CharStreamException, antlr.TokenStreamException
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException