RuntimeLogTextFormatter.OnCreateMonitor method

Invoked when the specified monitor has been created.

public virtual void OnCreateMonitor(string monitorType)

parameter	description
monitorType	The name of the type of the monitor that has been created.

See Also

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