RuntimeLogTextFormatter.OnMonitorExecuteAction method

Invoked when the specified monitor executes an action.

public virtual 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

• class RuntimeLogTextFormatter
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote