Monitor class

Abstract class representing a specification monitor.

public abstract class Monitor

Public Members

name description
override ToString() Returns a string that represents the current monitor.
abstract class Event Abstract class representing an event that can be send to a Monitor.
abstract class State Abstract class representing a state.
abstract class StateGroup Abstract class used for representing a group of related states.
class WildCardEvent The wild card event.

Protected Members

name description
Monitor() Initializes a new instance of the Monitor class.
CurrentState { get; } Gets the current state.
virtual HashedState { get; } User-defined hashed state of the monitor. Override to improve the accuracy of stateful techniques during testing.
Logger { get; } The logger installed to the runtime.
Assert(…) Checks if the assertion holds, and if not, throws an AssertionFailureException exception. (5 methods)
RaiseEvent(…) Raises the specified Event at the end of the current action.
RaiseGotoStateEvent(…) Raise a special event that performs a goto state operation at the end of the current action.
RaiseGotoStateEvent<TState>() Raise a special event that performs a goto state operation at the end of the current action.

Remarks

See Specifications Overview for more information.

See Also