Next: Component Reply, Previous: Component If, Up: Component Imperative Statements [Contents][Index]
trigger can be explicitly marked as
illegal. In that
illegal must be the only imperative statement for that
on ::= "on" illegal-triggers ":" illegal illegal-triggers ::= illegal-trigger ("," illegal-trigger)* illegal-trigger ::= port-name "." event-name illegal ::= "illegal" ";"
Note that in this case the
trigger’s formal parameter list may be
on p.hello,r,world: illegal;
Note: A trigger with an
illegalresponse can also be omitted since an
illegalresponse is the default behavior for every
In a component an
illegal can be used as an imperative statement
in the branch of an
if as any other imperative statement
(See Component If).