Next: Well-formedness – Injection, Previous: Well-formedness – Reply, Up: Well-formedness [Contents][Index]
Both actions and function calls can be typed, and as such
are considered to be expressions. They can only be called are from the
imperative statement. The reason is that actions and function
calls (at least the functions that contain actions) cause
a side effect.
This means that actions or function calls cannot be used
to initialize the value of a global variable in a behavior, neither
can it be used in a guard statement.