TestMu Conference is Back! Future of Testing + AI LambdaTest G2 Announcement

How to use SharedDictionaryEvent class of Microsoft.Coyote.Actors.SharedObjects package

Best Coyote code snippet using Microsoft.Coyote.Actors.SharedObjects.SharedDictionaryEvent

MockSharedDictionary.cs

Source:MockSharedDictionary.cs

...29            if (comparer != null)30            {31                this.DictionaryActor = this.Runtime.CreateActor(32                    typeof(SharedDictionaryActor<TKey, TValue>),33                    SharedDictionaryEvent.InitEvent(comparer));34            }35            else36            {37                this.DictionaryActor = this.Runtime.CreateActor(typeof(SharedDictionaryActor<TKey, TValue>));38            }39        }40        /// <summary>41        /// Adds a new key to the dictionary, if it doesnât already exist in the dictionary.42        /// </summary>43        public bool TryAdd(TKey key, TValue value)44        {45            var currentActor = this.Runtime.GetExecutingActor<Actor>();46            this.Runtime.SendEvent(this.DictionaryActor, SharedDictionaryEvent.TryAddEvent(key, value, currentActor.Id));47            var e = currentActor.Receive(typeof(SharedDictionaryResponseEvent<bool>)).Result as SharedDictionaryResponseEvent<bool>;48            return e.Value;49        }50        /// <summary>51        /// Updates the value for an existing key in the dictionary, if that key has a specific value.52        /// </summary>53        public bool TryUpdate(TKey key, TValue newValue, TValue comparisonValue)54        {55            var currentActor = this.Runtime.GetExecutingActor<Actor>();56            this.Runtime.SendEvent(this.DictionaryActor, SharedDictionaryEvent.TryUpdateEvent(key, newValue, comparisonValue, currentActor.Id));57            var e = currentActor.Receive(typeof(SharedDictionaryResponseEvent<bool>)).Result as SharedDictionaryResponseEvent<bool>;58            return e.Value;59        }60        /// <summary>61        /// Attempts to get the value associated with the specified key.62        /// </summary>63        public bool TryGetValue(TKey key, out TValue value)64        {65            var currentActor = this.Runtime.GetExecutingActor<Actor>();66            this.Runtime.SendEvent(this.DictionaryActor, SharedDictionaryEvent.TryGetEvent(key, currentActor.Id));67            var e = currentActor.Receive(typeof(SharedDictionaryResponseEvent<Tuple<bool, TValue>>)).Result68                as SharedDictionaryResponseEvent<Tuple<bool, TValue>>;69            value = e.Value.Item2;70            return e.Value.Item1;71        }72        /// <summary>73        /// Gets or sets the value associated with the specified key.74        /// </summary>75        public TValue this[TKey key]76        {77            get78            {79                var currentActor = this.Runtime.GetExecutingActor<Actor>();80                this.Runtime.SendEvent(this.DictionaryActor, SharedDictionaryEvent.GetEvent(key, currentActor.Id));81                var e = currentActor.Receive(typeof(SharedDictionaryResponseEvent<TValue>)).Result as SharedDictionaryResponseEvent<TValue>;82                return e.Value;83            }84            set85            {86                this.Runtime.SendEvent(this.DictionaryActor, SharedDictionaryEvent.SetEvent(key, value));87            }88        }89        /// <summary>90        /// Removes the specified key from the dictionary.91        /// </summary>92        public bool TryRemove(TKey key, out TValue value)93        {94            var currentActor = this.Runtime.GetExecutingActor<Actor>();95            this.Runtime.SendEvent(this.DictionaryActor, SharedDictionaryEvent.TryRemoveEvent(key, currentActor.Id));96            var e = currentActor.Receive(typeof(SharedDictionaryResponseEvent<Tuple<bool, TValue>>)).Result97                as SharedDictionaryResponseEvent<Tuple<bool, TValue>>;98            value = e.Value.Item2;99            return e.Value.Item1;100        }101        /// <summary>102        /// Gets the number of elements in the dictionary.103        /// </summary>104        public int Count105        {106            get107            {108                var currentActor = this.Runtime.GetExecutingActor<Actor>();109                this.Runtime.SendEvent(this.DictionaryActor, SharedDictionaryEvent.CountEvent(currentActor.Id));110                var e = currentActor.Receive(typeof(SharedDictionaryResponseEvent<int>)).Result as SharedDictionaryResponseEvent<int>;111                return e.Value;112            }113        }114    }115}...

