"@disable{...}" activity primitive

Generalities

The "@disable{...}" activity primitive corresponds to the activity of a UML statemachine exiting a state.

It can only have a "state" for parent. It is evaluated when deactivating any state.

The evaluation of a transition will follow this pattern :

Example

Below is an example of the syntax in use :

Here, if during the execution, the machine goes from state :

Remarks

Other scheduling possibilities will be available in further XLIA versions.