MOVE_TO Instruction

This instruction is used in two different situations:

as one of the instructions of an ACTION

Format:

move_to state-name

This instruction will terminate the execution of the current action and the object will assume the new state state-name.

NB: For more advanced use for experts see Variable Elements in SML

NB: The old version of this instruction ( terminate_action / state = state-name ) can still be used

in WHEN statement

Format:

when (condition) move_to state-name

when condition becomes true, the object will transit from the current state into the state state-name. (There is no need to invent a special action to do this.)