de.flapdoodle.reverse.transitions

Class Derive<S,D>

java.lang.Object

de.flapdoodle.reverse.transitions.Derive<S,D>

All Implemented Interfaces:

HasLabel, Transition<D>

Direct Known Subclasses:

ImmutableDerive

@Value.Immutable
public abstract class Derive<S,D>
extends Object
implements Transition<D>, HasLabel

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Derive.WithSource<S>
static class	Derive.WithSourceAndDestination<S,D>

Constructor Summary

Constructors

Constructor and Description
Derive()

Method Summary

Modifier and Type	Method and Description
protected abstract Function<S,State<D>>	action()
abstract StateID<D>	destination()
static <D> Derive.WithSource<D>	given(Class<D> sourceType)
static <D> Derive.WithSource<D>	given(StateID<D> source)
static <S,D> ImmutableDerive<S,D>	of(StateID<S> source, StateID<D> dest, Function<S,State<D>> action)
State<D>	result(StateLookup lookup)
abstract StateID<S>	source()
Set<StateID<?>>	sources()
String	transitionLabel()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.flapdoodle.reverse.Transition

asLabel

Constructor Detail

Derive

public Derive()

Method Detail

source

public abstract StateID<S> source()

destination

public abstract StateID<D> destination()

Specified by:

destination in interface Transition<D>

action

protected abstract Function<S,State<D>> action()

transitionLabel

@Value.Default
public String transitionLabel()

Specified by:

transitionLabel in interface HasLabel

sources

@Value.Lazy
public Set<StateID<?>> sources()

Specified by:

sources in interface Transition<D>

result

@Value.Auxiliary
public State<D> result(StateLookup lookup)

Specified by:

result in interface Transition<D>

of

public static <S,D> ImmutableDerive<S,D> of(StateID<S> source,
                                            StateID<D> dest,
                                            Function<S,State<D>> action)

given

public static <D> Derive.WithSource<D> given(StateID<D> source)

given

public static <D> Derive.WithSource<D> given(Class<D> sourceType)