Actions can be associated with states via the state's label by defining entry, during, exit, and onevent_name keywords. The general format of a state label is shown below.
The / following the state name is optional. See the section "Semantics of State Actions" for information on the semantics of state actions. See the examples in Chapter 7, "Semantics," for examples of the semantics of state actions.
