IRuntimeLog.OnMonitorProcessEvent method
Invoked when the specified monitor is about to process an event.
public void OnMonitorProcessEvent(string monitorType, string stateName, string senderName,
string senderType, string senderStateName, Event e)
| parameter | description |
|---|---|
| monitorType | Name of type of the monitor that will process the event. |
| stateName | The name of the state in which the event is being raised. |
| senderName | The name of the sender, if any. |
| senderType | The type of the sender, if any. |
| senderStateName | The name of the state the sender is in. |
| e | The event being processed. |
See Also
- class Event
- interface IRuntimeLog
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote