Related content
Previous snippet
trigger_with_ports
If a Trigger specifies one or more ports, the event of the Trigger must be a MessageEvent.
inv: port->notEmpty() implies event.oclIsKindOf(MessageEvent)