public class TraceToDot extends TreeConstNFAToDot
GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props
nfaProvider
aeSwitch
log
Constructor and Description |
---|
TraceToDot() |
Modifier and Type | Method and Description |
---|---|
protected GraphvizDotBuilder.Props |
drawObject(java.lang.Object obj) |
protected GraphvizDotBuilder.Digraph |
drawPTC(TreeConstructionReportImpl report) |
drawAbstractElementTree, drawFollowerEdge, newNode, setStatusStyle
drawGrammar, drawGrammarContainementEdge, drawRule
draw, draw, draw, draw, getGraphvizBinary, id
protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
drawObject
in class GrammarToDot
protected GraphvizDotBuilder.Digraph drawPTC(TreeConstructionReportImpl report)