org.eclipse.palamedes.kif.core.ast.visitor
Class NotationWriter

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.visitor.NotationWriter

public class NotationWriter
extends java.lang.Object

Field Summary

static int	INFIX
static int	PREFIX

Constructor Summary

NotationWriter()

NotationWriter(int type)

Method Summary

static NotationWriter	getInstance()
static void	setType(int type)
static java.lang.String	toDefaultString(ASTNode node)
static java.lang.String	toDefaultString(KIFSeq<? extends ASTNode> sequence)
static java.lang.String	toDefaultString(KIFSeq<? extends ASTNode> sequence, java.lang.String filler)
java.lang.String	toString(ASTNode node)
java.lang.String	toString(KIFSeq<? extends ASTNode> sequence)
java.lang.String	toString(KIFSeq<? extends ASTNode> sequence, java.lang.String filler)

Methods inherited from class java.lang.Object

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

Field Detail

INFIX

public static final int INFIX

See Also:

Constant Field Values

PREFIX

public static final int PREFIX

See Also:

Constant Field Values

Constructor Detail

NotationWriter

public NotationWriter()

NotationWriter

public NotationWriter(int type)

Method Detail

getInstance

public static NotationWriter getInstance()

toDefaultString

public static java.lang.String toDefaultString(ASTNode node)

toDefaultString

public static java.lang.String toDefaultString(KIFSeq<? extends ASTNode> sequence)

toDefaultString

public static java.lang.String toDefaultString(KIFSeq<? extends ASTNode> sequence,
                                               java.lang.String filler)

setType

public static void setType(int type)

toString

public java.lang.String toString(KIFSeq<? extends ASTNode> sequence)

toString

public java.lang.String toString(KIFSeq<? extends ASTNode> sequence,
                                 java.lang.String filler)

toString

public java.lang.String toString(ASTNode node)