org.eclipse.palamedes.kif.core.ast
Class AST

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.AST

Direct Known Subclasses:

GDLAST

public class AST
extends java.lang.Object

Umbrella owner and abstract syntax tree node factory. An AST instance serves as the common owner of any number of AST nodes, and as the factory for creating new AST nodes owned by that instance.

Author:

Ingo Keller

Constructor Summary

AST()

Method Summary

Parser	getParser()
void	modifying()
KIFComment	newComment(java.lang.String comment)
KIFConjunction	newConjunction(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFConjunction	newConjunction(KIFSeq<KIFSent> sequence)
KIFDisjunction	newDisjunction(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFDisjunction	newDisjunction(KIFSeq<KIFSent> sequence)
KIFForm	newForm()
KIFForm	newForm(KIFSeq<KIFSent> sentences)
KIFFunTerm	newFunTerm(java.lang.String funConst)
KIFFunTerm	newFunTerm(java.lang.String funConst, KIFSeq<KIFTerm> termSeq)
KIFImplication	newImplication(KIFSent sentence)
KIFImplication	newImplication(KIFSent sentence, KIFSeq<KIFSent> sequence)
KIFIndVar	newIndVar(java.lang.String varName)
KIFLogConst	newLogConst(java.lang.String constName)
KIFNegation	newNegation(KIFSent sentence)
KIFObjConst	newObjConst(java.lang.String constName)
KIFOperator	newOperator(java.lang.String operator)
KIFRelSent	newRelSent(java.lang.String constName, KIFSeq<KIFTerm> terms)
KIFSeq<KIFSent>	newSeq(KIFSent sentence)
KIFSeq<KIFSent>	newSeq(KIFSeq<KIFSent> sequence, KIFSent sentence)
KIFSeq<KIFTerm>	newSeq(KIFSeq<KIFTerm> sequence, KIFTerm term)
KIFSeq<KIFTerm>	newSeq(KIFTerm term)
ASTNode	parseFile(java.lang.String filename)
ASTNode	parseString(java.lang.String text)

Methods inherited from class java.lang.Object

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

Constructor Detail

AST

public AST()

Method Detail

newComment

public KIFComment newComment(java.lang.String comment)

newConjunction

public KIFConjunction newConjunction(KIFSent sentence,
                                     KIFSeq<KIFSent> sequence)

newConjunction

public KIFConjunction newConjunction(KIFSeq<KIFSent> sequence)

newDisjunction

public KIFDisjunction newDisjunction(KIFSent sentence,
                                     KIFSeq<KIFSent> sequence)

newDisjunction

public KIFDisjunction newDisjunction(KIFSeq<KIFSent> sequence)

newForm

public KIFForm newForm()

newForm

public KIFForm newForm(KIFSeq<KIFSent> sentences)

newFunTerm

public KIFFunTerm newFunTerm(java.lang.String funConst)

newFunTerm

public KIFFunTerm newFunTerm(java.lang.String funConst,
                             KIFSeq<KIFTerm> termSeq)

newImplication

public KIFImplication newImplication(KIFSent sentence,
                                     KIFSeq<KIFSent> sequence)

newImplication

public KIFImplication newImplication(KIFSent sentence)

newIndVar

public KIFIndVar newIndVar(java.lang.String varName)

newLogConst

public KIFLogConst newLogConst(java.lang.String constName)

newNegation

public KIFNegation newNegation(KIFSent sentence)

newObjConst

public KIFObjConst newObjConst(java.lang.String constName)

newOperator

public KIFOperator newOperator(java.lang.String operator)

newRelSent

public KIFRelSent newRelSent(java.lang.String constName,
                             KIFSeq<KIFTerm> terms)

newSeq

public KIFSeq<KIFSent> newSeq(KIFSent sentence)

newSeq

public KIFSeq<KIFSent> newSeq(KIFSeq<KIFSent> sequence,
                              KIFSent sentence)

newSeq

public KIFSeq<KIFTerm> newSeq(KIFTerm term)

newSeq

public KIFSeq<KIFTerm> newSeq(KIFSeq<KIFTerm> sequence,
                              KIFTerm term)

modifying

public void modifying()

getParser

public Parser getParser()

parseString

public ASTNode parseString(java.lang.String text)

parseFile

public ASTNode parseFile(java.lang.String filename)