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 StateDescriptorGraph.GraphVertex<State> |
convertToStateGraph(StateDescriptorGraph.GraphVertex<StateDescriptor> initialStateDescriptor,
ModularXmppClientToServerConnectionInternal connectionInternal) |
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.InstantiationExceptionjava.lang.IllegalAccessExceptionjava.lang.IllegalArgumentExceptionjava.lang.reflect.InvocationTargetExceptionjava.lang.NoSuchMethodExceptionjava.lang.SecurityExceptionpublic static StateDescriptorGraph.GraphVertex<State> convertToStateGraph(StateDescriptorGraph.GraphVertex<StateDescriptor> initialStateDescriptor, ModularXmppClientToServerConnectionInternal connectionInternal)
public static <E> void stateDescriptorGraphToDot(java.util.Collection<StateDescriptorGraph.GraphVertex<StateDescriptor>> vertexes, java.io.PrintWriter dotOut, boolean breakStateName)