Class NfaToProduction.StatesToDot<T>
- java.lang.Object
-
- org.eclipse.xtext.util.GraphvizDotBuilder
-
- org.eclipse.xtext.util.formallang.NfaToProduction.StatesToDot<T>
-
- Enclosing class:
- NfaToProduction
protected static class NfaToProduction.StatesToDot<T> 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 inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
log
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
StatesToDot()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected GraphvizDotBuilder.Props
drawObject(java.lang.Object obj)
protected GraphvizDotBuilder.Node
drawState(GraphvizDotBuilder.Digraph dg, NfaToProduction.StateAlias<T> state, java.util.Map<NfaToProduction.StateAlias<T>,GraphvizDotBuilder.Node> nodes)
-
Methods inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
draw, draw, draw, draw, getGraphvizBinary, id
-
-
-
-
Method Detail
-
drawObject
protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
- Specified by:
drawObject
in classGraphvizDotBuilder
-
drawState
protected GraphvizDotBuilder.Node drawState(GraphvizDotBuilder.Digraph dg, NfaToProduction.StateAlias<T> state, java.util.Map<NfaToProduction.StateAlias<T>,GraphvizDotBuilder.Node> nodes)
-
-