jtp.fol.kif
Class KIFLexer

java.lang.Object
  |
  +--antlr.CharScanner
        |
        +--jtp.fol.kif.KIFLexer

All Implemented Interfaces:

KIFTokenTypes, antlr.TokenStream

public class KIFLexer

extends antlr.CharScanner

implements KIFTokenTypes, antlr.TokenStream

Field Summary

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 jtp.fol.kif.KIFTokenTypes

And, BIG_COMMENT, CompositeSentence, Defequals, Deffunction, Defimpleft, Defimpright, Defobject, Defrelation, Digit, EOF, Equiv, Exists, FLOAT, Forall, Func, GoodChar, IGNORE, Impleft, Impright, INTEGER, Kb, LINE_COMMENT, LPAREN, Not, NULL_TREE_LOOKAHEAD, Number, Or, PACKAGE_SYMBOL, PackageSign, Quote, RelSentence, RPAREN, SExp, STRING, SYMBOL, SymbolWithoutPackage, VARIABLE, Vars, WS

Constructor Summary

KIFLexer(antlr.InputBuffer ib)

KIFLexer(InputStream in)

KIFLexer(antlr.LexerSharedInputState state)

KIFLexer(Reader in)

Method Summary

void	mBIG_COMMENT(boolean _createToken)
protected void	mDigit(boolean _createToken)
protected void	mGoodChar(boolean _createToken)
void	mIGNORE(boolean _createToken)
void	mLINE_COMMENT(boolean _createToken)
void	mLPAREN(boolean _createToken)
protected void	mNumber(boolean _createToken)
protected void	mPackageSign(boolean _createToken)
void	mRPAREN(boolean _createToken)
void	mSTRING(boolean _createToken)
void	mSYMBOL(boolean _createToken)
protected void	mSymbolWithoutPackage(boolean _createToken)
void	mVARIABLE(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

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

KIFLexer

public KIFLexer(InputStream in)

KIFLexer

public KIFLexer(Reader in)

KIFLexer

public KIFLexer(antlr.InputBuffer ib)

KIFLexer

public KIFLexer(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

antlr.TokenStreamException

mNumber

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mDigit

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSYMBOL

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSymbolWithoutPackage

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mPackageSign

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mGoodChar

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mVARIABLE

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mSTRING

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLPAREN

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mRPAREN

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mIGNORE

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mLINE_COMMENT

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mBIG_COMMENT

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException

mWS

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

antlr.RecognitionException

antlr.CharStreamException

antlr.TokenStreamException