Next: Imperative Statements, Previous: Behavior, Up: Interfaces [Contents][Index]
A trigger is prescribed by an interface to be handled by an
implementation as is the condition under which it occurs. Collectively
this is referred to as a declarative statement. The condition is
expressed as a guard, the trigger as an on. The code that
is executed when both the guard expression evaluates to true and
the trigger occurs, is called the imperative statement
(See Imperative Statements).
declarative-statement ::= guard | on | invariant | declarative-compound
declarative-compound ::= "{" (declarative-statement ";")* "}"