C# (CSharp) Microsoft.Coyote.Actors.SharedObjects SharedRegisterEvent.GetEvent Examples

Example #1

            /// <summary>
            /// Gets current value of the register.
            /// </summary>
            public override T GetValue()
            {
                var op = this.Context.Runtime.GetExecutingOperation <ActorOperation>();

                this.Context.SendEvent(this.RegisterActor, SharedRegisterEvent.GetEvent(op.Actor.Id));
                var e = op.Actor.ReceiveEventAsync(typeof(SharedRegisterResponseEvent <T>)).Result as SharedRegisterResponseEvent <T>;

                return(e.Value);
            }