Actor.Monitor method (1 of 2)
Invokes the specified monitor with the specified event.
protected void Monitor(Type type, Event e)
parameter | description |
---|---|
type | Type of the monitor. |
e | The event to send. |
See Also
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote
Actor.Monitor<T> method (2 of 2)
Invokes the specified monitor with the specified Event
.
protected void Monitor<T>(Event e)
parameter | description |
---|---|
T | Type of the monitor. |
e | Event to send to the monitor. |
See Also
- class Event
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote