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

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

public class KIFComment
extends KIFSent

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

protected void	copyMembers(KIFComment node)
java.lang.String	getComment()
java.lang.String	getName()
int	getOperandCount()
KIFSeq<? extends ASTNode>	getOperands()
void	setComment(java.lang.String comment)
java.lang.String	toString()
void	traverse(ASTVisitor visitor)

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

getLeadingComment, setLeadingComment

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

Method Detail

traverse

public void traverse(ASTVisitor visitor)

Specified by:

traverse in class ASTNode

getComment

public java.lang.String getComment()

setComment

public void setComment(java.lang.String comment)

copyMembers

protected final void copyMembers(KIFComment node)

getName

public java.lang.String getName()

Specified by:

getName in class KIFSent

getOperandCount

public int getOperandCount()

Specified by:

getOperandCount in class KIFSent

getOperands

public KIFSeq<? extends ASTNode> getOperands()

Specified by:

getOperands in class KIFSent

toString

public java.lang.String toString()

Overrides:

toString in class ASTNode