public class NFAToDot extends GrammarToDot
GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props
Modifier and Type | Field and Description |
---|---|
protected IGrammarNFAProvider<DefaultNFAState,DefaultNFATransition> |
nfaProvider |
aeSwitch
log
Constructor and Description |
---|
NFAToDot() |
Modifier and Type | Method and Description |
---|---|
protected GraphvizDotBuilder.Node |
drawAbstractElementTree(AbstractElement ele,
GraphvizDotBuilder.Digraph d) |
protected GraphvizDotBuilder.Edge |
drawFollowerEdge(AbstractElement ele,
DefaultNFATransition t,
boolean isParent) |
drawGrammar, drawGrammarContainementEdge, drawObject, drawRule, newNode
draw, draw, draw, draw, getGraphvizBinary, id
protected IGrammarNFAProvider<DefaultNFAState,DefaultNFATransition> nfaProvider
protected GraphvizDotBuilder.Node drawAbstractElementTree(AbstractElement ele, GraphvizDotBuilder.Digraph d)
drawAbstractElementTree
in class GrammarToDot
protected GraphvizDotBuilder.Edge drawFollowerEdge(AbstractElement ele, DefaultNFATransition t, boolean isParent)