105
Triggering Examples
Single-Machine Trigger Examples
The specification also stores all execution inside function F1, whether
or not F2 was called. If you are interested only in the execution of F1,
without the code that led to its invocation, you can change the storage
specification from "anystate" to "nostate" for the second sequence
term.
Triggering on Entry to a Function