fmrisc.Proving.CVCL
Class CVCLLexer
java.lang.Object
antlr.CharScanner
fmrisc.Proving.CVCL.CVCLLexer
- All Implemented Interfaces:
- antlr.TokenStream, CVCLParserTokenTypes
public class CVCLLexer
- extends antlr.CharScanner
- implements CVCLParserTokenTypes, antlr.TokenStream
Field Summary |
static antlr.collections.impl.BitSet |
_tokenSet_0
|
Fields inherited from class antlr.CharScanner |
EOF_CHAR |
Fields inherited from interface fmrisc.Proving.CVCL.CVCLParserTokenTypes |
ARROW, ASSIGNMENT, 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 |
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 |
_tokenSet_0
public static final antlr.collections.impl.BitSet _tokenSet_0
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)
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
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