de.flapdoodle.commons.reverse

Class TransitionWalker.ReachedState<D>

java.lang.Object

de.flapdoodle.commons.reverse.TransitionWalker.ReachedState<D>

All Implemented Interfaces:

AutoCloseable

Enclosing class:

TransitionWalker

public static class TransitionWalker.ReachedState<D>
extends Object
implements AutoCloseable

Method Summary

Modifier and Type	Method and Description
State<D>	asState()
void	close()
D	current()
<T> TransitionWalker.ReachedState<T>	initState(StateID<T> destination)

Methods inherited from class java.lang.Object

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

Method Detail

initState

public <T> TransitionWalker.ReachedState<T> initState(StateID<T> destination)

close

public void close()

Specified by:

close in interface AutoCloseable

current

public D current()

asState

public State<D> asState()