org.eclipse.xtext.util.formallang
Class PdaToDot<STATE,STACKITEM>

java.lang.Object
  org.eclipse.xtext.util.GraphvizDotBuilder
      org.eclipse.xtext.util.formallang.PdaToDot<STATE,STACKITEM>

public class PdaToDot<STATE,STACKITEM>
extends GraphvizDotBuilder

Author:

Moritz Eysholdt - Initial contribution and API

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.util.GraphvizDotBuilder

GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props

Field Summary

protected com.google.common.base.Function<STACKITEM,java.lang.String>	popFormatter
protected com.google.common.base.Function<STACKITEM,java.lang.String>	pushFormatter
protected com.google.common.base.Function<STATE,java.lang.String>	stateFormatter

Fields inherited from class org.eclipse.xtext.util.GraphvizDotBuilder

log

Constructor Summary

PdaToDot()

Method Summary

protected GraphvizDotBuilder.Node	create(GraphvizDotBuilder.Digraph result, Pda<STATE,STACKITEM> pda, STATE state)
protected GraphvizDotBuilder.Edge	create(GraphvizDotBuilder.Digraph result, Pda<STATE,STACKITEM> pda, STATE from, STATE to)
protected void	draw(GraphvizDotBuilder.Digraph result, Pda<STATE,STACKITEM> pda)
protected GraphvizDotBuilder.Props	drawObject(java.lang.Object obj)
PdaToDot<STATE,STACKITEM>	setPopFormatter(com.google.common.base.Function<STACKITEM,java.lang.String> popFormatter)
PdaToDot<STATE,STACKITEM>	setPushFormatter(com.google.common.base.Function<STACKITEM,java.lang.String> pushFormatter)
PdaToDot<STATE,STACKITEM>	setStateFormatter(com.google.common.base.Function<STATE,java.lang.String> stateFormatter)
protected java.lang.String	stateToString(Pda<STATE,STACKITEM> pda, STATE state)

Methods inherited from class org.eclipse.xtext.util.GraphvizDotBuilder

draw, draw, draw, draw, getGraphvizBinary, id

Methods inherited from class java.lang.Object

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

Field Detail

popFormatter

protected com.google.common.base.Function<STACKITEM,java.lang.String> popFormatter

pushFormatter

protected com.google.common.base.Function<STACKITEM,java.lang.String> pushFormatter

stateFormatter

protected com.google.common.base.Function<STATE,java.lang.String> stateFormatter

Constructor Detail

PdaToDot

public PdaToDot()

Method Detail

create

protected GraphvizDotBuilder.Node create(GraphvizDotBuilder.Digraph result,
                                         Pda<STATE,STACKITEM> pda,
                                         STATE state)

create

protected GraphvizDotBuilder.Edge create(GraphvizDotBuilder.Digraph result,
                                         Pda<STATE,STACKITEM> pda,
                                         STATE from,
                                         STATE to)

draw

protected void draw(GraphvizDotBuilder.Digraph result,
                    Pda<STATE,STACKITEM> pda)

drawObject

protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)

Specified by:

drawObject in class GraphvizDotBuilder

setPopFormatter

public PdaToDot<STATE,STACKITEM> setPopFormatter(com.google.common.base.Function<STACKITEM,java.lang.String> popFormatter)

setPushFormatter

public PdaToDot<STATE,STACKITEM> setPushFormatter(com.google.common.base.Function<STACKITEM,java.lang.String> pushFormatter)

setStateFormatter

public PdaToDot<STATE,STACKITEM> setStateFormatter(com.google.common.base.Function<STATE,java.lang.String> stateFormatter)

stateToString

protected java.lang.String stateToString(Pda<STATE,STACKITEM> pda,
                                         STATE state)