Class NFAToDot
- java.lang.Object
-
- org.eclipse.xtext.util.GraphvizDotBuilder
-
- org.eclipse.xtext.GrammarToDot
-
- org.eclipse.xtext.grammaranalysis.impl.NFAToDot
-
public class NFAToDot extends GrammarToDot
-
-
Field Summary
Fields Modifier and Type Field Description protected IGrammarNFAProvider<DefaultNFAState,DefaultNFATransition>nfaProvider-
Fields inherited from class org.eclipse.xtext.GrammarToDot
aeSwitch
-
-
Constructor Summary
Constructors Constructor Description NFAToDot()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected org.eclipse.xtext.util.GraphvizDotBuilder.NodedrawAbstractElementTree(AbstractElement ele, org.eclipse.xtext.util.GraphvizDotBuilder.Digraph d)protected org.eclipse.xtext.util.GraphvizDotBuilder.EdgedrawFollowerEdge(AbstractElement ele, DefaultNFATransition t, boolean isParent)-
Methods inherited from class org.eclipse.xtext.GrammarToDot
drawGrammar, drawGrammarContainementEdge, drawObject, drawRule, newNode
-
-
-
-
Field Detail
-
nfaProvider
protected IGrammarNFAProvider<DefaultNFAState,DefaultNFATransition> nfaProvider
-
-
Method Detail
-
drawAbstractElementTree
protected org.eclipse.xtext.util.GraphvizDotBuilder.Node drawAbstractElementTree(AbstractElement ele, org.eclipse.xtext.util.GraphvizDotBuilder.Digraph d)
- Overrides:
drawAbstractElementTreein classGrammarToDot
-
drawFollowerEdge
protected org.eclipse.xtext.util.GraphvizDotBuilder.Edge drawFollowerEdge(AbstractElement ele, DefaultNFATransition t, boolean isParent)
-
-