fmrisc.ProofNavigator.Proving.CVCL

Class CVCLLexer

java.lang.Object

antlr.CharScanner

fmrisc.ProofNavigator.Proving.CVCL.CVCLLexer

All Implemented Interfaces:

antlr.TokenStream, CVCLParserTokenTypes

public class CVCLLexer
extends antlr.CharScanner
implements CVCLParserTokenTypes, antlr.TokenStream

Field Summary

Fields

Modifier and Type	Field and Description
static antlr.collections.impl.BitSet	_tokenSet_0
static antlr.collections.impl.BitSet	_tokenSet_1

Fields inherited from class antlr.CharScanner

EOF_CHAR

Fields inherited from interface fmrisc.ProofNavigator.Proving.CVCL.CVCLParserTokenTypes

ARROW, ASSIGNMENT, BIT, BITAND, BITFALSE, BITNOT, BITOR, BITTRUE, COLON, COMMA, COMMENT, DIGIT, DIVIDES, DOTDOT, EOF, EOL, EQUALITY, EQUIV, GREATER, GREATEREQ, IDENT, IGNORE, IMPLIES, LBRACK, LBRACKGRID, LESS, LESSEQ, LETTER, LITERAL_AND, LITERAL_ARRAY, LITERAL_BOOLEAN, LITERAL_ELSE, LITERAL_ELSIF, LITERAL_ENDIF, LITERAL_EXISTS, LITERAL_FALSE, LITERAL_FORALL, LITERAL_IF, LITERAL_IN, LITERAL_INT, LITERAL_LAMBDA, LITERAL_LET, LITERAL_NOT, LITERAL_OF, LITERAL_OR, LITERAL_REAL, LITERAL_SUBTYPE, LITERAL_THEN, LITERAL_TRUE, LITERAL_TYPE, LITERAL_WITH, LITERAL_XOR, LPAR, LPARGRID, MINUS, NONEQUALITY, NULL_TREE_LOOKAHEAD, NUMBER, PERIOD, PLUS, POWER, RBRACK, RBRACKGRID, RPAR, RPARGRID, SEMICOLON, TIMES, WS

Constructor Summary

Constructors

Constructor and Description
CVCLLexer(CVCL cvcl, java.io.Reader in)
CVCLLexer(antlr.InputBuffer ib)
CVCLLexer(java.io.InputStream in)
CVCLLexer(antlr.LexerSharedInputState state)
CVCLLexer(java.io.Reader in)

Method Summary

Modifier and Type	Method and Description
void	mARROW(boolean _createToken)
void	mASSIGNMENT(boolean _createToken)
void	mBIT(boolean _createToken)
void	mBITAND(boolean _createToken)
void	mBITFALSE(boolean _createToken)
void	mBITNOT(boolean _createToken)
void	mBITOR(boolean _createToken)
void	mBITTRUE(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	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	mTIMES(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

Constructor Detail

CVCLLexer

public CVCLLexer(CVCL cvcl,
                 java.io.Reader in)

CVCLLexer

public CVCLLexer(java.io.InputStream in)

CVCLLexer

public CVCLLexer(java.io.Reader in)

CVCLLexer

public CVCLLexer(antlr.InputBuffer ib)

CVCLLexer

public CVCLLexer(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

mNUMBER

public final void mNUMBER(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

mBITOR

public final void mBITOR(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

mBITAND

public final void mBITAND(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

mBITNOT

public final void mBITNOT(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

mBIT

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

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mBITTRUE

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

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mBITFALSE

public final void mBITFALSE(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