edu.toronto.cs.smv.parser
Class SMVLexer
java.lang.Object
antlr.CharScanner
edu.toronto.cs.smv.parser.SMVLexer
- All Implemented Interfaces:
- antlr.TokenStream, SMVParserTokenTypes
public class SMVLexer
- extends antlr.CharScanner
- implements SMVParserTokenTypes, 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.SMVParserTokenTypes |
AND, ASSIGN, ASSIGNOP, BOOLEQ, CASE, COL, COMMA, COMMENT, DEFINE, ENUMVAR, EOF, EQ, ESAC, IDENT, IMPLIES, INIT, IVAR, LBRACE, LPAREN, MODULE, NEG, NEWLINE, NEXT, NEXTENUMVAR, NEXTPROPVAR, NULL_TREE_LOOKAHEAD, ONE, OR, PROPVAR, RBRACE, RPAREN, SEMI, TRANS, UNION, VALEQ, VALUE, VAR, VARNAME, WS, ZERO |
Method Summary |
void |
mAND(boolean _createToken)
|
void |
mASSIGNOP(boolean _createToken)
|
void |
mCOL(boolean _createToken)
|
void |
mCOMMA(boolean _createToken)
|
void |
mCOMMENT(boolean _createToken)
|
void |
mEQ(boolean _createToken)
|
protected void |
mIDENT(boolean _createToken)
|
void |
mIMPLIES(boolean _createToken)
|
void |
mLBRACE(boolean _createToken)
|
void |
mLPAREN(boolean _createToken)
|
void |
mNEG(boolean _createToken)
|
void |
mNEWLINE(boolean _createToken)
|
void |
mONE(boolean _createToken)
|
void |
mOR(boolean _createToken)
|
void |
mRBRACE(boolean _createToken)
|
void |
mRPAREN(boolean _createToken)
|
void |
mSEMI(boolean _createToken)
|
void |
mVARNAME(boolean _createToken)
|
void |
mWS(boolean _createToken)
|
void |
mZERO(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
SMVLexer
public SMVLexer(java.io.InputStream in)
SMVLexer
public SMVLexer(java.io.Reader in)
SMVLexer
public SMVLexer(antlr.InputBuffer ib)
SMVLexer
public SMVLexer(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
mZERO
public final void mZERO(boolean _createToken)
throws antlr.RecognitionException,
antlr.CharStreamException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
mONE
public final void mONE(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
mVARNAME
public final void mVARNAME(boolean _createToken)
throws antlr.RecognitionException,
antlr.CharStreamException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
mIDENT
protected final void mIDENT(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