IRuntimeLog.OnMonitorExecuteAction method
Invoked when the specified monitor executes an action.
public void OnMonitorExecuteAction(string monitorType, string stateName, string actionName)
| parameter | description |
|---|---|
| monitorType | Name of type of the monitor that is executing the action. |
| stateName | The name of the state in which the action is being executed. |
| actionName | The name of the action being executed. |
See Also
- interface IRuntimeLog
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote