fmrisc.ProofNavigator
Class PNLexer

java.lang.Object
  antlr.CharScanner
      fmrisc.ProofNavigator.PNLexer

All Implemented Interfaces:

antlr.TokenStream, PNParserTokenTypes

public class PNLexer
extends antlr.CharScanner
implements PNParserTokenTypes, antlr.TokenStream

Field Summary

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

Fields inherited from class antlr.CharScanner

EOF_CHAR

Fields inherited from interface fmrisc.ProofNavigator.PNParserTokenTypes

ARROW, ASSIGNMENT, 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_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_FORMULA, LITERAL_goal, LITERAL_goto, LITERAL_IF, LITERAL_in, LITERAL_IN, LITERAL_induction, LITERAL_instantiate, LITERAL_INT, LITERAL_LAMBDA, LITERAL_lemma, LITERAL_LET, LITERAL_NAT, LITERAL_newcontext, LITERAL_next, LITERAL_NOT, LITERAL_OF, LITERAL_open, LITERAL_option, LITERAL_OR, LITERAL_prev, 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_TYPE, LITERAL_typeaxiom, LITERAL_undo, LITERAL_value, 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 Summary

PNLexer(antlr.InputBuffer ib)

PNLexer(java.io.InputStream in)

PNLexer(antlr.LexerSharedInputState state)

PNLexer(java.io.Reader in)

Method Summary

void	mARROW(boolean _createToken)
void	mASSIGNMENT(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()

Methods inherited from class antlr.CharScanner

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0

_tokenSet_1

public static final antlr.collections.impl.BitSet _tokenSet_1

_tokenSet_2

public static final antlr.collections.impl.BitSet _tokenSet_2

_tokenSet_3

public static final antlr.collections.impl.BitSet _tokenSet_3

Constructor Detail

PNLexer

public PNLexer(java.io.InputStream in)

PNLexer

public PNLexer(java.io.Reader in)

PNLexer

public PNLexer(antlr.InputBuffer ib)

PNLexer

public PNLexer(antlr.LexerSharedInputState state)

Method Detail

nextToken

public antlr.Token nextToken()
                      throws antlr.TokenStreamException

Specified by:

nextToken in interface antlr.TokenStream

Throws:

antlr.TokenStreamException

mIDENT

public final void mIDENT(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLABEL

public final void mLABEL(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mNUMBER

public final void mNUMBER(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSTRING

public final void mSTRING(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mUNDERSCORE

public final void mUNDERSCORE(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLPAR

public final void mLPAR(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mRPAR

public final void mRPAR(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLBRACK

public final void mLBRACK(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mRBRACK

public final void mRBRACK(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLPARGRID

public final void mLPARGRID(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mRPARGRID

public final void mRPARGRID(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLBRACKGRID

public final void mLBRACKGRID(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mRBRACKGRID

public final void mRBRACKGRID(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mPERIOD

public final void mPERIOD(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mCOLON

public final void mCOLON(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSEMICOLON

public final void mSEMICOLON(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mCOMMA

public final void mCOMMA(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mASSIGNMENT

public final void mASSIGNMENT(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mEQUALITY

public final void mEQUALITY(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mNONEQUALITY

public final void mNONEQUALITY(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLESS

public final void mLESS(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLESSEQ

public final void mLESSEQ(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mGREATER

public final void mGREATER(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mGREATEREQ

public final void mGREATEREQ(boolean _createToken)
                      throws antlr.RecognitionException,
                             antlr.CharStreamException,
                             antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mPLUS

public final void mPLUS(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mMINUS

public final void mMINUS(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mTIMES

public final void mTIMES(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDIVIDES

public final void mDIVIDES(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mPOWER

public final void mPOWER(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mIMPLIES

public final void mIMPLIES(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mEQUIV

public final void mEQUIV(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mARROW

public final void mARROW(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDOTDOT

public final void mDOTDOT(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mWS

public final void mWS(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException