Next: Assign, Up: Imperative Statements [Contents][Index]
When handling a trigger (a
in-event), an interface can emit zero
out-events. The event that follows a trigger is are
referred to as an
action ::= event-name ";"
event-name is the name of an
out-event defined in