Property | Type | Description | |
---|---|---|---|
Caller | ActorId |
Method | Description | |
---|---|---|
RequestGreetingEvent ( ActorId caller ) : Microsoft.Coyote.Actors |
public RequestGreetingEvent ( ActorId caller ) : Microsoft.Coyote.Actors | ||
caller | ActorId | |
return | Microsoft.Coyote.Actors |