public class PdaToDot<STATE,STACKITEM> extends GraphvizDotBuilder
GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props
Modifier and Type | Field and 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 |
log
Constructor and Description |
---|
PdaToDot() |
Modifier and Type | Method and 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) |
draw, draw, draw, draw, getGraphvizBinary, id
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
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)
drawObject
in class GraphvizDotBuilder
public PdaToDot<STATE,STACKITEM> setPopFormatter(com.google.common.base.Function<STACKITEM,java.lang.String> popFormatter)
public PdaToDot<STATE,STACKITEM> setPushFormatter(com.google.common.base.Function<STACKITEM,java.lang.String> pushFormatter)
public PdaToDot<STATE,STACKITEM> setStateFormatter(com.google.common.base.Function<STATE,java.lang.String> stateFormatter)