public class StateDescriptorGraph
extends java.lang.Object
Thanks to Andreas Fried for the fun and successful bug hunting session.
Modifier and Type | Class and Description |
---|---|
static class |
StateDescriptorGraph.GraphVertex<E> |
Constructor and Description |
---|
StateDescriptorGraph() |
Modifier and Type | Method and Description |
---|---|
static StateDescriptorGraph.GraphVertex<StateDescriptor> |
constructStateDescriptorGraph(java.util.Set<java.lang.Class<? extends StateDescriptor>> backwardEdgeStateDescriptors) |
static <E> void |
stateDescriptorGraphToDot(java.util.Collection<StateDescriptorGraph.GraphVertex<StateDescriptor>> vertexes,
java.io.PrintWriter dotOut,
boolean breakStateName) |
public static StateDescriptorGraph.GraphVertex<StateDescriptor> constructStateDescriptorGraph(java.util.Set<java.lang.Class<? extends StateDescriptor>> backwardEdgeStateDescriptors) throws java.lang.InstantiationException, java.lang.IllegalAccessException, java.lang.IllegalArgumentException, java.lang.reflect.InvocationTargetException, java.lang.NoSuchMethodException, java.lang.SecurityException
java.lang.InstantiationException
java.lang.IllegalAccessException
java.lang.IllegalArgumentException
java.lang.reflect.InvocationTargetException
java.lang.NoSuchMethodException
java.lang.SecurityException
public static <E> void stateDescriptorGraphToDot(java.util.Collection<StateDescriptorGraph.GraphVertex<StateDescriptor>> vertexes, java.io.PrintWriter dotOut, boolean breakStateName)