SharedDictionaryActor.cs

Source:SharedDictionaryActor.cs

...7{8    /// <summary>9    /// A shared dictionary modeled using an actor for testing.10    /// </summary>11    [OnEventDoAction(typeof(SharedDictionaryEvent), nameof(ProcessEvent))]12    internal sealed class SharedDictionaryActor<TKey, TValue> : Actor13    {14        /// <summary>15        /// The internal shared dictionary.16        /// </summary>17        private Dictionary<TKey, TValue> Dictionary;18        /// <summary>19        /// Initializes the actor.20        /// </summary>21        protected override Task OnInitializeAsync(Event initialEvent)22        {23            if (initialEvent is SharedDictionaryEvent e)24            {25                if (e.Operation == SharedDictionaryEvent.OperationType.Initialize && e.Comparer != null)26                {27                    this.Dictionary = new Dictionary<TKey, TValue>(e.Comparer as IEqualityComparer<TKey>);28                }29                else30                {31                    throw new ArgumentException("Incorrect arguments provided to SharedDictionary.");32                }33            }34            else35            {36                this.Dictionary = new Dictionary<TKey, TValue>();37            }38            return Task.CompletedTask;39        }40        /// <summary>41        /// Processes the next dequeued event.42        /// </summary>43        private void ProcessEvent(Event e)44        {45            var opEvent = e as SharedDictionaryEvent;46            switch (opEvent.Operation)47            {48                case SharedDictionaryEvent.OperationType.TryAdd:49                    if (this.Dictionary.ContainsKey((TKey)opEvent.Key))50                    {51                        this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<bool>(false));52                    }53                    else54                    {55                        this.Dictionary[(TKey)opEvent.Key] = (TValue)opEvent.Value;56                        this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<bool>(true));57                    }58                    break;59                case SharedDictionaryEvent.OperationType.TryUpdate:60                    if (!this.Dictionary.ContainsKey((TKey)opEvent.Key))61                    {62                        this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<bool>(false));63                    }64                    else65                    {66                        var currentValue = this.Dictionary[(TKey)opEvent.Key];67                        if (currentValue.Equals((TValue)opEvent.ComparisonValue))68                        {69                            this.Dictionary[(TKey)opEvent.Key] = (TValue)opEvent.Value;70                            this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<bool>(true));71                        }72                        else73                        {74                            this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<bool>(false));75                        }76                    }77                    break;78                case SharedDictionaryEvent.OperationType.TryGet:79                    if (!this.Dictionary.ContainsKey((TKey)opEvent.Key))80                    {81                        this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<Tuple<bool, TValue>>(Tuple.Create(false, default(TValue))));82                    }83                    else84                    {85                        this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<Tuple<bool, TValue>>(Tuple.Create(true, this.Dictionary[(TKey)opEvent.Key])));86                    }87                    break;88                case SharedDictionaryEvent.OperationType.Get:89                    this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<TValue>(this.Dictionary[(TKey)opEvent.Key]));90                    break;91                case SharedDictionaryEvent.OperationType.Set:92                    this.Dictionary[(TKey)opEvent.Key] = (TValue)opEvent.Value;93                    break;94                case SharedDictionaryEvent.OperationType.Count:95                    this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<int>(this.Dictionary.Count));96                    break;97                case SharedDictionaryEvent.OperationType.TryRemove:98                    if (this.Dictionary.ContainsKey((TKey)opEvent.Key))99                    {100                        var value = this.Dictionary[(TKey)opEvent.Key];101                        this.Dictionary.Remove((TKey)opEvent.Key);102                        this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<Tuple<bool, TValue>>(Tuple.Create(true, value)));103                    }104                    else105                    {106                        this.SendEvent(opEvent.Sender, new SharedDictionaryResponseEvent<Tuple<bool, TValue>>(Tuple.Create(false, default(TValue))));107                    }108                    break;109            }110        }111    }...

SharedDictionaryEvent.cs

Source:SharedDictionaryEvent.cs

...4{5    /// <summary>6    /// Event used to communicate with a shared counter actor.7    /// </summary>8    internal class SharedDictionaryEvent : Event9    {10        /// <summary>11        /// Supported shared dictionary operations.12        /// </summary>13        internal enum OperationType14        {15            Initialize,16            Get,17            Set,18            TryAdd,19            TryGet,20            TryUpdate,21            TryRemove,22            Count23        }24        /// <summary>25        /// The operation stored in this event.26        /// </summary>27        internal OperationType Operation { get; private set; }28        /// <summary>29        /// The shared dictionary key stored in this event.30        /// </summary>31        internal object Key { get; private set; }32        /// <summary>33        /// The shared dictionary value stored in this event.34        /// </summary>35        internal object Value { get; private set; }36        /// <summary>37        /// The shared dictionary comparison value stored in this event.38        /// </summary>39        internal object ComparisonValue { get; private set; }40        /// <summary>41        /// The sender actor stored in this event.42        /// </summary>43        internal ActorId Sender { get; private set; }44        /// <summary>45        /// The comparer stored in this event.46        /// </summary>47        internal object Comparer { get; private set; }48        /// <summary>49        /// Initializes a new instance of the <see cref="SharedDictionaryEvent"/> class.50        /// </summary>51        private SharedDictionaryEvent(OperationType op, object key, object value,52            object comparisonValue, ActorId sender, object comparer)53        {54            this.Operation = op;55            this.Key = key;56            this.Value = value;57            this.ComparisonValue = comparisonValue;58            this.Sender = sender;59            this.Comparer = comparer;60        }61        /// <summary>62        /// Creates a new event for the <see cref="OperationType.Initialize"/> operation.63        /// </summary>64        internal static SharedDictionaryEvent InitializeEvent(object comparer) =>65            new SharedDictionaryEvent(OperationType.Initialize, null, null, null, null, comparer);66        /// <summary>67        /// Creates a new event for the <see cref="OperationType.TryAdd"/> operation.68        /// </summary>69        internal static SharedDictionaryEvent TryAddEvent(object key, object value, ActorId sender) =>70            new SharedDictionaryEvent(OperationType.TryAdd, key, value, null, sender, null);71        /// <summary>72        /// Creates a new event for the <see cref="OperationType.TryUpdate"/> operation.73        /// </summary>74        internal static SharedDictionaryEvent TryUpdateEvent(object key, object value, object comparisonValue, ActorId sender) =>75            new SharedDictionaryEvent(OperationType.TryUpdate, key, value, comparisonValue, sender, null);76        /// <summary>77        /// Creates a new event for the <see cref="OperationType.Get"/> operation.78        /// </summary>79        internal static SharedDictionaryEvent GetEvent(object key, ActorId sender) =>80            new SharedDictionaryEvent(OperationType.Get, key, null, null, sender, null);81        /// <summary>82        /// Creates a new event for the <see cref="OperationType.TryGet"/> operation.83        /// </summary>84        internal static SharedDictionaryEvent TryGetEvent(object key, ActorId sender) =>85            new SharedDictionaryEvent(OperationType.TryGet, key, null, null, sender, null);86        /// <summary>87        /// Creates a new event for the <see cref="OperationType.Set"/> operation.88        /// </summary>89        internal static SharedDictionaryEvent SetEvent(object key, object value) =>90            new SharedDictionaryEvent(OperationType.Set, key, value, null, null, null);91        /// <summary>92        /// Creates a new event for the <see cref="OperationType.Count"/> operation.93        /// </summary>94        internal static SharedDictionaryEvent CountEvent(ActorId sender) =>95            new SharedDictionaryEvent(OperationType.Count, null, null, null, sender, null);96        /// <summary>97        /// Creates a new event for the <see cref="OperationType.TryRemove"/> operation.98        /// </summary>99        internal static SharedDictionaryEvent TryRemoveEvent(object key, ActorId sender) =>100            new SharedDictionaryEvent(OperationType.TryRemove, key, null, null, sender, null);101    }102}...

SharedDictionaryEvent

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.Actors;4using Microsoft.Coyote.Actors;5using System.Threading.Tasks;6using System;7using System;8using System.Collections.Generic;9using System.Threading.Tasks;10using System.Threading.Tasks;11using System.Threading.Tasks;12using System.Threading.Tasks;13using System.Threading.Tasks;14using System.Threading.Tasks;15using System.Threading.Tasks;16using System.Threading.Tasks;17using System.Threading.Tasks;18using System.Threading.Tasks;19using System.Threading.Tasks;20using System.Threading.Tasks;21using System.Threading.Tasks;22using System.Threading.Tasks;23using System.Threading.Tasks;24using System.Threading.Tasks;25using System.Threading.Tasks;26using System.Threading.Tasks;27using System.Threading.Tasks;

SharedDictionaryEvent

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2using System;3using System.Collections.Generic;4using System.Linq;5using System.Text;6using System.Threading.Tasks;7{8    {9        static void Main(string[] args)10        {11            var sharedDictionary = SharedDictionary.Create<int, string>();12            sharedDictionary.AddOrUpdate(1, "one");13            sharedDictionary.AddOrUpdate(2, "two");14            sharedDictionary.AddOrUpdate(3, "three");15            sharedDictionary.AddOrUpdate(4, "four");16            sharedDictionary.AddOrUpdate(5, "five");17            var result = sharedDictionary.TryGetValue(1, out string value);18            Console.WriteLine(value);19            result = sharedDictionary.TryGetValue(2, out value);20            Console.WriteLine(value);21            result = sharedDictionary.TryGetValue(3, out value);22            Console.WriteLine(value);23            result = sharedDictionary.TryGetValue(4, out value);24            Console.WriteLine(value);25            result = sharedDictionary.TryGetValue(5, out value);26            Console.WriteLine(value);27            Console.ReadKey();28        }29    }30}

SharedDictionaryEvent

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2using Microsoft.Coyote.Actors.SharedObjects;3using Microsoft.Coyote.Actors;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Actors;6using Microsoft.Coyote.Actors;7using Microsoft.Coyote.Actors;8using Microsoft.Coyote.Actors;9using Microsoft.Coyote.Actors;10using System.Threading.Tasks;11using System.Threading.Tasks;12using System.Threading.Tasks;13using System.Threading.Tasks;

SharedDictionaryEvent

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2using Microsoft.Coyote.Actors.SharedObjects;3using Microsoft.Coyote.Actors.SharedObjects;4using Microsoft.Coyote.Actors.SharedObjects;5using Microsoft.Coyote.Actors.SharedObjects;6using Microsoft.Coyote.Actors.SharedObjects;7using Microsoft.Coyote.Actors.SharedObjects;8using Microsoft.Coyote.Actors.SharedObjects;9using Microsoft.Coyote.Actors.SharedObjects;10{11    {12        public string Key { get; }13        public string Value { get; }14        public SharedDictionaryEvent(string key, string value)15        {16            this.Key = key;17            this.Value = value;18        }19    }20}21{22    {23        private Dictionary<string, string> dictionary;24        [OnEventDoAction(typeof(SharedDictionaryEvent), nameof(Add))]25        private class Init : State { }26        private void Add()27        {28            this.dictionary.Add((this.ReceivedEvent as SharedDictionaryEvent).Key,29                (this.ReceivedEvent as SharedDictionaryEvent).Value);30        }31    }32}33using Microsoft.Coyote.Actors.SharedObjects;34using Microsoft.Coyote.Actors.SharedObjects;35using Microsoft.Coyote.Actors.SharedObjects;

SharedDictionaryEvent

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2using System;3using System.Collections.Generic;4using System.Linq;5using System.Text;6using System.Threading.Tasks;7using Microsoft.Coyote;8using Microsoft.Coyote.Actors;9using Microsoft.Coyote.Actors.Timers;10{11    {12        public static void Main(string[] args)13        {14            Run();15        }16        public static void Run()17        {18            Runtime runtime = RuntimeFactory.Create();19            runtime.RegisterMonitor(typeof(Monitor));20            runtime.CreateActor(typeof(Actor1));21            runtime.CreateActor(typeof(Actor2));22            runtime.CreateActor(typeof(Actor3));23            runtime.CreateActor(typeof(Actor4));24            runtime.CreateActor(typeof(Actor5));25            runtime.Run();26        }27    }28    {29        [OnEventDoAction(typeof(Actor1), nameof(Actor1Handler))]30        [OnEventDoAction(typeof(Actor2), nameof(Actor2Handler))]31        [OnEventDoAction(typeof(Actor3), nameof(Actor3Handler))]32        [OnEventDoAction(typeof(Actor4), nameof(Actor4Handler))]33        [OnEventDoAction(typeof(Actor5), nameof(Actor5Handler))]34        [OnEventDoAction(typeof(Actor6), nameof(Actor6Handler))]35        [OnEventDoAction(typeof(Actor7), nameof(Actor7Handler))]36        [OnEventDoAction(typeof(Actor8), nameof(Actor8Handler))]37        [OnEventDoAction(typeof(Actor9), nameof(Actor9Handler))]38        [OnEventDoAction(typeof(Actor10), nameof(Actor10Handler))]39        [OnEventDoAction(typeof(Actor11), nameof(Actor11Handler))]40        [OnEventDoAction(typeof(Actor12), nameof(Actor12Handler))]41        [OnEventDoAction(typeof(Actor13), nameof(Actor13Handler))]42        [OnEventDoAction(typeof(Actor14), nameof(Actor14Handler))]43        [OnEventDoAction(typeof(Actor15), nameof(Actor15Handler))]44        [OnEventDoAction(typeof(Actor16), nameof(Actor16Handler))]45        [OnEventDoAction(typeof(Actor17), nameof(Actor17Handler))]46        [OnEventDoAction(typeof(Actor18), nameof(Actor18Handler))]47        [OnEventDoAction(typeof(Actor19), nameof(Actor19Handler))]

SharedDictionaryEvent

Using AI Code Generation

1using System;2using System.Collections.Generic;3using System.Linq;4using System.Text;5using System.Threading.Tasks;6using Microsoft.Coyote.Actors;7using Microsoft.Coyote.Actors.SharedObjects;8{9    {10        public static void Main(string[] args)11        {12            var config = Configuration.Create().WithNumberOfIterations(1);13            var runtime = RuntimeFactory.Create(config);14            runtime.CreateActor(typeof(SharedDictionaryEventActor));15            runtime.Wait();16            Console.ReadLine();17        }18    }19    {20        [OnEventDoAction(typeof(UnitEvent), nameof(Setup))]21        [OnEventGotoState(typeof(SharedDictionaryEvent), typeof(Working))]22        class Init : State { }23        void Setup()24        {25            var sharedDictionary = SharedDictionary.Create<int, string>();26            this.SendEvent(this.Id, new SharedDictionaryEvent(sharedDictionary));27        }28        [OnEntry(nameof(Working_OnEntry))]29        [OnEventDoAction(typeof(UnitEvent), nameof(Working_OnEvent))]30        class Working : State { }31        void Working_OnEntry()32        {33            this.SendEvent(this.Id, new UnitEvent());34        }35        void Working_OnEvent()36        {37            var sharedDictionary = (this.ReceivedEvent as SharedDictionaryEvent).Dictionary;38            sharedDictionary.Add(1, "one");39            sharedDictionary.Add(2, "two");40            sharedDictionary.Add(3, "three");41            sharedDictionary.Add(4, "four");42            sharedDictionary.Add(5, "five");43            sharedDictionary.Add(6, "six");44            sharedDictionary.Add(7, "seven");45            sharedDictionary.Add(8, "eight");46            sharedDictionary.Add(9, "nine");47            sharedDictionary.Add(10, "ten");48            sharedDictionary.Add(11, "eleven");49            sharedDictionary.Add(12, "twelve");50            sharedDictionary.Add(13, "thirteen");51            sharedDictionary.Add(14, "fourteen");52            sharedDictionary.Add(15, "fifteen");53            sharedDictionary.Add(16, "sixteen");54            sharedDictionary.Add(17, "seventeen");55            sharedDictionary.Add(18, "eighteen");56            sharedDictionary.Add(19, "nineteen");57            sharedDictionary.Add(20, "twenty");58            foreach (var item in sharedDictionary

SharedDictionaryEvent

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2{3    {4        static void Main(string[] args)5        {6            SharedDictionary<int, string> sharedDictionary = new SharedDictionary<int, string>();7            sharedDictionary.Add(1, "Coyote");8            sharedDictionary.Add(2, "Actor");9            sharedDictionary.Add(3, "Model");10            sharedDictionary.Add(4, "Checker");11            sharedDictionary.Add(5, "Testing");12            sharedDictionary.Add(6, "Tool");13            sharedDictionary.Add(7, "For");14            sharedDictionary.Add(8, "C#");15            foreach (KeyValuePair<int, string> pair in sharedDictionary)16            {17                Console.WriteLine("Key: {0}, Value: {1}", pair.Key, pair.Value);18            }19            Console.WriteLine("Press any key to exit...");20            Console.ReadKey();21        }22    }23}24using Microsoft.Coyote.Actors.SharedObjects;25{26    {27        static void Main(string[] args)28        {29            SharedDictionary<int, string> sharedDictionary = new SharedDictionary<int, string>();30            sharedDictionary.Add(1, "Coyote");31            sharedDictionary.Add(2, "Actor");32            sharedDictionary.Add(3, "Model");33            sharedDictionary.Add(4, "Checker");34            sharedDictionary.Add(5, "Testing");35            sharedDictionary.Add(6, "Tool");36            sharedDictionary.Add(7, "For");37            sharedDictionary.Add(8, "C#");38            foreach (KeyValuePair<int, string> pair in sharedDictionary)39            {40                Console.WriteLine("Key: {0}, Value: {1}", pair.Key, pair.Value);41            }42            Console.WriteLine("Press any key to exit...");43            Console.ReadKey();44        }45    }46}47using Microsoft.Coyote.Actors.SharedObjects;48{49    {50        static void Main(string[] args)51        {52            SharedDictionary<int, string> sharedDictionary = new SharedDictionary<int, string>();53            sharedDictionary.Add(1, "Coyote");54            sharedDictionary.Add(2, "Actor

SharedDictionaryEvent

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2using System;3using System.Threading.Tasks;4{5    {6        public static async Task Main(string[] args)7        {8            var dict = SharedDictionary.Create<int, string>();9            await dict.AddAsync(1, "Coyote");10            await dict.AddAsync(2, "is");11            await dict.AddAsync(3, "a");12            await dict.AddAsync(4, "test");13            await dict.AddAsync(5, "framework");14            Console.WriteLine("Dictionary contents:");15            foreach (var key in await dict.GetKeysAsync())16            {17                Console.WriteLine($"{key} : {await dict.GetAsync(key)}");18            }19        }20    }21}22using Microsoft.Coyote.Actors.SharedObjects;23using System;24using System.Threading.Tasks;25{26    {27        public static async Task Main(string[] args)28        {29            var dict = SharedDictionary.Create<int, string>();30            await dict.AddAsync(1, "Coyote");31            await dict.AddAsync(2, "is");32            await dict.AddAsync(3, "a");33            await dict.AddAsync(4, "test");34            await dict.AddAsync(5, "framework");35            Console.WriteLine("Dictionary contents:");36            foreach (var key in await dict.GetKeysAsync())37            {38                Console.WriteLine($"{key} : {await dict.GetAsync(key)}");39            }40        }41    }42}

SharedDictionaryEvent

Using AI Code Generation

1using Microsoft.Coyote.Actors.SharedObjects;2using System;3{4    {5        public string Key { get; }6        public object Value { get; }7        public SharedDictionaryEvent(string key, object value)8        {9            this.Key = key;10            this.Value = value;11        }12    }13}14using Microsoft.Coyote.Actors.SharedObjects;15using System;16{17    {18        private SharedDictionary<string, int> dict;19        protected override void OnInitialize(Event initialEvent)20        {21            this.dict = SharedDictionary.Create<string, int>();22        }23        [OnEventDoAction(typeof(SharedDictionaryEvent), nameof(HandleEvent))]24        {25        }26        private void HandleEvent()27        {28            this.dict[this.ReceivedEvent.Key] = (int)this.ReceivedEvent.Value;29            Console.WriteLine("Key: " + this.ReceivedEvent.Key + " Value: " + this.dict[this.ReceivedEvent.Key]);30        }31    }32}33using Microsoft.Coyote.Actors;34using System;35{36    {37        static void Main(string[] args)38        {39            var runtime = RuntimeFactory.Create();40            runtime.CreateActor(typeof(SharedDictionary.SharedDictionary));41            runtime.SendEvent(typeof(SharedDictionary.SharedDictionary), new SharedDictionaryEvent.SharedDictionaryEvent("key1", 1));42            runtime.SendEvent(typeof(SharedDictionary.SharedDictionary), new SharedDictionaryEvent.SharedDictionaryEvent("key2", 2));43            runtime.SendEvent(typeof(SharedDictionary.SharedDictionary), new SharedDictionaryEvent.SharedDictionaryEvent("key3", 3));44            runtime.SendEvent(typeof(SharedDictionary.SharedDictionary), new SharedDictionaryEvent.SharedDictionaryEvent("key4", 4));45            runtime.SendEvent(typeof(SharedDictionary.SharedDictionary), new SharedDictionaryEvent.SharedDictionaryEvent("key5", 5));46            Console.ReadLine();47        }48    }49}

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.