IRuntimeLog interface

Interface that allows an external module to track what is happening in the ICoyoteRuntime.

public interface IRuntimeLog

Members

name description
OnAssertionFailure(…) Invoked when the specified assertion failure has occurred.
OnCompleted() Invoked when a log is complete (and is about to be closed).
OnCreateMonitor(…) Invoked when the specified monitor has been created.
OnMonitorError(…) Invoked when the specified monitor finds an error.
OnMonitorExecuteAction(…) Invoked when the specified monitor executes an action.
OnMonitorProcessEvent(…) Invoked when the specified monitor is about to process an event.
OnMonitorRaiseEvent(…) Invoked when the specified monitor raised an event.
OnMonitorStateTransition(…) Invoked when the specified monitor enters or exits a state.
OnRandom(…) Invoked when the specified controlled nondeterministic boolean result has been obtained. (2 methods)

Remarks

See Logging for more information.

See Also