fmrisc.Proving.CVCL
Class CVCLLexer

java.lang.Object
  extended by antlr.CharScanner
      extended by 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
 
Constructor Summary
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
 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 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
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

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