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

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

public class KIFOperator
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

protected void	copyMembers(KIFOperator node)
java.lang.String	getOperator()
void	setOperator(java.lang.String operator)
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

Method Detail

getOperator

public final java.lang.String getOperator()

setOperator

public final void setOperator(java.lang.String operator)

traverse

public void traverse(ASTVisitor visitor)

Specified by:

traverse in class ASTNode

toString

public java.lang.String toString()

Overrides:

toString in class ASTNode

copyMembers

protected final void copyMembers(KIFOperator node)