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

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTNode
      org.eclipse.palamedes.kif.core.ast.KIFForm

Direct Known Subclasses:

GDLForm

public class KIFForm
extends ASTNode

Field Summary

Fields inherited from class org.eclipse.palamedes.kif.core.ast.ASTNode

COMMENT, CONJUNCTION, DISJUNCTION, FORM, FUNTERM, HORNSENT, IMPLICATION, INDVAR, LOGCONST, NEGATION, OBJCONST, OPERATOR, RELSENT, SEQUENCE

Constructor Summary

protected

KIFForm(AST ast)

Method Summary

protected void	copyMembers(KIFForm node)
java.util.List<ASTNode>	getChildren()
java.util.List<KIFComment>	getComments()
KIFSeq<KIFImplication>	getImplications() This method returns a new list that contains only the top level implications of the form.
KIFSeq<KIFSent>	getSentences()
boolean	hasChildren()
boolean	isEmpty()
java.lang.String	toString()
void	traverse(ASTVisitor visitor)

Methods inherited from class org.eclipse.palamedes.kif.core.ast.ASTNode

clone, copyMembers, equals, getAST, getInfixNotation, getNodeType, getPrefixNotation, getSourceLength, getSourceStart, hashCode, setSourceLength, setSourceStart

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

KIFForm

protected KIFForm(AST ast)

Method Detail

getSentences

public KIFSeq<KIFSent> getSentences()

hasChildren

public boolean hasChildren()

getChildren

public java.util.List<ASTNode> getChildren()

isEmpty

public boolean isEmpty()

traverse

public void traverse(ASTVisitor visitor)

Specified by:

traverse in class ASTNode

toString

public java.lang.String toString()

Overrides:

toString in class ASTNode

getComments

public java.util.List<KIFComment> getComments()

getImplications

public KIFSeq<KIFImplication> getImplications()

This method returns a new list that contains only the top level implications of the form.

Returns:

KIFSeq list of top level implications.

copyMembers

protected final void copyMembers(KIFForm node)