Operation void pushEvent (Event notification), in Class Consumer

Documentation
This operation delivers the event delivered to the consumer by the supplier to which it is connected. Note that application of filters will occur resulting in either discarding the event or forwarding it to each supplier within the notification channel depending on whether or not the event passed the filter.
Operation Exceptions:
1. Disconnected if this operation is invoked upon a consumer that is not currently connected to the supplier of the event.

Protocol |  | Qualification |
Exceptions |  | Size |
Time |  | Concurrency | Sequential
Export Control | PublicAccess |  |

Preconditions
None
Postconditions
None
Semantics

Arguments

notification
/* in */ The event to be delivered to the consumer by the supplier to which it is connected.