Specification.Monitor<T> method

Invokes the specified monitor with the given event.

public static void Monitor<T>(Event e)
    where T : Monitor

parameter	description
T	Type of the monitor.
e	Event to send to the monitor.

See Also

• class Event
• class Monitor
• class Specification
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote