Raises the specified
Event at the end of the current action.
protected void RaiseEvent(Event e)
|e||The event to raise.|
This event is not handled until the action that calls this method returns control back to the Coyote runtime. It is handled before any other events are dequeued from the inbox. Only one of the following can be called per action:
RaiseHaltEvent. An Assert is raised if you accidentally try and do two of these operations in a single action.