public class TraceToDot extends TreeConstNFAToDot
nfaProvideraeSwitch| Constructor and Description |
|---|
TraceToDot() |
| Modifier and Type | Method and Description |
|---|---|
protected org.eclipse.xtext.util.GraphvizDotBuilder.Props |
drawObject(java.lang.Object obj) |
protected org.eclipse.xtext.util.GraphvizDotBuilder.Digraph |
drawPTC(TreeConstructionReportImpl report) |
drawAbstractElementTree, drawFollowerEdge, newNode, setStatusStyledrawGrammar, drawGrammarContainementEdge, drawRuleprotected org.eclipse.xtext.util.GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
drawObject in class GrammarToDotprotected org.eclipse.xtext.util.GraphvizDotBuilder.Digraph drawPTC(TreeConstructionReportImpl report)