de.flapdoodle.reverse

Class Transitions

java.lang.Object

de.flapdoodle.reverse.Transitions

Direct Known Subclasses:

ImmutableTransitions

@Value.Immutable
public abstract class Transitions
extends Object

Constructor Summary

Constructors

Constructor and Description
Transitions()

Method Summary

Modifier and Type	Method and Description
Transitions	addAll(Transition<?>... transitions)
Transitions	addAll(Transitions other)
static de.flapdoodle.types.Either<de.flapdoodle.reverse.Transitions.StateVertex,de.flapdoodle.reverse.Transitions.TransitionVertex>	asEither(de.flapdoodle.reverse.Transitions.Vertex vertex)
org.jgrapht.graph.DefaultDirectedGraph<de.flapdoodle.reverse.Transitions.Vertex,org.jgrapht.graph.DefaultEdge>	asGraph()
static org.jgrapht.graph.DefaultDirectedGraph<de.flapdoodle.reverse.Transitions.Vertex,org.jgrapht.graph.DefaultEdge>	asGraph(List<? extends Transition<?>> all)
static void	assertNoCollisions(List<? extends Transition<?>> all)
protected void	checkForCollisions()
static String	edgeGraphAsDot(String label, org.jgrapht.graph.DefaultDirectedGraph<de.flapdoodle.reverse.Transitions.Vertex,org.jgrapht.graph.DefaultEdge> graph)
static String	edgeGraphAsDot(String label, org.jgrapht.graph.DefaultDirectedGraph<de.flapdoodle.reverse.Transitions.Vertex,org.jgrapht.graph.DefaultEdge> graph, Function<Transition<?>,String> transitionAsLabel, Function<StateID<?>,String> stateIdAsLabel)
static Transitions	from(Transition<?>... transitions)
<T> Transitions	replace(Transition<T> transition)
abstract List<Transition<?>>	transitions()
TransitionWalker	walker()

Methods inherited from class java.lang.Object

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

Constructor Detail

Transitions

public Transitions()

Method Detail

transitions

public abstract List<Transition<?>> transitions()

addAll

@Value.Auxiliary
public Transitions addAll(Transition<?>... transitions)

addAll

public Transitions addAll(Transitions other)

replace

@Value.Auxiliary
public <T> Transitions replace(Transition<T> transition)

checkForCollisions

@Value.Check
protected void checkForCollisions()

asGraph

@Value.Auxiliary
public org.jgrapht.graph.DefaultDirectedGraph<de.flapdoodle.reverse.Transitions.Vertex,org.jgrapht.graph.DefaultEdge> asGraph()

walker

@Value.Auxiliary
public TransitionWalker walker()

from

public static Transitions from(Transition<?>... transitions)

asGraph

public static org.jgrapht.graph.DefaultDirectedGraph<de.flapdoodle.reverse.Transitions.Vertex,org.jgrapht.graph.DefaultEdge> asGraph(List<? extends Transition<?>> all)

assertNoCollisions

public static void assertNoCollisions(List<? extends Transition<?>> all)

edgeGraphAsDot

public static String edgeGraphAsDot(String label,
                                    org.jgrapht.graph.DefaultDirectedGraph<de.flapdoodle.reverse.Transitions.Vertex,org.jgrapht.graph.DefaultEdge> graph)

edgeGraphAsDot

public static String edgeGraphAsDot(String label,
                                    org.jgrapht.graph.DefaultDirectedGraph<de.flapdoodle.reverse.Transitions.Vertex,org.jgrapht.graph.DefaultEdge> graph,
                                    Function<Transition<?>,String> transitionAsLabel,
                                    Function<StateID<?>,String> stateIdAsLabel)

asEither

public static de.flapdoodle.types.Either<de.flapdoodle.reverse.Transitions.StateVertex,de.flapdoodle.reverse.Transitions.TransitionVertex> asEither(de.flapdoodle.reverse.Transitions.Vertex vertex)