public class NfaToDot<STATE> extends GraphvizDotBuilder
GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props
Modifier and Type | Field and Description |
---|---|
protected com.google.common.base.Function<STATE,java.lang.String> |
stateFormatter |
log
Constructor and Description |
---|
NfaToDot() |
Modifier and Type | Method and Description |
---|---|
protected GraphvizDotBuilder.Node |
create(GraphvizDotBuilder.Digraph result,
Nfa<STATE> nfa,
STATE state) |
protected GraphvizDotBuilder.Edge |
create(GraphvizDotBuilder.Digraph result,
Nfa<STATE> nfa,
STATE from,
STATE to) |
protected void |
draw(GraphvizDotBuilder.Digraph result,
Nfa<STATE> nfa) |
protected GraphvizDotBuilder.Props |
drawObject(java.lang.Object obj) |
NfaToDot<STATE> |
setStateFormatter(com.google.common.base.Function<STATE,java.lang.String> stateFormatter) |
protected java.lang.String |
stateToString(Nfa<STATE> nfa,
STATE state) |
draw, draw, draw, draw, getGraphvizBinary, id
protected com.google.common.base.Function<STATE,java.lang.String> stateFormatter
protected GraphvizDotBuilder.Node create(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa, STATE state)
protected GraphvizDotBuilder.Edge create(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa, STATE from, STATE to)
protected void draw(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa)
protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
drawObject
in class GraphvizDotBuilder
public NfaToDot<STATE> setStateFormatter(com.google.common.base.Function<STATE,java.lang.String> stateFormatter)