Unlock 30% off on Manual Testing Annual Plans this Holiday Season.

Copied to Clipboard!

How to use OnInitializeAsync method of Microsoft.Coyote.Actors.Tests.SetupEvent class

Best Coyote code snippet using Microsoft.Coyote.Actors.Tests.SetupEvent.OnInitializeAsync

CustomActorRuntimeLogTests.cs

Source:CustomActorRuntimeLogTests.cs

...56        }57        [OnEventDoAction(typeof(E), nameof(Act))]58        internal class M : Actor59        {60            protected override async SystemTasks.Task OnInitializeAsync(Event e)61            {62                await base.OnInitializeAsync(e);63                var n = this.CreateActor(typeof(N));64                this.SendEvent(n, new E(this.Id));65            }66            private void Act()67            {68                this.Monitor<TestMonitor>(new CompletedEvent());69            }70        }71        internal class S : Monitor72        {73            [Start]74            [Hot]75            [OnEventDoAction(typeof(E), nameof(OnE))]76            private class Init : State77            {78            }79            [Cold]80            private class Done : State81            {82            }83            private void OnE() => this.RaiseGotoStateEvent<Done>();84        }85        internal class N : StateMachine86        {87            [Start]88            [OnEntry(nameof(OnInitEntry))]89            [OnEventGotoState(typeof(E), typeof(Act))]90            private class Init : State91            {92            }93#pragma warning disable CA1822 // Mark members as static94            private void OnInitEntry()95#pragma warning restore CA1822 // Mark members as static96            {97            }98            [OnEntry(nameof(ActOnEntry))]99            private class Act : State100            {101            }102            private void ActOnEntry(Event e)103            {104                this.Monitor<S>(e);105                ActorId m = (e as E).Id;106                this.SendEvent(m, new E(this.Id));107            }108        }109        [Fact(Timeout = 5000)]110        public void TestCustomLogger()111        {112            this.Test(async runtime =>113            {114                using (CustomLogger logger = new CustomLogger())115                {116                    runtime.Logger = logger;117                    var tcs = TaskCompletionSource.Create<bool>();118                    runtime.RegisterMonitor<TestMonitor>();119                    runtime.Monitor<TestMonitor>(new SetupEvent(tcs));120                    runtime.CreateActor(typeof(M));121                    await this.WaitAsync(tcs.Task);122                    await Task.Delay(200);123                    Assert.True(tcs.Task.IsCompleted, "The task await returned but the task is not completed???");124                    string expected = @"<CreateLog> TestMonitor was created.125<MonitorLog> TestMonitor enters state 'Init'.126<MonitorLog> TestMonitor is processing event 'SetupEvent' in state 'Init'.127<MonitorLog> TestMonitor executed action 'OnSetup' in state 'Init'.128<CreateLog> M() was created by task ''.129<CreateLog> N() was created by M().130<SendLog> M() in state '' sent event 'E' to N().131<EnqueueLog> N() enqueued event 'E'.132<StateLog> N() enters state 'Init'.133<ActionLog> N() invoked action 'OnInitEntry' in state 'Init'.134<DequeueLog> N() dequeued event 'E' in state 'Init'.135<GotoLog> N() is transitioning from state 'Init' to state 'N.Act'.136<StateLog> N() exits state 'Init'.137<StateLog> N() enters state 'Act'.138<ActionLog> N() invoked action 'ActOnEntry' in state 'Act'.139<SendLog> N() in state 'Act' sent event 'E' to M().140<EnqueueLog> M() enqueued event 'E'.141<DequeueLog> M() dequeued event 'E'.142<ActionLog> M() invoked action 'Act'.143<MonitorLog> TestMonitor is processing event 'CompletedEvent' in state 'Init'.144<MonitorLog> TestMonitor executed action 'OnCompleted' in state 'Init'.";145                    string actual = logger.ToString().RemoveNonDeterministicValues();146                    expected = expected.NormalizeNewLines();147                    actual = actual.SortLines(); // threading makes this non-deterministic otherwise.148                    expected = expected.SortLines();149                    Assert.Equal(expected, actual);150                }151            }, GetConfiguration());152        }153        [Fact(Timeout = 5000)]154        public void TestGraphLogger()155        {156            this.Test(async runtime =>157            {158                using (CustomLogger logger = new CustomLogger())159                {160                    runtime.Logger = logger;161                    var tcs = TaskCompletionSource.Create<bool>();162                    runtime.RegisterMonitor<TestMonitor>();163                    runtime.Monitor<TestMonitor>(new SetupEvent(tcs));164                    var graphBuilder = new ActorRuntimeLogGraphBuilder(false);165                    runtime.RegisterLog(graphBuilder);166                    runtime.CreateActor(typeof(M));167                    await this.WaitAsync(tcs.Task);168                    await Task.Delay(200);169                    Assert.True(tcs.Task.IsCompleted, "The task await returned but the task is not completed???");170                    string expected = @"<DirectedGraph xmlns='http://schemas.microsoft.com/vs/2009/dgml'>171  <Nodes>172    <Node Id='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+M(0)' Category='Actor' Group='Expanded'/>173    <Node Id='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+M(0).M(0)' Label='M(0)'/>174    <Node Id='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1)' Category='StateMachine' Group='Expanded'/>175    <Node Id='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1).Act' Label='Act'/>176    <Node Id='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1).Init' Label='Init'/>177    <Node Id='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+TestMonitor' Group='Expanded'/>178    <Node Id='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+TestMonitor.Init' Label='Init'/>179  </Nodes>180  <Links>181    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+M(0)' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+M(0).M(0)' Category='Contains'/>182    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+M(0)' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1)' Label='CreateActor' Index='0' EventId='CreateActor'/>183    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+M(0).M(0)' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1).Init' Label='E' Index='0' EventId='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+E' HandledBy='Init'/>184    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+M(0).M(0)' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+TestMonitor.Init' Label='CompletedEvent' Index='0' EventId='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+CompletedEvent'/>185    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1)' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1).Act' Category='Contains'/>186    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1)' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1).Init' Category='Contains'/>187    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1).Act' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+M(0).M(0)' Label='E' Index='0' EventId='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+E'/>188    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1).Init' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+N(1).Act' Label='E' Index='0' EventId='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+E' HandledBy='Init'/>189    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+TestMonitor' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+TestMonitor.Init' Category='Contains'/>190    <Link Source='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+TestMonitor.Init' Target='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+TestMonitor.Init' Label='CompletedEvent' Index='0' EventId='Microsoft.Coyote.Actors.Tests.CustomActorRuntimeLogTests+CompletedEvent'/>191  </Links>192</DirectedGraph>193";194                    string dgml = graphBuilder.Graph.ToString();195                    string actual = dgml.RemoveNonDeterministicValues();196                    expected = expected.RemoveNonDeterministicValues();197                    Assert.Equal(expected, actual);198                }199            }, GetConfiguration());200        }201        [Fact(Timeout = 5000)]202        public void TestCustomLoggerNoVerbosity()203        {204            Configuration config = Configuration.Create();205            this.Test(async runtime =>206            {207                runtime.Logger = new NullLogger();208                var tcs = TaskCompletionSource.Create<bool>();209                runtime.RegisterMonitor<TestMonitor>();210                runtime.Monitor<TestMonitor>(new SetupEvent(tcs));211                runtime.CreateActor(typeof(M));212                await this.WaitAsync(tcs.Task);213                Assert.Equal("Microsoft.Coyote.IO.NullLogger", runtime.Logger.ToString());214            }, config);215        }216        [Fact(Timeout = 5000)]217        public void TestNullCustomLogger()218        {219            Configuration config = Configuration.Create();220            this.Test(async runtime =>221            {222                var tcs = TaskCompletionSource.Create<bool>();223                runtime.RegisterMonitor<TestMonitor>();224                runtime.Monitor<TestMonitor>(new SetupEvent(tcs));225                runtime.Logger = null;226                runtime.CreateActor(typeof(M));227                await this.WaitAsync(tcs.Task);228                Assert.Equal("Microsoft.Coyote.IO.NullLogger", runtime.Logger.ToString());229            }, config);230        }231        [Fact(Timeout = 5000)]232        public void TestCustomActorRuntimeLogFormatter()233        {234            this.Test(async runtime =>235            {236                var tcs = TaskCompletionSource.Create<bool>();237                runtime.RegisterMonitor<TestMonitor>();238                runtime.Monitor<TestMonitor>(new SetupEvent(tcs));239                runtime.RegisterMonitor<S>();240                runtime.Logger = null;241                var logger = new CustomActorRuntimeLog();242                runtime.RegisterLog(logger);243                runtime.CreateActor(typeof(M));244                await this.WaitAsync(tcs.Task, 5000);245                await Task.Delay(200);246                string expected = @"CreateActor247CreateStateMachine248StateTransition249StateTransition250StateTransition";251                string actual = logger.ToString().RemoveNonDeterministicValues();252                expected = expected.NormalizeNewLines();253                Assert.Equal(expected, actual);254            }, GetConfiguration());255        }256        internal class PingEvent : Event257        {258            public readonly ActorId Caller;259            public PingEvent(ActorId caller)260            {261                this.Caller = caller;262            }263        }264        internal class PongEvent : Event265        {266        }267        internal class ClientSetupEvent : Event268        {269            public readonly ActorId ServerId;270            public ClientSetupEvent(ActorId server)271            {272                this.ServerId = server;273            }274        }275        [OnEventDoAction(typeof(PongEvent), nameof(HandlePong))]276        internal class Client : Actor277        {278            public ActorId ServerId;279            protected override SystemTasks.Task OnInitializeAsync(Event initialEvent)280            {281                this.Logger.WriteLine("{0} initializing", this.Id);282                this.ServerId = ((ClientSetupEvent)initialEvent).ServerId;283                this.Logger.WriteLine("{0} sending ping event to server", this.Id);284                this.SendEvent(this.ServerId, new PingEvent(this.Id));285                return base.OnInitializeAsync(initialEvent);286            }287            private void HandlePong()288            {289                this.Logger.WriteLine("{0} received pong event", this.Id);290            }291        }292        internal class Server : StateMachine293        {294            private int Count;295            [Start]296            [OnEventGotoState(typeof(PingEvent), typeof(Pong))]297            private class Init : State298            {299            }...

EventGroupingTests.cs

Source:EventGroupingTests.cs

...29            }30        }31        private class M1 : Actor32        {33            protected override SystemTasks.Task OnInitializeAsync(Event e)34            {35                var tcs = (e as SetupEvent).Tcs;36                tcs.SetResult(this.CurrentEventGroup?.Name);37                return base.OnInitializeAsync(e);38            }39        }40        [Fact(Timeout = 5000)]41        public void TestNullEventGroup()42        {43            this.Test(async r =>44            {45                var e = new SetupEvent();46                r.CreateActor(typeof(M1), e);47                var result = await this.GetResultAsync(e.Tcs);48                Assert.True(result is null);49            });50        }51        [OnEventDoAction(typeof(E), nameof(CheckEvent))]52        private class M3 : Actor53        {54            private SetupEvent Setup;55            protected override SystemTasks.Task OnInitializeAsync(Event e)56            {57                this.Setup = e as SetupEvent;58                this.SendEvent(this.Id, new E(), new EventGroup(name: this.Setup.Name));59                return base.OnInitializeAsync(e);60            }61            private void CheckEvent()62            {63                this.Setup.Tcs.SetResult(this.CurrentEventGroup?.Name);64            }65        }66        [Fact(Timeout = 5000)]67        public void TestEventGroupSetByHand()68        {69            this.Test(async r =>70            {71                var e = new SetupEvent() { Name = EventGroup1 };72                r.CreateActor(typeof(M3), e);73                var result = await this.GetResultAsync(e.Tcs);74                Assert.Equal(EventGroup1, result);75            });76        }77        [Fact(Timeout = 5000)]78        public void TestEventGroupChangedBySend()79        {80            this.Test(async r =>81            {82                var e = new SetupEvent() { Name = EventGroup1 };83                r.CreateActor(typeof(M3), e, new EventGroup(name: EventGroup2));84                var result = await this.GetResultAsync(e.Tcs);85                Assert.Equal(EventGroup1, result);86            });87        }88        private class M4A : Actor89        {90            protected override SystemTasks.Task OnInitializeAsync(Event e)91            {92                this.CurrentEventGroup = null; // clear the EventGroup93                this.CreateActor(typeof(M4B), e);94                return base.OnInitializeAsync(e);95            }96        }97        private class M4B : Actor98        {99            protected override SystemTasks.Task OnInitializeAsync(Event e)100            {101                var tcs = (e as SetupEvent).Tcs;102                tcs.SetResult(this.CurrentEventGroup?.Name);103                return base.OnInitializeAsync(e);104            }105        }106        [Fact(Timeout = 5000)]107        public void TestEventGroupClearedByCreate()108        {109            this.Test(async r =>110            {111                var e = new SetupEvent();112                r.CreateActor(typeof(M4A), e, new EventGroup(name: EventGroup1));113                var result = await this.GetResultAsync(e.Tcs);114                Assert.True(result is null);115            });116        }117        private class M5A : Actor118        {119            protected override SystemTasks.Task OnInitializeAsync(Event e)120            {121                var target = this.CreateActor(typeof(M5B), e);122                this.SendEvent(target, new E(), EventGroup.Null);123                return base.OnInitializeAsync(e);124            }125        }126        [OnEventDoAction(typeof(E), nameof(CheckEvent))]127        private class M5B : Actor128        {129            private SetupEvent Setup;130            protected override SystemTasks.Task OnInitializeAsync(Event e)131            {132                this.Setup = e as SetupEvent;133                return base.OnInitializeAsync(e);134            }135            private void CheckEvent()136            {137                this.Setup.Tcs.SetResult(this.CurrentEventGroup?.Name);138            }139        }140        [Fact(Timeout = 5000)]141        public void TestEventGroupClearedBySend()142        {143            this.Test(async r =>144            {145                var e = new SetupEvent();146                r.CreateActor(typeof(M5A), e, new EventGroup(name: EventGroup1));147                var result = await this.GetResultAsync(e.Tcs);148                Assert.True(result is null);149            });150        }151        [OnEventDoAction(typeof(E), nameof(HandleEvent))]152        private class M6A : Actor153        {154            private SetupEvent Setup;155            private ActorId Child;156            protected override SystemTasks.Task OnInitializeAsync(Event e)157            {158                this.Setup = e as SetupEvent;159                this.Assert(this.CurrentEventGroup?.Name == EventGroup1);160                this.Child = this.CreateActor(typeof(M6B), e);161                return base.OnInitializeAsync(e);162            }163            private void HandleEvent()164            {165                this.Assert(this.CurrentEventGroup is null, "M6A event group is not null");166                // propagate the null event group.167                this.SendEvent(this.Child, new E(this.Id));168            }169        }170        [OnEventDoAction(typeof(E), nameof(HandleEvent))]171        private class M6B : Actor172        {173            private SetupEvent Setup;174            protected override SystemTasks.Task OnInitializeAsync(Event e)175            {176                this.Setup = e as SetupEvent;177                this.Assert(this.CurrentEventGroup?.Name == EventGroup1);178                return base.OnInitializeAsync(e);179            }180            private void HandleEvent()181            {182                this.Assert(this.CurrentEventGroup is null, "M6B event group is not null");183                this.Setup.Tcs.SetResult("ok");184            }185        }186        [Fact(Timeout = 5000)]187        public void TestNullEventGroupPropagation()188        {189            this.Test(async r =>190            {191                var e = new SetupEvent();192                var a = r.CreateActor(typeof(M6A), e, new EventGroup(name: EventGroup1));193                r.SendEvent(a, new E(), EventGroup.Null); // clear the event group!194                var result = await this.GetResultAsync(e.Tcs);195                Assert.True(result is "ok", string.Format("result is {0}", result));196            });197        }198        [OnEventDoAction(typeof(E), nameof(CheckEvent))]199        private class M7A : Actor200        {201            private SetupEvent Setup;202            protected override SystemTasks.Task OnInitializeAsync(Event e)203            {204                this.Setup = e as SetupEvent;205                var target = this.CreateActor(typeof(M7B), e);206                this.SendEvent(target, new E(this.Id));207                return base.OnInitializeAsync(e);208            }209            private void CheckEvent()210            {211                this.Setup.Tcs.SetResult(this.CurrentEventGroup?.Name);212            }213        }214        [OnEventDoAction(typeof(E), nameof(CheckEvent))]215        private class M7B : Actor216        {217            private void CheckEvent(Event e)218            {219                // change the EventGroup on the send back to the caller.220                this.SendEvent((e as E).Id, new E(), new EventGroup(name: EventGroup2));221            }222        }223        [Fact(Timeout = 5000)]224        public void TestEventGroupTwoActorsSendBack()225        {226            this.Test(async r =>227            {228                var e = new SetupEvent();229                r.CreateActor(typeof(M7A), e, new EventGroup(name: EventGroup1));230                var result = await this.GetResultAsync(e.Tcs);231                Assert.Equal(EventGroup2, result);232            });233        }234        [OnEventDoAction(typeof(E), nameof(CheckEvent))]235        private class M8A : Actor236        {237            private SetupEvent Setup;238            protected override SystemTasks.Task OnInitializeAsync(Event e)239            {240                this.Setup = e as SetupEvent;241                var target = this.CreateActor(typeof(M8B));242                this.SendEvent(target, new E(this.Id));243                return base.OnInitializeAsync(e);244            }245            private void CheckEvent()246            {247                this.Setup.Tcs.SetResult(this.CurrentEventGroup?.Name);248            }249        }250        [OnEventDoAction(typeof(E), nameof(CheckEvent))]251        private class M8B : Actor252        {253            private void CheckEvent(Event e)254            {255                this.SendEvent((e as E).Id, new E(), EventGroup.Null);256            }257        }258        [Fact(Timeout = 5000)]259        public void TestEventGroupTwoActorsSendBackCleared()260        {261            this.Test(async r =>262            {263                var e = new SetupEvent();264                r.CreateActor(typeof(M8A), e, new EventGroup(name: EventGroup1));265                var result = await this.GetResultAsync(e.Tcs);266                Assert.True(result is null);267            });268        }269        private class M9A : Actor270        {271            protected override SystemTasks.Task OnInitializeAsync(Event e)272            {273                var op = this.CurrentEventGroup as EventGroupCounter;274                this.Assert(op != null, "M9A has unexpected null CurrentEventGroup");275                op.SetResult(true);276                var target = this.CreateActor(typeof(M9B));277                this.SendEvent(target, new E());278                return base.OnInitializeAsync(e);279            }280        }281        [OnEventDoAction(typeof(E), nameof(CheckEvent))]282        private class M9B : Actor283        {284            private void CheckEvent()285            {286                var op = this.CurrentEventGroup as EventGroupCounter;287                this.Assert(op != null, "M9B has unexpected null CurrentEventGroup");288                op.SetResult(true);289                var c = this.CreateActor(typeof(M9C));290                this.SendEvent(c, new E());291            }292        }293        [OnEventDoAction(typeof(E), nameof(CheckEvent))]294        private class M9C : Actor295        {296            private void CheckEvent()297            {298                // now we can complete the outer EventGroup299                var op = this.CurrentEventGroup as EventGroupCounter;300                this.Assert(op != null, "M9C has unexpected null CurrentEventGroup");301                op.SetResult(true);302            }303        }304        [Fact(Timeout = 5000)]305        public void TestEventGroupThreeActorGroup()306        {307            this.Test(async r =>308            {309                // setup an EventGroup that will be completed 3 times by 3 different actors310                var op = new EventGroupCounter(3);311                r.CreateActor(typeof(M9A), null, op);312                var result = await op;313                Assert.True(result);314            });315        }316        private class F : Event317        {318        }319        private class M10 : StateMachine320        {321            protected override SystemTasks.Task OnInitializeAsync(Event initialEvent)322            {323                this.Assert(this.CurrentEventGroup is null, "CurrentEventGroup should be null");324                this.RaiseEvent(new E());325                return base.OnInitializeAsync(initialEvent);326            }327            [Start]328            [OnEventDoAction(typeof(E), nameof(HandleE))]329            [OnEventDoAction(typeof(F), nameof(HandleF))]330            public class Init : State331            {332            }333            private async SystemTasks.Task HandleE()334            {335                this.Assert(this.CurrentEventGroup is null, "CurrentEventGroup should be null");336                await this.ReceiveEventAsync(typeof(F));337                var op = this.CurrentEventGroup as AwaitableEventGroup<bool>;338                this.Assert(op != null, "CurrentEventGroup should now be set!");339                op.SetResult(true);...

GetEventGroupIdTests.cs

Source:GetEventGroupIdTests.cs

...29            }30        }31        private class M1 : Actor32        {33            protected override SystemTasks.Task OnInitializeAsync(Event initialEvent)34            {35                var tcs = (initialEvent as SetupEvent).Tcs;36                tcs.SetResult(this.CurrentEventGroup?.Name);37                return base.OnInitializeAsync(initialEvent);38            }39        }40        [Fact(Timeout = 5000)]41        public void TestGetEventGroupIdNotSet()42        {43            this.Test(async r =>44            {45                var e = new SetupEvent();46                r.CreateActor(typeof(M1), e);47                var result = await this.GetResultAsync(e.Tcs);48                Assert.True(result is null);49            });50        }51        [OnEventDoAction(typeof(E), nameof(CheckEvent))]52        private class M2 : Actor53        {54            private TaskCompletionSource<string> Tcs;55            protected override SystemTasks.Task OnInitializeAsync(Event initialEvent)56            {57                this.Tcs = (initialEvent as SetupEvent).Tcs;58                this.Context.SendEvent(this.Id, new E(this.Id), new EventGroup(name: EventGroupId));59                return base.OnInitializeAsync(initialEvent);60            }61            private void CheckEvent()62            {63                this.Tcs.SetResult(this.CurrentEventGroup is null ? null : this.CurrentEventGroup.Name);64            }65        }66        [Fact(Timeout = 5000)]67        public void TestGetEventGroupIdSet()68        {69            this.Test(async r =>70            {71                var e = new SetupEvent();72                r.CreateActor(typeof(M2), e);73                var result = await this.GetResultAsync(e.Tcs);...

OnInitializeAsync

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Actors.Timers;6using Microsoft.Coyote.Actors.TestingServices;7using Microsoft.Coyote.Specifications;8using Microsoft.Coyote.SystematicTesting;9using Microsoft.Coyote.Tasks;10using Microsoft.Coyote.Tests.Common;11using System.Collections.Generic;12using System.Linq;13using System.Text;14using System.Threading;15using System.Diagnostics;16using System.IO;17{18    {19        public int Value { get; set; }20        public SetupEvent(int value)21        {22            this.Value = value;23        }24    }25    {26        public int Value { get; set; }27        public E(int value)28        {29            this.Value = value;30        }31    }32    {33        public int Value { get; set; }34        public M(int value)35        {36            this.Value = value;37        }38    }39    {40        public int Value { get; set; }41        public N(int value)42        {43            this.Value = value;44        }45    }46    {47        public A(ActorId id) : base(id)48        {49        }50        protected override async Task OnInitializeAsync(Event initialEvent)51        {52            await this.SendEventAsync(this.Id, new E(1));53            await this.SendEventAsync(this.Id, new M(2));54            await this.SendEventAsync(this.Id, new N(3));55        }56        protected override Task OnEventAsync(Event e)57        {58            if (e is E)59            {60                this.Assert((e as E).Value == 1);61            }62            else if (e is M)63            {64                this.Assert((e as M).Value == 2);65            }66            else if (e is N)67            {68                this.Assert((e as N).Value == 3);69            }70            {71                this.Assert(false);72            }73            return Task.CompletedTask;74        }75    }76    {77        public static void Main()78        {79            var configuration = Configuration.Create();80            configuration.SchedulingIterations = 100;81            configuration.SchedulingStrategy = SchedulingStrategy.Systematic;

OnInitializeAsync

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Actors.Timers;6using Microsoft.Coyote.Actors.TestingServices;7using Microsoft.Coyote.Actors.TestingServices.Runtime;8using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers;9using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers.Events;10using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers.Events.Liveness;11using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers.Events.Schedule;12using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers.Events.State;13using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers.Events.Task;14using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers.Events.Timers;15using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers.Events.User;16using Microsoft.Coyote.Actors.TestingServices.Runtime.Loggers.Events.Wait;17using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies;18using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.Basic;19using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.DPOR;20using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.Fuzzing;21using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.Probabilistic;22using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.ProbabilisticRandomExecution;23using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.RandomExecution;24using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.RandomInteractive;25using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.SchedulingPolicy;26using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.Sporadic;27using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.StateGraph;28using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.TFS;29using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.TSO;30using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.TSO2;31using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.TSO3;32using Microsoft.Coyote.Actors.TestingServices.Runtime.SchedulingStrategies.TSO4;

OnInitializeAsync

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Actors.Timers;6using Microsoft.Coyote.Specifications;7using Microsoft.Coyote.Tasks;8using Microsoft.Coyote.Testing;9using Microsoft.Coyote.Actors.Tests;10using Microsoft.Coyote.Actors.Tests.SetupEvent;11{12    {13        public static void Main(string[] args)14        {15            var runtime = RuntimeFactory.Create();16            runtime.Test(async () => await Test.InitializeAsync(runtime));17        }18    }19}20using System;21using System.Threading.Tasks;22using Microsoft.Coyote;23using Microsoft.Coyote.Actors;24using Microsoft.Coyote.Actors.Timers;25using Microsoft.Coyote.Specifications;26using Microsoft.Coyote.Tasks;27using Microsoft.Coyote.Testing;28using Microsoft.Coyote.Actors.Tests;29using Microsoft.Coyote.Actors.Tests.SetupEvent;30{31    {32        public static async Task InitializeAsync(IRuntime runtime)33        {34            var m = new SetupEvent.Machine();35            await runtime.CreateActor(typeof(SetupEvent.Machine), m);36        }37    }38}39using System;40using System.Threading.Tasks;41using Microsoft.Coyote;42using Microsoft.Coyote.Actors;43using Microsoft.Coyote.Actors.Timers;44using Microsoft.Coyote.Specifications;45using Microsoft.Coyote.Tasks;46using Microsoft.Coyote.Testing;47using Microsoft.Coyote.Actors.Tests;48using Microsoft.Coyote.Actors.Tests.SetupEvent;49{50    {51        {52            [OnEntry(nameof(InitializeOnEntry))]53            [OnEventDoAction(typeof(Event), nameof(HandleEvent))]54            [OnEventDoAction(typeof(Default), nameof(DefaultHandler))]55            class Init : ActorState { }56            private void InitializeOnEntry(Event e)57            {58                this.OnInitializeAsync();59            }

OnInitializeAsync

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote.Actors;4using Microsoft.Coyote.Actors.Timers;5{6    {7        public int Value;8    }9    {10        private int Value;11        [OnEventDoAction(typeof(SetupEvent), nameof(Configure))]12        {13        }14        private void Configure(Event e)15        {16            this.Value = (e as SetupEvent).Value;17        }18        [OnEventGotoState(typeof(Event), typeof(Working))]19        {20        }21        [OnEventDoAction(typeof(Event), nameof(HandleEvent))]22        {23        }24        private void HandleEvent()25        {26            this.Value++;27        }28    }29    {30        private static async Task Main(string[] args)31        {32            var runtime = await RuntimeFactory.CreateAsync();33            var actor = runtime.CreateActor(typeof(MyActor));34            runtime.SendEvent(actor, new SetupEvent { Value = 10 });35            runtime.SendEvent(actor, new Event());

OnInitializeAsync

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote.Actors;4{5    {6        public SetupEvent()7        {8            this.OnInitializeAsync = async () =>9            {10                await Task.Delay(100);11            };12        }13    }14}15using System;16using System.Threading.Tasks;17using Microsoft.Coyote.Actors;18{19    {20        public SetupEvent()21        {22            this.OnInitializeAsync = async () =>23            {24                await Task.Delay(100);25            };26        }27    }28}29using System;30using System.Threading.Tasks;31using Microsoft.Coyote.Actors;32{33    {34        public SetupEvent()35        {36            this.OnInitializeAsync = async () =>37            {38                await Task.Delay(100);39            };40        }41    }42}43using System;44using System.Threading.Tasks;45using Microsoft.Coyote.Actors;46{47    {48        public SetupEvent()49        {50            this.OnInitializeAsync = async () =>51            {52                await Task.Delay(100);53            };54        }55    }56}57using System;58using System.Threading.Tasks;59using Microsoft.Coyote.Actors;60{61    {62        public SetupEvent()63        {64            this.OnInitializeAsync = async () =>65            {66                await Task.Delay(100);67            };68        }69    }70}71using System;72using System.Threading.Tasks;73using Microsoft.Coyote.Actors;

OnInitializeAsync

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using System.Threading.Tasks;3{4    {5        public SetupEvent()6        {7        }8        public Task OnInitializeAsync()9        {10            return Task.CompletedTask;11        }12    }13}14using Microsoft.Coyote.Actors;15using System.Threading.Tasks;16{17    {18        public SetupEvent()19        {20        }21        public async Task OnInitializeAsync()22        {23            await Task.CompletedTask;24        }25    }26}27using Microsoft.Coyote.Actors;28using System.Threading.Tasks;29{30    {31        public SetupEvent()32        {33        }34        public void OnInitializeAsync()35        {36        }37    }38}39using Microsoft.Coyote.Actors;40using System.Threading.Tasks;41{42    {43        public SetupEvent()44        {45        }46        public Task OnInitializeAsync()47        {48            return Task.CompletedTask;49        }50    }51}52{53    {54        public SetupEventDerived()55        {56        }57    }58}

OnInitializeAsync

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.Timers;3using System;4using System.Threading.Tasks;5{6    {7        {8            public SetupEvent(int value)9            {10                this.Value = value;11            }12            public int Value { get; private set; }13        }14        {15            public MyEvent(int value)16            {17                this.Value = value;18            }19            public int Value { get; private set; }20        }21        [OnEntry(nameof(InitializeOnEntry))]22        [OnEventDoAction(typeof(MyEvent), nameof(HandleEvent))]23        {24        }25        private void InitializeOnEntry(Event e)26        {27            this.SendEvent(this.Id, new MyEvent(1));28        }29        private void HandleEvent()30        {31            this.SendEvent(this.Id, new MyEvent(2));32        }33        protected override Task OnInitializeAsync(Event initialEvent)34        {35            this.SendEvent(this.Id, new MyEvent(3));36            this.SendEvent(this.Id, new MyEvent(4));37            this.SendEvent(this.Id, new MyEvent(5));38            return Task.CompletedTask;39        }40        public static void Main(string[] args)41        {42            Task.Run(async () =>43            {44                var runtime = RuntimeFactory.Create();45                await runtime.CreateActor(typeof(Program), new SetupEvent(0));46                await runtime.WaitAsync();47            }).GetAwaiter().GetResult();48        }49    }50}51using Microsoft.Coyote.Actors;52using Microsoft.Coyote.Actors.Timers;53using System;54using System.Threading.Tasks;55{56    {57        {58            public SetupEvent(int value)59            {60                this.Value = value;61            }62            public int Value { get; private set; }63        }64        {65            public MyEvent(int value)66            {67                this.Value = value;68            }69            public int Value { get; private set; }70        }71        [OnEntry(nameof(InitializeOnEntry))]

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.