org.eclipse.xtext.util.formallang
Class NfaToGrammar.StatesToDot<T>

java.lang.Object
  extended by org.eclipse.xtext.util.GraphvizDotBuilder
      extended by org.eclipse.xtext.util.formallang.NfaToGrammar.StatesToDot<T>
Enclosing class:
NfaToGrammar

protected static class NfaToGrammar.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
protected NfaToGrammar.StatesToDot()
           
 
Method Summary
protected  GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
           
protected  GraphvizDotBuilder.Node drawState(GraphvizDotBuilder.Digraph dg, NfaToGrammar.StateAlias<T> state, java.util.Map<NfaToGrammar.StateAlias<T>,GraphvizDotBuilder.Node> nodes)
           
 
Methods inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
draw, draw, draw, draw, getGraphvizBinary, id
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NfaToGrammar.StatesToDot

protected NfaToGrammar.StatesToDot()
Method Detail

drawObject

protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
Specified by:
drawObject in class GraphvizDotBuilder

drawState

protected GraphvizDotBuilder.Node drawState(GraphvizDotBuilder.Digraph dg,
                                            NfaToGrammar.StateAlias<T> state,
                                            java.util.Map<NfaToGrammar.StateAlias<T>,GraphvizDotBuilder.Node> nodes)