Class NfaToDot<STATE>
- java.lang.Object
-
- org.eclipse.xtext.util.GraphvizDotBuilder
-
- org.eclipse.xtext.util.formallang.NfaToDot<STATE>
-
public class NfaToDot<STATE> 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<STATE,java.lang.String>
stateFormatter
-
Fields inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
log
-
-
Constructor Summary
Constructors Constructor Description NfaToDot()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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)
-
Methods inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
draw, draw, draw, draw, getGraphvizBinary, id
-
-
-
-
Field Detail
-
stateFormatter
protected com.google.common.base.Function<STATE,java.lang.String> stateFormatter
-
-
Method Detail
-
create
protected GraphvizDotBuilder.Node create(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa, STATE state)
-
create
protected GraphvizDotBuilder.Edge create(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa, STATE from, STATE to)
-
draw
protected void draw(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa)
-
drawObject
protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
- Specified by:
drawObject
in classGraphvizDotBuilder
-
setStateFormatter
public NfaToDot<STATE> setStateFormatter(com.google.common.base.Function<STATE,java.lang.String> stateFormatter)
-
-