C# (CSharp) Microsoft.Coyote.Samples.HelloWorldActors 네임스페이스

클래스들

이름 설명
Greeter
GreetingEvent This is a Coyote Event returned in response to a RequestGreetingEvent. An event can contain any data you want.
RequestGreetingEvent This is a Coyote Event used to request a greeting. Events in Coyote are strongly typed and have their own lifetime outside of the scope of any particular call stack, because they can be queued in an Actor inbox.