Next: Direct out event, Up: Execution Semantics [Contents][Index]
A provides port in-event (p.a
) call resulting in a requires port
in-event (r.a
) is implemented as a function calling another
function.
interface I { in void a (); behavior { on a: {} } } component direct_in { provides I p; requires I r; behavior { on p.a (): r.a (); } }