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
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props
-
-
Field Summary
Fields Modifier and Type Field Description 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
Constructors Constructor Description PdaToDot()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description 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
-
-
-
-
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
-
-
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 classGraphvizDotBuilder
-
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)
-
-