edu.toronto.cs.ctl.antlr
Class CTLLexer
java.lang.Object
antlr.CharScanner
edu.toronto.cs.ctl.antlr.CTLLexer
- All Implemented Interfaces:
- antlr.TokenStream, CTLLexerTokenTypes
public class CTLLexer
- extends antlr.CharScanner
- implements CTLLexerTokenTypes, antlr.TokenStream
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.ctl.antlr.CTLLexerTokenTypes |
AF, AG, AND, AX, CAPITAL, COL, COMMA, DIGIT, EF, EG, EOF, EQ, EX, FORALL, FORSOME, GEQ, IDENT, IFF, IMPLIED, IMPLIES, LBRACE, LEQ, LOWER, LPAREN, LSQPAREN, NEG, NEQ, NEWLINE, NULL_TREE_LOOKAHEAD, NUMBER, OR, PLACEHOLDER, RBRACE, RELEASE, RPAREN, RSQPAREN, SEMI, UNTIL, WEAK, WS |
Method Summary |
void |
mAND(boolean _createToken)
|
protected void |
mCAPITAL(boolean _createToken)
|
void |
mCOL(boolean _createToken)
|
void |
mCOMMA(boolean _createToken)
|
protected void |
mDIGIT(boolean _createToken)
|
void |
mEQ(boolean _createToken)
|
void |
mGEQ(boolean _createToken)
|
void |
mIDENT(boolean _createToken)
|
void |
mIFF(boolean _createToken)
|
void |
mIMPLIED(boolean _createToken)
|
void |
mIMPLIES(boolean _createToken)
|
void |
mLBRACE(boolean _createToken)
|
void |
mLEQ(boolean _createToken)
|
protected void |
mLOWER(boolean _createToken)
|
void |
mLPAREN(boolean _createToken)
|
void |
mLSQPAREN(boolean _createToken)
|
void |
mNEG(boolean _createToken)
|
void |
mNEQ(boolean _createToken)
|
void |
mNEWLINE(boolean _createToken)
|
void |
mNUMBER(boolean _createToken)
|
void |
mOR(boolean _createToken)
|
void |
mPLACEHOLDER(boolean _createToken)
|
void |
mRBRACE(boolean _createToken)
|
void |
mRPAREN(boolean _createToken)
|
void |
mRSQPAREN(boolean _createToken)
|
void |
mSEMI(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 |
CTLLexer
public CTLLexer(java.io.InputStream in)
CTLLexer
public CTLLexer(java.io.Reader in)
CTLLexer
public CTLLexer(antlr.InputBuffer ib)
CTLLexer
public CTLLexer(antlr.LexerSharedInputState state)
nextToken
public antlr.Token nextToken()
throws antlr.TokenStreamException
- Specified by:
nextToken
in interface antlr.TokenStream
- Specified by:
nextToken
in class antlr.CharScanner
- 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
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
mLSQPAREN
public final void mLSQPAREN(boolean _createToken)
throws antlr.RecognitionException,
antlr.CharStreamException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
mRSQPAREN
public final void mRSQPAREN(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
mIMPLIED
public final void mIMPLIED(boolean _createToken)
throws antlr.RecognitionException,
antlr.CharStreamException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
mIFF
public final void mIFF(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
mGEQ
public final void mGEQ(boolean _createToken)
throws antlr.RecognitionException,
antlr.CharStreamException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
mLEQ
public final void mLEQ(boolean _createToken)
throws antlr.RecognitionException,
antlr.CharStreamException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
mNEQ
public final void mNEQ(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
mNUMBER
public final void mNUMBER(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
mCAPITAL
protected final void mCAPITAL(boolean _createToken)
throws antlr.RecognitionException,
antlr.CharStreamException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
mLOWER
protected final void mLOWER(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
mPLACEHOLDER
public final void mPLACEHOLDER(boolean _createToken)
throws antlr.RecognitionException,
antlr.CharStreamException,
antlr.TokenStreamException
- Throws:
antlr.RecognitionException
antlr.CharStreamException
antlr.TokenStreamException
mIDENT
public 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
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