Module interacto.java.api

Package io.github.interacto.fsm

Class SubFSMTransition<E>

java.lang.Object

io.github.interacto.fsm.Transition<E>

io.github.interacto.fsm.SubFSMTransition<E>

Type Parameters:

E - The type of events the FSM processes.

public class SubFSMTransition<E>
extends Transition<E>

A transition that refers to another FSM. Entering this transition starts the underlying sub-FSM. To leave the transition, the sub-FSM must end.

Field Summary

Fields inherited from class io.github.interacto.fsm.Transition

src, tgt

Constructor Summary

Constructors

Constructor	Description
SubFSMTransition(OutputState<E> srcState, InputState<E> tgtState, FSM<E> fsm)

Method Summary

Modifier and Type	Method	Description
protected boolean	accept(E event)
Optional<InputState<E>>	execute(E event)
Set<Object>	getAcceptedEvents()
protected boolean	isGuardOK(E event)
void	uninstall()	Clean the transition when not used anymore.

Methods inherited from class io.github.interacto.fsm.Transition

action

Methods inherited from class java.lang.Object

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

Constructor Detail

SubFSMTransition

public SubFSMTransition(OutputState<E> srcState,
                        InputState<E> tgtState,
                        FSM<E> fsm)

Method Detail

execute

public Optional<InputState<E>> execute(E event)

Overrides:

execute in class Transition<E>

accept

protected boolean accept(E event)

Specified by:

accept in class Transition<E>

isGuardOK

protected boolean isGuardOK(E event)

Specified by:

isGuardOK in class Transition<E>

getAcceptedEvents

public Set<Object> getAcceptedEvents()

Specified by:

getAcceptedEvents in class Transition<E>

uninstall

public void uninstall()

Description copied from class: Transition

Clean the transition when not used anymore.

Overrides:

uninstall in class Transition<E>