- All Superinterfaces:
- FSMPreEnterEventSource, Stateful
- All Known Implementing Classes:
- CoordinatorImp
public interface RecoverableCoordinator
extends FSMPreEnterEventSource
A type of stateful objects whose state is guaranteed to be recoverable. The
logging is done based on PreEnter events. The guarantee offered is the
following: IF a recoverable state is reached by the instance, then its image
is GUARANTEED to be recoverable. The inverse does NOT hold: the fact that an
object is recovered in some state does NOT mean that the state was reached.
Indeed, other PreEnter listeners may still have prevented the transition in
the last moment. However, this should not be a real problem; applications
should take this into account.