Свойство | Тип | Описание | |
---|---|---|---|
Caller | ActorId |
Метод | Описание | |
---|---|---|
RequestGreetingEvent ( ActorId caller ) : Microsoft.Coyote.Actors |
public RequestGreetingEvent ( ActorId caller ) : Microsoft.Coyote.Actors | ||
caller | ActorId | |
Результат | Microsoft.Coyote.Actors |