org.eclipse.xtext.util.formallang
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

protected

NfaToProduction.StatesToDot()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NfaToProduction.StatesToDot

protected NfaToProduction.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,
                                            NfaToProduction.StateAlias<T> state,
                                            java.util.Map<NfaToProduction.StateAlias<T>,GraphvizDotBuilder.Node> nodes)