edu.toronto.cs.ctl.antlr
Class CTLLexer

java.lang.Object
  extended by antlr.CharScanner
      extended by edu.toronto.cs.ctl.antlr.CTLLexer
All Implemented Interfaces:
antlr.TokenStream, CTLLexerTokenTypes

public class CTLLexer
extends antlr.CharScanner
implements CTLLexerTokenTypes, antlr.TokenStream


Field Summary
 
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
 
Constructor Summary
CTLLexer(antlr.InputBuffer ib)
           
CTLLexer(java.io.InputStream in)
           
CTLLexer(antlr.LexerSharedInputState state)
           
CTLLexer(java.io.Reader in)
           
 
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
 

Constructor Detail

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)
Method Detail

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