jtp.fol.kif
Class CodeGenerator

java.lang.Object
  |
  +--antlr.TreeParser
        |
        +--jtp.fol.kif.CodeGenerator

All Implemented Interfaces:

CodeGeneratorTokenTypes

public class CodeGenerator

extends antlr.TreeParser

implements CodeGeneratorTokenTypes

Field Summary

static String[]	_tokenNames
static antlr.collections.impl.BitSet	_tokenSet_0

Fields inherited from class antlr.TreeParser

_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, traceDepth

Fields inherited from interface jtp.fol.kif.CodeGeneratorTokenTypes

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

CodeGenerator()

Method Summary

Collection	clause(antlr.collections.AST _t)
void	clear()
Collection	cnf(antlr.collections.AST _t)
SubstitutableList	func(antlr.collections.AST _t)
Literal	literal(antlr.collections.AST _t)
Symbol	symbol(antlr.collections.AST _t)
Object	term(antlr.collections.AST _t)
Object	variable(antlr.collections.AST _t)

Methods inherited from class antlr.TreeParser

getAST, getASTFactory, getTokenName, getTokenNames, match, match, matchNot, panic, reportError, reportError, reportWarning, setASTFactory, setASTNodeClass, setASTNodeType, traceIn, traceIndent, traceOut

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

Constructor Detail

CodeGenerator

public CodeGenerator()

Method Detail

clear

public void clear()

cnf

public final Collection cnf(antlr.collections.AST _t)
                     throws antlr.RecognitionException

antlr.RecognitionException

clause

public final Collection clause(antlr.collections.AST _t)
                        throws antlr.RecognitionException

antlr.RecognitionException

literal

public final Literal literal(antlr.collections.AST _t)
                      throws antlr.RecognitionException

antlr.RecognitionException

symbol

public final Symbol symbol(antlr.collections.AST _t)
                    throws antlr.RecognitionException

antlr.RecognitionException

term

public final Object term(antlr.collections.AST _t)
                  throws antlr.RecognitionException

antlr.RecognitionException

variable

public final Object variable(antlr.collections.AST _t)
                      throws antlr.RecognitionException

antlr.RecognitionException

func

public final SubstitutableList func(antlr.collections.AST _t)
                             throws antlr.RecognitionException

antlr.RecognitionException