Machine type : statemachine

In a XLIA file, the other high level machines that aren't the "system" are modeled by "statemachine" machines.

By default, when no precisions are given, the moc of a state-machine is "or".

Declaring state-machines

To declare a "statemachine", we use the keyword "statemachine" :

Uses of the state-machine

Machines of type "statemachine" can be used to model two things :

Body of the state-machine

Statemachines and what they do is mainly defined by their sub-componenets. As for all machines, we list system sub-components in sections introduced by a "@XXX:" keyword. Those sections gather the declarations of all sub-components of a given type.

For the "statemachine" type of machine, the most important sections to know about are :