org.eclipse.palamedes.ui.editor.rulegraph
Class RuleGraphCreator

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTVisitor
      org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor
          org.eclipse.palamedes.ui.editor.rulegraph.RuleGraphCreator

public final class RuleGraphCreator
extends DefaultVisitor

Field Summary

static int	SHOW_STEP1
static int	SHOW_STEP2a
static int	SHOW_STEP2b
static int	SHOW_STEP3

Fields inherited from class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

currentTopLevelNode, IMP_HEAD_FIRST, IMP_HEAD_LAST, insideBody, insideHead, insideImplication

Constructor Summary

RuleGraphCreator()

Method Summary

org.eclipse.draw2d.graph.DirectedGraph	getGraph()
ComplexNodeModel	getRoot()
void	postVisitComplexNode(ASTNode node)
void	preVisitComplexNode(ASTNode node)
void	visit(KIFForm node)
void	visitBasicNode(ASTNode node)

Methods inherited from class org.eclipse.palamedes.kif.core.ast.visitor.DefaultVisitor

isHeadFirst, postVisitFormNode, preVisitFormNode, setHeadFirst, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

SHOW_STEP1

public static final int SHOW_STEP1

See Also:

Constant Field Values

SHOW_STEP2a

public static final int SHOW_STEP2a

See Also:

Constant Field Values

SHOW_STEP2b

public static final int SHOW_STEP2b

See Also:

Constant Field Values

SHOW_STEP3

public static final int SHOW_STEP3

See Also:

Constant Field Values

Constructor Detail

RuleGraphCreator

public RuleGraphCreator()

Method Detail

getRoot

public ComplexNodeModel getRoot()

getGraph

public org.eclipse.draw2d.graph.DirectedGraph getGraph()

visit

public void visit(KIFForm node)

Overrides:

visit in class DefaultVisitor

preVisitComplexNode

public void preVisitComplexNode(ASTNode node)

Overrides:

preVisitComplexNode in class DefaultVisitor

postVisitComplexNode

public void postVisitComplexNode(ASTNode node)

Overrides:

postVisitComplexNode in class DefaultVisitor

visitBasicNode

public void visitBasicNode(ASTNode node)

Overrides:

visitBasicNode in class DefaultVisitor