tptp_parser

Class TptpLexer

java.lang.Object

antlr.CharScanner

tptp_parser.TptpLexer

All Implemented Interfaces:

antlr.TokenStream, TptpTokenTypes

public class TptpLexer
extends antlr.CharScanner
implements TptpTokenTypes, antlr.TokenStream

Field Summary

Fields

Modifier and Type	Field and Description
static antlr.collections.impl.BitSet	_tokenSet_0
static antlr.collections.impl.BitSet	_tokenSet_1
static antlr.collections.impl.BitSet	_tokenSet_2
static antlr.collections.impl.BitSet	_tokenSet_3
static antlr.collections.impl.BitSet	_tokenSet_4
static antlr.collections.impl.BitSet	_tokenSet_5
static antlr.collections.impl.BitSet	_tokenSet_6

Fields inherited from class antlr.CharScanner

_returnToken, caseSensitive, caseSensitiveLiterals, commitToPath, EOF_CHAR, hashString, inputState, literals, saveConsumedInput, tabsize, text, tokenObjectClass, traceDepth

Fields inherited from interface tptp_parser.TptpTokenTypes

ALL, AND, APPLY, ASSIGN, BIGPI, BIGSIGMA, CHOICE, COLON, COMMA, DESCRIPTION, DISEQUIVALENCE, DISTINCT_OBJECT, DOLLAR_DOLLAR_WORD, DOLLAR_WORD, DOT, EOF, EQUAL, EQUIVALENCE, EXIST, IMPLICATION, INTEGER, LAMBDA, LOWER_WORD, LPR, LSB, MANY_LINE_COMMENT, MAP, MINUSMINUS, NOT_AND, NOT_OR, NOTEQUAL, NULL_TREE_LOOKAHEAD, ONE_LINE_COMMENT, PLUS, PLUSPLUS, RATIONAL, REAL, REVERSE_IMPLICATION, RPR, RSB, SEQUENT, SINGLE_QUOTED, SMALLPI, SMALLSIGMA, STAR, SUBTYPE, TILDA, UNSIGNED_INTEGER, UPPER_WORD, VLINE, WHITESPACE

Constructor Summary

Constructors

Constructor and Description
TptpLexer(antlr.InputBuffer ib)
TptpLexer(InputStream in)
TptpLexer(antlr.LexerSharedInputState state)
TptpLexer(Reader in)

Method Summary

