Actor.CreateActor method (1 of 3)
Creates a new actor of the specified type and with the specified optional Event. This Event can only be used to access its payload, and cannot be handled.
protected ActorId CreateActor(Type type, Event initialEvent = null, EventGroup eventGroup = null)
| parameter | description |
|---|---|
| type | Type of the actor. |
| initialEvent | Optional initialization event. |
| eventGroup | An optional event group associated with the new Actor. |
Return Value
The unique actor id.
See Also
- class ActorId
- class Event
- class EventGroup
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Actor.CreateActor method (2 of 3)
Creates a new actor of the specified type and name, and with the specified optional Event. This Event can only be used to access its payload, and cannot be handled.
protected ActorId CreateActor(Type type, string name, Event initialEvent = null,
EventGroup eventGroup = null)
| parameter | description |
|---|---|
| type | Type of the actor. |
| name | Optional name used for logging. |
| initialEvent | Optional initialization event. |
| eventGroup | An optional event group associated with the new Actor. |
Return Value
The unique actor id.
See Also
- class ActorId
- class Event
- class EventGroup
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors
Actor.CreateActor method (3 of 3)
Creates a new actor of the specified Type and name, using the specified unbound actor id, and passes the specified optional Event. This event can only be used to access its payload, and cannot be handled.
protected void CreateActor(ActorId id, Type type, string name, Event initialEvent = null,
EventGroup eventGroup = null)
| parameter | description |
|---|---|
| id | Unbound actor id. |
| type | Type of the actor. |
| name | Optional name used for logging. |
| initialEvent | Optional initialization event. |
| eventGroup | An optional event group associated with the new Actor. |
See Also
- class ActorId
- class Event
- class EventGroup
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors