IRuntimeLog.OnMonitorRaiseEvent method
Invoked when the specified monitor raised an event.
public void OnMonitorRaiseEvent(string monitorType, string stateName, Event e)
| parameter | description |
|---|---|
| monitorType | Name of type of the monitor raising the event. |
| stateName | The name of the state in which the event is being raised. |
| e | The event being raised. |
See Also
- class Event
- interface IRuntimeLog
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote