jtp.fol.kif
Class KIFParser

java.lang.Object
  |
  +--antlr.Parser
        |
        +--antlr.LLkParser
              |
              +--jtp.fol.kif.KIFParser

All Implemented Interfaces:

KIFTokenTypes

public class KIFParser

extends antlr.LLkParser

implements KIFTokenTypes

Field Summary

static String[]	_tokenNames
static antlr.collections.impl.BitSet	_tokenSet_0
static antlr.collections.impl.BitSet	_tokenSet_1
static antlr.collections.impl.BitSet	_tokenSet_10
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
static antlr.collections.impl.BitSet	_tokenSet_7
static antlr.collections.impl.BitSet	_tokenSet_8
static antlr.collections.impl.BitSet	_tokenSet_9

Fields inherited from class antlr.Parser

astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, 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

	KIFParser(antlr.ParserSharedInputState state)
	KIFParser(antlr.TokenBuffer tokenBuf)
protected	KIFParser(antlr.TokenBuffer tokenBuf, int k)
	KIFParser(antlr.TokenStream lexer)
protected	KIFParser(antlr.TokenStream lexer, int k)

Method Summary

protected void	buildTokenTypeASTClassMap()
void	compoundSentenceContents()
boolean	eof()
void	form()
void	function()
void	functionDef()
void	ignored()
void	multipleSent()
antlr.collections.AST	nextSentence()
void	objectDef()
void	relationDef()
void	relSentenceContents()
void	sentence()
void	sexp()
void	symbol()
void	term()
void	varList()
void	vars()

Methods inherited from class antlr.LLkParser

consume, LA, LT, traceIn, traceOut

Methods inherited from class antlr.Parser

addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_tokenNames

public static final String[] _tokenNames

_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

_tokenSet_7

public static final antlr.collections.impl.BitSet _tokenSet_7

_tokenSet_8

public static final antlr.collections.impl.BitSet _tokenSet_8

_tokenSet_9

public static final antlr.collections.impl.BitSet _tokenSet_9

_tokenSet_10

public static final antlr.collections.impl.BitSet _tokenSet_10

Constructor Detail

KIFParser

protected KIFParser(antlr.TokenBuffer tokenBuf,
                    int k)

KIFParser

public KIFParser(antlr.TokenBuffer tokenBuf)

KIFParser

protected KIFParser(antlr.TokenStream lexer,
                    int k)

KIFParser

public KIFParser(antlr.TokenStream lexer)

KIFParser

public KIFParser(antlr.ParserSharedInputState state)

Method Detail

eof

public boolean eof()

nextSentence

public final antlr.collections.AST nextSentence()
                                         throws antlr.RecognitionException,
                                                antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

form

public final void form()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

objectDef

public final void objectDef()
                     throws antlr.RecognitionException,
                            antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

relationDef

public final void relationDef()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

functionDef

public final void functionDef()
                       throws antlr.RecognitionException,
                              antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

sentence

public final void sentence()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

symbol

public final void symbol()
                  throws antlr.RecognitionException,
                         antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

term

public final void term()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

multipleSent

public final void multipleSent()
                        throws antlr.RecognitionException,
                               antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

varList

public final void varList()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

compoundSentenceContents

public final void compoundSentenceContents()
                                    throws antlr.RecognitionException,
                                           antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

relSentenceContents

public final void relSentenceContents()
                               throws antlr.RecognitionException,
                                      antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

ignored

public final void ignored()
                   throws antlr.RecognitionException,
                          antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

sexp

public final void sexp()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

vars

public final void vars()
                throws antlr.RecognitionException,
                       antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

function

public final void function()
                    throws antlr.RecognitionException,
                           antlr.TokenStreamException

antlr.RecognitionException

antlr.TokenStreamException

buildTokenTypeASTClassMap

protected void buildTokenTypeASTClassMap()