RuntimeLogTextFormatter.OnMonitorProcessEvent method
Invoked when the specified monitor is about to process an event.
public virtual 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
- class RuntimeLogTextFormatter
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote