edu.toronto.cs.smv.parser
Class FullSMVLexer

java.lang.Object
  extended by antlr.CharScanner
      extended by edu.toronto.cs.smv.parser.FullSMVLexer
All Implemented Interfaces:
antlr.TokenStream, FullSMVLexerTokenTypes

public class FullSMVLexer
extends antlr.CharScanner
implements FullSMVLexerTokenTypes, antlr.TokenStream


Field Summary
static antlr.collections.impl.BitSet _tokenSet_0
           
 
Fields inherited from class antlr.CharScanner
_returnToken, caseSensitive, caseSensitiveLiterals, commitToPath, EOF_CHAR, hashString, inputState, literals, saveConsumedInput, tabsize, text, tokenObjectClass, traceDepth
 
Fields inherited from interface edu.toronto.cs.smv.parser.FullSMVLexerTokenTypes
AND, ASSIGN, ASSIGNOP, ATOM, BOOLEAN, CAPITAL_INIT, CASE, COL, COMMA, COMMENT, DEFINE, DIGIT, DIV, EOF, EQ, ESAC, FALSE, GEQ, GT, IFF, IMPLIES, INIT, INVAR, ISA, IVAR, LBRACE, LEQ, LPAREN, LT, MINUS, MOD, MODULE, MULT, NEG, NEQ, NEWLINE, NEXT, NULL_TREE_LOOKAHEAD, NUMBER, OR, PLUS, RBRACE, RPAREN, SEMI, TRANS, TRUE, UNION, VAR, VARNAME, WS, XOR
 
Constructor Summary
FullSMVLexer(antlr.InputBuffer ib)
           
FullSMVLexer(java.io.InputStream in)
           
FullSMVLexer(antlr.LexerSharedInputState state)
           
FullSMVLexer(java.io.Reader in)
           
 
Method Summary
 void mAND(boolean _createToken)
           
 void mASSIGNOP(boolean _createToken)
           
protected  void mATOM(boolean _createToken)
           
 void mCOL(boolean _createToken)
           
 void mCOMMA(boolean _createToken)
           
 void mCOMMENT(boolean _createToken)
           
protected  void mDIGIT(boolean _createToken)
           
 void mDIV(boolean _createToken)
           
 void mEQ(boolean _createToken)
           
 void mIMPLIES(boolean _createToken)
           
 void mLBRACE(boolean _createToken)
           
 void mLPAREN(boolean _createToken)
           
 void mMINUS(boolean _createToken)
           
 void mMULT(boolean _createToken)
           
 void mNEG(boolean _createToken)
           
 void mNEWLINE(boolean _createToken)
           
 void mNUMBER(boolean _createToken)
           
 void mOR(boolean _createToken)
           
 void mPLUS(boolean _createToken)
           
 void mRBRACE(boolean _createToken)
           
 void mRPAREN(boolean _createToken)
           
 void mSEMI(boolean _createToken)
           
 void mVARNAME(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, makeToken, 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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0
Constructor Detail

FullSMVLexer

public FullSMVLexer(java.io.InputStream in)

FullSMVLexer

public FullSMVLexer(java.io.Reader in)

FullSMVLexer

public FullSMVLexer(antlr.InputBuffer ib)

FullSMVLexer

public FullSMVLexer(antlr.LexerSharedInputState state)
Method Detail

nextToken

public antlr.Token nextToken()
                      throws antlr.TokenStreamException
Specified by:
nextToken in interface antlr.TokenStream
Throws:
antlr.TokenStreamException

mLPAREN

public final void mLPAREN(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mRPAREN

public final void mRPAREN(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mASSIGNOP

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

mEQ

public final void mEQ(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mOR

public final void mOR(boolean _createToken)
               throws antlr.RecognitionException,
                      antlr.CharStreamException,
                      antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mAND

public final void mAND(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mNEG

public final void mNEG(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mLBRACE

public final void mLBRACE(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mRBRACE

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

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

mMULT

public final void mMULT(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mDIV

public final void mDIV(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mVARNAME

public final void mVARNAME(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mATOM

protected final void mATOM(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mDIGIT

protected final void mDIGIT(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

mCOL

public final void mCOL(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mSEMI

public final void mSEMI(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException

mCOMMENT

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

mNEWLINE

public final void mNEWLINE(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException
Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException