edu.toronto.cs.smv.parser
Class FullSMVLexer
java.lang.Object
antlr.CharScanner
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 |
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 |
_tokenSet_0
public static final antlr.collections.impl.BitSet _tokenSet_0
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)
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