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 to the monitor. |
See Also
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
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 | The Event to send to the monitor. |
See Also
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors