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 ();
}
}