Reserved Words and Expressions : Expressions : Trigger Expressions : Event Expressions : Events Related to Other Elements

Events Related to Other Elements

The following table lists the derived events that can be used as triggers within your model. A derived event is an event that occurs from a change in the system environment, not from any external source. Note that Rational Statemate automatically truncates expressions. For example, if you type in delay, Rational Statemate truncates it to dly. The table lists the truncated version of the expression.

The following operators, which are related to various types of elements, produce a single (non-array) event.

 
Event Expression
E is an event array.
E is an event array.
The value of X is changed.
X is data-item or condition expression or array (including array slice); can be structured or a queue.
N clock units have passed since entering the state
N is a numeric expression.
State S is entered.
State S is exited.
The value of condition C is changed to false.
C is a condition expression (not an array).
X is read by action rd!, or from a queue by peek! or get!
X is a primitive (not an alias) data-item or condition; X can be array (not a slice), array component (not a bit-array component), structured, or queue.
Activity A is stopped.
Activity A is started.
N clock units passed from the last time event E occurred.
E is event expression (not an array). N is a numeric expression.
The value of condition C is changed to true.
C is a condition expression (not an array).
X is written by action wr!, by assignment, or by put! in a queue.
X is a primitive (not an alias) data-item or condition; X can be array (not a slice), queue array component (not a bit-array component), structured, or queue.