How to use InitOnEntry method of Microsoft.Coyote.Actors.Tests.OnExceptionTests class

Best Coyote code snippet using Microsoft.Coyote.Actors.Tests.OnExceptionTests.InitOnEntry

OnExceptionTests.cs

Source:OnExceptionTests.cs

...29        private class M1a : StateMachine30        {31            private E Event;32            [Start]33            [OnEntry(nameof(InitOnEntry))]34            [OnEventDoAction(typeof(F), nameof(OnF))]35            private class Init : State36            {37            }38            private void InitOnEntry(Event e)39            {40                this.Event = e as E;41                throw new NotImplementedException();42            }43            private void OnF()44            {45                this.Event.Tcs.SetResult(true);46            }47            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)48            {49                this.Event.X++;50                return OnExceptionOutcome.HandledException;51            }52        }53        [Fact(Timeout = 5000)]54        public async SystemTasks.Task TestOnExceptionCalledOnce1()55        {56            await this.RunAsync(async r =>57            {58                var failed = false;59                var tcs = TaskCompletionSource.Create<bool>();60                r.OnFailure += (ex) =>61                {62                    // This should not be called because M1a returns OnExceptionOutcome.HandledException63                    failed = true;64                };65                var e = new E(tcs);66                var m = r.CreateActor(typeof(M1a), e);67                r.SendEvent(m, new F());68                await this.WaitAsync(tcs.Task);69                Assert.False(failed);70                Assert.True(e.X is 1);71            },72            handleFailures: false);73        }74        private class M1b : StateMachine75        {76            [Start]77            [OnEntry(nameof(InitOnEntry))]78            private class Init : State79            {80            }81            private void InitOnEntry()82            {83                throw new NotImplementedException();84            }85            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)86            {87                (e as E).X++;88                return OnExceptionOutcome.ThrowException;89            }90        }91        [Fact(Timeout = 5000)]92        public async SystemTasks.Task TestOnExceptionCalledOnce2()93        {94            await this.RunAsync(async r =>95            {96                var failed = false;97                var tcs = TaskCompletionSource.Create<bool>();98                r.OnFailure += (ex) =>99                {100                    failed = true;101                    tcs.SetResult(true);102                };103                var e = new E(tcs);104                r.CreateActor(typeof(M1b), e);105                await this.WaitAsync(tcs.Task);106                Assert.True(failed);107                Assert.True(e.X is 1);108            },109            handleFailures: false);110        }111        private class M2a : StateMachine112        {113            private E Event;114            [Start]115            [OnEntry(nameof(InitOnEntry))]116            [OnEventDoAction(typeof(F), nameof(OnF))]117            private class Init : State118            {119            }120            private async SystemTasks.Task InitOnEntry(Event e)121            {122                await Task.CompletedTask;123                this.Event = e as E;124                throw new NotImplementedException();125            }126            private void OnF()127            {128                this.Event.Tcs.SetResult(true);129            }130            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)131            {132                (e as E).X++;133                return OnExceptionOutcome.HandledException;134            }135        }136        [Fact(Timeout = 5000)]137        public async SystemTasks.Task TestOnExceptionCalledOnceAsync1()138        {139            await this.RunAsync(async r =>140            {141                var failed = false;142                var tcs = TaskCompletionSource.Create<bool>();143                r.OnFailure += (ex) =>144                {145                    // This should not be called, because M2a returns OnExceptionOutcome.HandledException.146                    failed = true;147                };148                var e = new E(tcs);149                var m = r.CreateActor(typeof(M2a), e);150                r.SendEvent(m, new F());151                await this.WaitAsync(tcs.Task);152                Assert.False(failed);153                Assert.True(e.X is 1);154            },155            handleFailures: false);156        }157        private class M2b : StateMachine158        {159            [Start]160            [OnEntry(nameof(InitOnEntry))]161            private class Init : State162            {163            }164#pragma warning disable CA1822 // Mark members as static165            private async SystemTasks.Task InitOnEntry()166#pragma warning restore CA1822 // Mark members as static167            {168                await Task.CompletedTask;169                throw new NotImplementedException();170            }171            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)172            {173                (e as E).X++;174                return OnExceptionOutcome.ThrowException;175            }176        }177        [Fact(Timeout = 5000)]178        public async SystemTasks.Task TestOnExceptionCalledOnceAsync2()179        {180            await this.RunAsync(async r =>181            {182                var failed = false;183                var tcs = TaskCompletionSource.Create<bool>();184                r.OnFailure += (ex) =>185                {186                    failed = true;187                    tcs.SetResult(true);188                };189                var e = new E(tcs);190                r.CreateActor(typeof(M2b), e);191                await this.WaitAsync(tcs.Task);192                Assert.True(failed);193                Assert.True(e.X is 1);194            },195            handleFailures: false);196        }197        private class M3 : StateMachine198        {199            [Start]200            [OnEntry(nameof(InitOnEntry))]201            private class Init : State202            {203            }204            private void InitOnEntry()205            {206                throw new NotImplementedException();207            }208            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)209            {210                return OnExceptionOutcome.Halt;211            }212            protected override SystemTasks.Task OnHaltAsync(Event e)213            {214                (e as E).Tcs.TrySetResult(true);215                return SystemTasks.Task.CompletedTask;216            }217        }218        [Fact(Timeout = 5000)]219        public async SystemTasks.Task TestOnExceptionCanHalt()220        {221            await this.RunAsync(async r =>222            {223                var failed = false;224                var tcs = TaskCompletionSource.Create<bool>();225                r.OnFailure += (ex) =>226                {227                    failed = true;228                    tcs.TrySetResult(false);229                };230                var e = new E(tcs);231                r.CreateActor(typeof(M3), e);232                var result = await this.GetResultAsync(tcs);233                Assert.True(result);234                Assert.False(failed);235            },236            handleFailures: false);237        }238        private class M4 : StateMachine239        {240            private E Event;241            [Start]242            [OnEntry(nameof(InitOnEntry))]243            private class Init : State244            {245            }246            private void InitOnEntry(Event e)247            {248                this.Event = e as E;249            }250            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)251            {252                if (ex is UnhandledEventException)253                {254                    return OnExceptionOutcome.Halt;255                }256                return OnExceptionOutcome.ThrowException;257            }258            protected override SystemTasks.Task OnHaltAsync(Event e)259            {260                this.Assert(e is F);...

InitOnEntry

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote.Actors;4using Microsoft.Coyote.TestingServices;5using Xunit;6using Xunit.Abstractions;7{8    {9        public OnExceptionTests(ITestOutputHelper output)10            : base(output)11        {12        }13        {14            public TaskCompletionSource<bool> Tcs;15            public E(TaskCompletionSource<bool> tcs)16            {17                this.Tcs = tcs;18            }19        }20        {21            public TaskCompletionSource<bool> Tcs;22            public M(TaskCompletionSource<bool> tcs)23            {24                this.Tcs = tcs;25            }26        }27        {28            public TaskCompletionSource<bool> Tcs;29            public N(TaskCompletionSource<bool> tcs)30            {31                this.Tcs = tcs;32            }33        }34        {35            private TaskCompletionSource<bool> Tcs;36            protected override Task OnInitializeAsync(Event initialEvent)37            {38                this.Tcs = (initialEvent as E).Tcs;39                this.OnException += this.OnExceptionHandler;40                return Task.CompletedTask;41            }42            private void OnExceptionHandler(object sender, Exception ex)43            {44                this.Tcs.SetResult(true);45            }46            protected override async Task OnEventAsync(Event e)47            {48                if (e is M)49                {50                    await Task.Delay(100);51                    throw new Exception();52                }53                else if (e is N)54                {55                    this.Tcs.SetResult(false);56                }57            }58        }59        [Fact(Timeout = 5000)]60        public void TestOnException()61        {62            this.Test(r =>63            {64                var tcs = new TaskCompletionSource<bool>();65                r.CreateActor(typeof(A), new E(tcs));66                r.SendEvent(new M(tcs));67                r.SendEvent(new N(tcs));68                r.WaitAsync(tcs.Task);69            },70            configuration: GetConfiguration().WithTestingIterations(100));71        }72    }73}74at Microsoft.Coyote.Actors.Actor.GetState[T]() at Microsoft.Coy

InitOnEntry

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.TestingServices;6using Xunit;7using Xunit.Abstractions;8{9    {10        public OnExceptionTests(ITestOutputHelper output)11            : base(output)12        {13        }14        {15            public ActorId Id;16            public E(ActorId id)17            {18                this.Id = id;19            }20        }21        {22            public ActorId Id;23            public Config(ActorId id)24            {25                this.Id = id;26            }27        }28        {29            public ActorId Id;30            public M(ActorId id)31            {32                this.Id = id;33            }34        }35        {36            public ActorId Id;37            public N(ActorId id)38            {39                this.Id = id;40            }41        }42        private class Done : Event { }43        {44            public ActorId Id;45            public Unit(ActorId id)46            {47                this.Id = id;48            }49        }50        {51            protected override Task OnInitializeAsync(Event initialEvent)52            {53                this.OnException += this.OnExceptionHandler;54                this.OnExceptionAsync += this.OnExceptionHandlerAsync;55                return base.OnInitializeAsync(initialEvent);56            }57            private void OnExceptionHandler(object sender, Exception ex)58            {59                this.SendEvent((ActorId)sender, new Unit(this.Id));60            }61            private Task OnExceptionHandlerAsync(object sender, Exception ex)62            {63                this.SendEvent((ActorId)sender, new Unit(this.Id));64                return Task.CompletedTask;65            }66            [OnEntry(nameof(InitOnEntry))]67            [OnEventDoAction(typeof(E), nameof(HandleE))]68            [OnEventDoAction(typeof(M), nameof(HandleM))]69            [OnEventDoAction(typeof(N), nameof(HandleN))]70            private class Init : State { }71            private void InitOnEntry(Event e)72            {73                this.SendEvent((ActorId)e, new E(this.Id));74                this.SendEvent((ActorId)e, new M(this.Id));75                this.SendEvent((ActorId)e, new N(this

InitOnEntry

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.Timers;3using Microsoft.Coyote.Specifications;4using System;5using System.Threading.Tasks;6{7    {8        {9            public int Value;10            public E(int value)11            {12                this.Value = value;13            }14        }15        {16            public int Value;17            public M(int value)18            {19                this.Value = value;20            }21        }22        {23            public int Value;24            public N(int value)25            {26                this.Value = value;27            }28        }29        {30            public int Value;31            public Config(int value)32            {33                this.Value = value;34            }35        }36        {37            private int Value;38            [OnEntry(nameof(InitOnEntry))]39            [OnEventDoAction(typeof(E), nameof(HandleE))]40            [OnEventDoAction(typeof(M), nameof(HandleM))]41            [OnEventDoAction(typeof(N), nameof(HandleN))]42            {43            }44            private void InitOnEntry(Event e)45            {46                this.Value = (e as Config).Value;47            }48            private void HandleE(Event e)49            {50                this.Value = (e as E).Value;51            }52            private void HandleM(Event e)53            {54                this.Value = (e as M).Value;55            }56            private void HandleN(Event e)57            {58                this.Value = (e as N).Value;59            }60        }61        [Fact(Timeout = 5000)]62        public void TestOnException()63        {64            this.TestWithError(r =>65            {66                r.CreateActor(typeof(ConfiguredActor), new Config(1));67            },68            configuration: GetConfiguration().WithTestingIterations(100),69            replay: true);70        }71    }72}73using Microsoft.Coyote.Actors;74using Microsoft.Coyote.Actors.Timers;75using Microsoft.Coyote.Specifications;76using System;77using System.Threading.Tasks;

InitOnEntry

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.Timers;3using Microsoft.Coyote.Testing;4using Microsoft.Coyote.Testing.Systematic;5using System;6using System.Threading.Tasks;7{8    {9        {10            public ActorId Id;11            public E(ActorId id)12            {13                this.Id = id;14            }15        }16        {17            protected override void OnException(Event e, Exception ex)18            {19                var id = (e as E).Id;20                this.SendEvent(id, new E(this.Id));21            }22        }23        {24            protected override async Task OnInitializeAsync(Event initialEvent)25            {26                await this.RaiseEventAsync(new E(this.Id));27            }28        }29        [OnEntry(nameof(InitOnEntry))]30        {31            private void InitOnEntry(Event e)32            {33                this.SendEvent((e as E).Id, new E(this.Id));34            }35        }36        [Fact(Timeout = 5000)]37        public void TestOnException()38        {39            this.TestWithError(r =>40            {41                var a = r.CreateActor(typeof(A));42                var b = r.CreateActor(typeof(B));43                r.SendEvent(a, new E(b));44            },45            configuration: GetConfiguration().WithTestingIterations(100),46            replay: true);47        }48        [Fact(Timeout = 5000)]49        public void TestInitOnEntry()50        {51            this.TestWithError(r =>52            {53                var a = r.CreateActor(typeof(A));54                var c = r.CreateActor(typeof(C));55                r.SendEvent(a, new E(c));56            },57            configuration: GetConfiguration().WithTestingIterations(100),58            replay: true);59        }60    }61}

InitOnEntry

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.Timers;3using Microsoft.Coyote.Actors.TestingServices;4using Microsoft.Coyote.Actors.TestingServices.Runtime;5using System;6using System.Threading.Tasks;7{8    {9        [OnEntry(nameof(InitOnEntry))]10        [OnEventGotoState(typeof(Start), typeof(StartState))]11        [OnEventGotoState(typeof(TestException), typeof(ExitState))]12        {13            private TaskCompletionSource<bool> tcs;14            private void InitOnEntry(Event e)15            {16                this.tcs = (e as InitEvent).Payload as TaskCompletionSource<bool>;17                this.RaiseEvent(new Start());18            }19            private void StartState()20            {21                throw new TestException();22            }23            private void ExitState()24            {25                this.tcs.SetResult(true);26            }27        }28        [OnEntry(nameof(InitOnEntry))]29        [OnEventGotoState(typeof(Start), typeof(StartState))]30        [OnEventGotoState(typeof(TestException), typeof(ExitState))]31        {32            private TaskCompletionSource<bool> tcs;33            private void InitOnEntry(Event e)34            {35                this.tcs = (e as InitEvent).Payload as TaskCompletionSource<bool>;36                this.RaiseEvent(new Start());37            }38            private void StartState()39            {40                this.RaiseEvent(new TestException());41            }42            private void ExitState()43            {44                this.tcs.SetResult(true);45            }46        }47        {48        }49        {50        }51        public async Task TestOnException()52        {53            var tcs1 = new TaskCompletionSource<bool>();54            var tcs2 = new TaskCompletionSource<bool>();55            this.Test(r =>56            {57                r.CreateActor(typeof(M1), new InitEvent(tcs1));58                r.CreateActor(typeof(M2), new InitEvent(tcs2));59            },60            configuration: GetConfiguration().WithTestingIterations(100));61            await tcs1.Task;62            await tcs2.Task;63        }64    }65}

InitOnEntry

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.Tests;3using System;4using System.Threading.Tasks;5{6    {7        static void Main(string[] args)8        {9            Task.Run(() => Microsoft.Coyote.Runtime.SchedulingContext.InvokeMainAsync(() => OnExceptionTests.InitOnEntry()));10            Console.ReadKey();11        }12    }13}

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.