Modifier and Type	Method and Description
void	incrLine()
void	mALL(boolean _createToken)
void	mAND(boolean _createToken)
void	mAPPLY(boolean _createToken)
void	mASSIGN(boolean _createToken)
void	mBIGPI(boolean _createToken)
void	mBIGSIGMA(boolean _createToken)
void	mCHOICE(boolean _createToken)
void	mCOLON(boolean _createToken)
void	mCOMMA(boolean _createToken)
void	mDESCRIPTION(boolean _createToken)
void	mDISEQUIVALENCE(boolean _createToken)
void	mDISTINCT_OBJECT(boolean _createToken)
void	mDOLLAR_DOLLAR_WORD(boolean _createToken)
void	mDOLLAR_WORD(boolean _createToken)
void	mDOT(boolean _createToken)
void	mEQUAL(boolean _createToken)
void	mEQUIVALENCE(boolean _createToken)
void	mEXIST(boolean _createToken)
void	mIMPLICATION(boolean _createToken)
protected void	mINTEGER(boolean _createToken)
void	mLAMBDA(boolean _createToken)
void	mLOWER_WORD(boolean _createToken)
void	mLPR(boolean _createToken)
void	mLSB(boolean _createToken)
void	mMANY_LINE_COMMENT(boolean _createToken)
void	mMAP(boolean _createToken)
protected void	mMINUSMINUS(boolean _createToken)
void	mNOT_AND(boolean _createToken)
void	mNOT_OR(boolean _createToken)
void	mNOTEQUAL(boolean _createToken)
void	mONE_LINE_COMMENT(boolean _createToken)
void	mPLUSPLUS(boolean _createToken)
protected void	mREAL(boolean _createToken)
protected void	mREVERSE_IMPLICATION(boolean _createToken)
void	mRPR(boolean _createToken)
void	mRSB(boolean _createToken)
void	mSEQUENT(boolean _createToken)
void	mSINGLE_QUOTED(boolean _createToken)
void	mSMALLPI(boolean _createToken)
void	mSMALLSIGMA(boolean _createToken)
void	mSTAR(boolean _createToken)
void	mSUBTYPE(boolean _createToken)
void	mTILDA(boolean _createToken)
void	mUNSIGNED_INTEGER(boolean _createToken)
void	mUPPER_WORD(boolean _createToken)
void	mVLINE(boolean _createToken)
void	mWHITESPACE(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

_tokenSet_1

public static final antlr.collections.impl.BitSet _tokenSet_1

_tokenSet_2

public static final antlr.collections.impl.BitSet _tokenSet_2

_tokenSet_3

public static final antlr.collections.impl.BitSet _tokenSet_3

_tokenSet_4

public static final antlr.collections.impl.BitSet _tokenSet_4

_tokenSet_5

public static final antlr.collections.impl.BitSet _tokenSet_5

_tokenSet_6

public static final antlr.collections.impl.BitSet _tokenSet_6

Constructor Detail

TptpLexer

public TptpLexer(InputStream in)

TptpLexer

public TptpLexer(Reader in)

TptpLexer

public TptpLexer(antlr.InputBuffer ib)

TptpLexer

public TptpLexer(antlr.LexerSharedInputState state)

Method Detail

incrLine

public void incrLine()

nextToken

public antlr.Token nextToken()
                      throws antlr.TokenStreamException

Specified by:

nextToken in interface antlr.TokenStream

Throws:

antlr.TokenStreamException

mONE_LINE_COMMENT

public final void mONE_LINE_COMMENT(boolean _createToken)
                             throws antlr.RecognitionException,
                                    antlr.CharStreamException,
                                    antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mMANY_LINE_COMMENT

public final void mMANY_LINE_COMMENT(boolean _createToken)
                              throws antlr.RecognitionException,
                                     antlr.CharStreamException,
                                     antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDOLLAR_WORD

public final void mDOLLAR_WORD(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDOLLAR_DOLLAR_WORD

public final void mDOLLAR_DOLLAR_WORD(boolean _createToken)
                               throws antlr.RecognitionException,
                                      antlr.CharStreamException,
                                      antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mUPPER_WORD

public final void mUPPER_WORD(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLOWER_WORD

public final void mLOWER_WORD(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSINGLE_QUOTED

public final void mSINGLE_QUOTED(boolean _createToken)
                          throws antlr.RecognitionException,
                                 antlr.CharStreamException,
                                 antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDISTINCT_OBJECT

public final void mDISTINCT_OBJECT(boolean _createToken)
                            throws antlr.RecognitionException,
                                   antlr.CharStreamException,
                                   antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mUNSIGNED_INTEGER

public final void mUNSIGNED_INTEGER(boolean _createToken)
                             throws antlr.RecognitionException,
                                    antlr.CharStreamException,
                                    antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mINTEGER

protected final void mINTEGER(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mREAL

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

mLPR

public final void mLPR(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mRPR

public final void mRPR(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLSB

public final void mLSB(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mRSB

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

mVLINE

public final void mVLINE(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mAPPLY

public final void mAPPLY(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLAMBDA

public final void mLAMBDA(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mMAP

public final void mMAP(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSUBTYPE

public final void mSUBTYPE(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSTAR

public final void mSTAR(boolean _createToken)
                 throws antlr.RecognitionException,
                        antlr.CharStreamException,
                        antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mTILDA

public final void mTILDA(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mEQUAL

public final void mEQUAL(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mNOTEQUAL

public final void mNOTEQUAL(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mPLUSPLUS

public final void mPLUSPLUS(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSEQUENT

public final void mSEQUENT(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mMINUSMINUS

protected final void mMINUSMINUS(boolean _createToken)
                          throws antlr.RecognitionException,
                                 antlr.CharStreamException,
                                 antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mALL

public final void mALL(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mEXIST

public final void mEXIST(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSMALLPI

public final void mSMALLPI(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSMALLSIGMA

public final void mSMALLSIGMA(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mBIGPI

public final void mBIGPI(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mBIGSIGMA

public final void mBIGSIGMA(boolean _createToken)
                     throws antlr.RecognitionException,
                            antlr.CharStreamException,
                            antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mCHOICE

public final void mCHOICE(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDESCRIPTION

public final void mDESCRIPTION(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mCOLON

public final void mCOLON(boolean _createToken)
                  throws antlr.RecognitionException,
                         antlr.CharStreamException,
                         antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mASSIGN

public final void mASSIGN(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDOT

public final void mDOT(boolean _createToken)
                throws antlr.RecognitionException,
                       antlr.CharStreamException,
                       antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mIMPLICATION

public final void mIMPLICATION(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDISEQUIVALENCE

public final void mDISEQUIVALENCE(boolean _createToken)
                           throws antlr.RecognitionException,
                                  antlr.CharStreamException,
                                  antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mNOT_OR

public final void mNOT_OR(boolean _createToken)
                   throws antlr.RecognitionException,
                          antlr.CharStreamException,
                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mNOT_AND

public final void mNOT_AND(boolean _createToken)
                    throws antlr.RecognitionException,
                           antlr.CharStreamException,
                           antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mEQUIVALENCE

public final void mEQUIVALENCE(boolean _createToken)
                        throws antlr.RecognitionException,
                               antlr.CharStreamException,
                               antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mREVERSE_IMPLICATION

protected final void mREVERSE_IMPLICATION(boolean _createToken)
                                   throws antlr.RecognitionException,
                                          antlr.CharStreamException,
                                          antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mWHITESPACE

public final void mWHITESPACE(boolean _createToken)
                       throws antlr.RecognitionException,
                              antlr.CharStreamException,
                              antlr.TokenStreamException

Throws:

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException