RuntimeLogTextFormatter class

This class implements IRuntimeLog and generates output in a a human readable text format.

public class RuntimeLogTextFormatter : IRuntimeLog

Public Members

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

Protected Members

name description
Logger { get; } Used for logging runtime messages.

Remarks

See Logging for more information.

See Also