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

Constructors

Modifier	Constructor and Description
protected	StatesToDot()

Method Summary

Modifier and Type	Method and 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

Methods inherited from class java.lang.Object

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

Constructor Detail

StatesToDot

protected 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)