Event receptions

Events provide an asynchronous means of communication between objects. Both reactive objects and tasks can receive events. Events can trigger transitions in statecharts.

Adding an event reception to an object defines the ability of the object to receive that type of event. A comment is added to the specification file of an object to indicate that it can consume a particular type of event. For example, if an object type G can receive an event ev1, the following comment is added to G's specification file.

/*** Events consumed ***/
/* ev1();*/

All events are handled through a common interface found in RiCReactive.

The event is defined in the package file.


Feedback