IRuntimeLog.OnMonitorError method

Invoked when the specified monitor finds an error.

public void OnMonitorError(string monitorType, string stateName, bool? isInHotState)

parameter	description
monitorType	The name of the type of the monitor.
stateName	The name of the current state.
isInHotState	If true, the monitor is in a hot state; if false, the monitor is in a cold state; else no liveness state is available.

See Also

• interface IRuntimeLog
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote