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

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

Direct Known Subclasses:

KIFComment, KIFLogConst, KIFLogSent, KIFRelSent

public abstract class KIFSent
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

Method Summary

java.lang.String	getLeadingComment()
abstract java.lang.String	getName()
abstract int	getOperandCount()
abstract KIFSeq<? extends ASTNode>	getOperands()
void	setLeadingComment(java.lang.String comment)

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

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

Methods inherited from class java.lang.Object

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

Method Detail

getName

public abstract java.lang.String getName()

getOperandCount

public abstract int getOperandCount()

getOperands

public abstract KIFSeq<? extends ASTNode> getOperands()

setLeadingComment

public void setLeadingComment(java.lang.String comment)

getLeadingComment

public java.lang.String getLeadingComment()