Test your AI Agents with the all-new Agent to Agent Testing Platform.Learn More

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

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

OnExceptionTests.cs

Source:OnExceptionTests.cs

...55        }56        private class M1 : StateMachine57        {58            [Start]59            [OnEntry(nameof(InitOnEntry))]60            private class Init : State61            {62            }63#pragma warning disable CA1822 // Mark members as static64            private void InitOnEntry()65#pragma warning restore CA1822 // Mark members as static66            {67                throw new Ex1();68            }69            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)70            {71                if (ex is Ex1)72                {73                    return OnExceptionOutcome.HandledException;74                }75                return OnExceptionOutcome.ThrowException;76            }77        }78        [Fact(Timeout = 5000)]79        public void TestExceptionSuppressedInEntryActionInStateMachine()80        {81            this.Test(r =>82            {83                r.CreateActor(typeof(M1));84            });85        }86        [OnEventDoAction(typeof(E), nameof(Act))]87        private class A2 : Actor88        {89            protected override Task OnInitializeAsync(Event initialEvent)90            {91                this.SendEvent(this.Id, new E(this.Id));92                return Task.CompletedTask;93            }94#pragma warning disable CA1822 // Mark members as static95            private void Act()96#pragma warning restore CA1822 // Mark members as static97            {98                throw new Ex1();99            }100            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)101            {102                if (ex is Ex1)103                {104                    return OnExceptionOutcome.HandledException;105                }106                return OnExceptionOutcome.ThrowException;107            }108        }109        [Fact(Timeout = 5000)]110        public void TestExceptionSuppressedInActionInActor()111        {112            this.Test(r =>113            {114                r.CreateActor(typeof(A2));115            });116        }117        private class M2 : StateMachine118        {119            [Start]120            [OnEntry(nameof(InitOnEntry))]121            [OnEventDoAction(typeof(E), nameof(Act))]122            private class Init : State123            {124            }125            private void InitOnEntry()126            {127                this.RaiseEvent(new E(this.Id));128            }129#pragma warning disable CA1822 // Mark members as static130            private void Act()131#pragma warning restore CA1822 // Mark members as static132            {133                throw new Ex1();134            }135            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)136            {137                if (ex is Ex1)138                {139                    return OnExceptionOutcome.HandledException;140                }141                return OnExceptionOutcome.ThrowException;142            }143        }144        [Fact(Timeout = 5000)]145        public void TestExceptionSuppressedInActionInStateMachine()146        {147            this.Test(r =>148            {149                r.CreateActor(typeof(M2));150            });151        }152        [OnEventDoAction(typeof(E), nameof(Act))]153        private class A3 : Actor154        {155            protected override Task OnInitializeAsync(Event initialEvent)156            {157                this.SendEvent(this.Id, new E(this.Id));158                return Task.CompletedTask;159            }160#pragma warning disable CA1822 // Mark members as static161            private async Task Act()162#pragma warning restore CA1822 // Mark members as static163            {164                await Task.Delay(0);165                throw new Ex1();166            }167            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)168            {169                if (ex is Ex1)170                {171                    return OnExceptionOutcome.HandledException;172                }173                return OnExceptionOutcome.ThrowException;174            }175        }176        [Fact(Timeout = 5000)]177        public void TestExceptionSuppressedIAfterAwaitInActor()178        {179            this.Test(r =>180            {181                r.CreateActor(typeof(A3));182            });183        }184        private class M3 : StateMachine185        {186            [Start]187            [OnEntry(nameof(InitOnEntry))]188            [OnEventDoAction(typeof(E), nameof(Act))]189            private class Init : State190            {191            }192            private void InitOnEntry()193            {194                this.RaiseEvent(new E(this.Id));195            }196#pragma warning disable CA1822 // Mark members as static197            private async Task Act()198#pragma warning restore CA1822 // Mark members as static199            {200                await Task.Delay(0);201                throw new Ex1();202            }203            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)204            {205                if (ex is Ex1)206                {207                    return OnExceptionOutcome.HandledException;208                }209                return OnExceptionOutcome.ThrowException;210            }211        }212        [Fact(Timeout = 5000)]213        public void TestExceptionSuppressedIAfterAwaitInStateMachine()214        {215            this.Test(r =>216            {217                r.CreateActor(typeof(M3));218            });219        }220        private class M4 : StateMachine221        {222            [Start]223            [OnEntry(nameof(InitOnEntry))]224            [OnEventGotoState(typeof(E), typeof(Done))]225            [OnExit(nameof(InitOnExit))]226            private class Init : State227            {228            }229            private void InitOnEntry()230            {231                this.RaiseEvent(new E(this.Id));232            }233#pragma warning disable CA1822 // Mark members as static234            private void InitOnExit()235#pragma warning restore CA1822 // Mark members as static236            {237                throw new Ex1();238            }239            private class Done : State240            {241            }242            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)243            {244                if (ex is Ex1)245                {246                    return OnExceptionOutcome.HandledException;247                }248                return OnExceptionOutcome.ThrowException;249            }250        }251        [Fact(Timeout = 5000)]252        public void TestExceptionSuppressedInExitActionInStateMachine()253        {254            this.Test(r =>255            {256                r.CreateActor(typeof(M4));257            });258        }259        private class A5 : Actor260        {261            protected override Task OnInitializeAsync(Event initialEvent)262            {263                throw new Ex2();264            }265            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)266            {267                if (ex is Ex1)268                {269                    return OnExceptionOutcome.HandledException;270                }271                return OnExceptionOutcome.ThrowException;272            }273        }274        [Fact(Timeout = 5000)]275        public void TestExceptionNotSuppressedDuringInitializationInActor()276        {277            this.TestWithException<Ex2>(r =>278            {279                r.CreateActor(typeof(A5));280            },281            replay: true);282        }283        private class M5 : StateMachine284        {285            [Start]286            [OnEntry(nameof(InitOnEntry))]287            private class Init : State288            {289            }290#pragma warning disable CA1822 // Mark members as static291            private void InitOnEntry()292#pragma warning restore CA1822 // Mark members as static293            {294                throw new Ex2();295            }296            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)297            {298                if (ex is Ex1)299                {300                    return OnExceptionOutcome.HandledException;301                }302                return OnExceptionOutcome.ThrowException;303            }304        }305        [Fact(Timeout = 5000)]306        public void TestExceptionNotSuppressedInEntryActionInStateMachine()307        {308            this.TestWithException<Ex2>(r =>309            {310                r.CreateActor(typeof(M5));311            },312            replay: true);313        }314        [OnEventDoAction(typeof(E), nameof(Act))]315        private class A6 : Actor316        {317            protected override Task OnInitializeAsync(Event initialEvent)318            {319                throw new Ex1();320            }321            private void Act()322            {323                this.Assert(false, "Reached test assertion.");324            }325            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)326            {327                if (ex is Ex1)328                {329                    this.SendEvent(this.Id, new E(this.Id));330                    return OnExceptionOutcome.HandledException;331                }332                return OnExceptionOutcome.ThrowException;333            }334        }335        [Fact(Timeout = 5000)]336        public void TestSendDuringOnExceptionInActor()337        {338            this.TestWithError(r =>339            {340                r.CreateActor(typeof(A6));341            },342            expectedError: "Reached test assertion.",343            replay: true);344        }345        private class M6 : StateMachine346        {347            [Start]348            [OnEntry(nameof(InitOnEntry))]349            [OnEventDoAction(typeof(E), nameof(Act))]350            private class Init : State351            {352            }353#pragma warning disable CA1822 // Mark members as static354            private void InitOnEntry()355#pragma warning restore CA1822 // Mark members as static356            {357                throw new Ex1();358            }359            private void Act()360            {361                this.Assert(false, "Reached test assertion.");362            }363            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)364            {365                if (ex is Ex1)366                {367                    this.SendEvent(this.Id, new E(this.Id));368                    return OnExceptionOutcome.HandledException;369                }370                return OnExceptionOutcome.ThrowException;371            }372        }373        [Fact(Timeout = 5000)]374        public void TestSendDuringOnExceptionInStateMachine()375        {376            this.TestWithError(r =>377            {378                r.CreateActor(typeof(M6));379            },380            expectedError: "Reached test assertion.",381            replay: true);382        }383        private class Done : Event384        {385        }386        private class GetsDone : Monitor387        {388            [Start]389            [Hot]390            [OnEventGotoState(typeof(Done), typeof(Ok))]391            private class Init : State392            {393            }394            [Cold]395            private class Ok : State396            {397            }398        }399        private class A7 : Actor400        {401            protected override Task OnInitializeAsync(Event initialEvent)402            {403                throw new NotImplementedException();404            }405            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)406            {407                return OnExceptionOutcome.Halt;408            }409            protected override Task OnHaltAsync(Event e)410            {411                this.Monitor<GetsDone>(new Done());412                return Task.CompletedTask;413            }414        }415        [Fact(Timeout = 5000)]416        public void TestHaltOnUnhandledExceptionInActor()417        {418            this.Test(r =>419            {420                r.RegisterMonitor<GetsDone>();421                r.CreateActor(typeof(A7));422            });423        }424        private class M7 : StateMachine425        {426            [Start]427            [OnEntry(nameof(InitOnEntry))]428            private class Init : State429            {430            }431            private void InitOnEntry()432            {433                throw new NotImplementedException();434            }435            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)436            {437                return OnExceptionOutcome.Halt;438            }439            protected override Task OnHaltAsync(Event e)440            {441                this.Monitor<GetsDone>(new Done());442                return Task.CompletedTask;443            }444        }445        [Fact(Timeout = 5000)]446        public void TestHaltOnUnhandledExceptionInStateMachine()447        {448            this.Test(r =>449            {450                r.RegisterMonitor<GetsDone>();451                r.CreateActor(typeof(M7));452            });453        }454        private class A8 : Actor455        {456            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)457            {458                if (ex is UnhandledEventException)459                {460                    return OnExceptionOutcome.Halt;461                }462                return OnExceptionOutcome.ThrowException;463            }464            protected override Task OnHaltAsync(Event e)465            {466                this.Monitor<GetsDone>(new Done());467                return Task.CompletedTask;468            }469        }470        [Fact(Timeout = 5000)]471        public void TestHaltOnUnhandledEventExceptionInActor()472        {473            this.Test(r =>474            {475                r.RegisterMonitor<GetsDone>();476                var m = r.CreateActor(typeof(A8));477                r.SendEvent(m, new E());478            });479        }480        private class M8 : StateMachine481        {482            [Start]483            [OnEntry(nameof(InitOnEntry))]484            private class Init : State485            {486            }487#pragma warning disable CA1822 // Mark members as static488            private void InitOnEntry()489#pragma warning restore CA1822 // Mark members as static490            {491            }492            protected override OnExceptionOutcome OnException(Exception ex, string methodName, Event e)493            {494                if (ex is UnhandledEventException)495                {496                    return OnExceptionOutcome.Halt;497                }498                return OnExceptionOutcome.ThrowException;499            }500            protected override Task OnHaltAsync(Event e)501            {502                this.Monitor<GetsDone>(new Done());...

InitOnEntry

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote.Actors;4using Microsoft.Coyote.Specifications;5using Xunit;6using Xunit.Abstractions;7{8    {9        public OnExceptionTests(ITestOutputHelper output)10            : base(output)11        {12        }13        {14        }15        {16            public TaskCompletionSource<bool> Tcs;17            public M(TaskCompletionSource<bool> tcs)18            {19                this.Tcs = tcs;20            }21        }22        {23        }24        {25            private TaskCompletionSource<bool> Tcs;26            [OnEntry(nameof(InitOnEntry))]27            [OnException(typeof(InvalidOperationException), nameof(HandleException))]28            {29            }30            private void InitOnEntry(Event e)31            {32                this.Tcs = (e as M).Tcs;33                throw new InvalidOperationException("Exception in InitOnEntry");34            }35            private void HandleException(Event e, Exception ex)36            {37                this.Tcs.SetResult(true);38            }39        }40        [Fact(Timeout = 5000)]41        public async Task TestOnExceptionFromInitOnEntry()42        {43            TaskCompletionSource<bool> tcs = new TaskCompletionSource<bool>();44            this.Test(async () =>45            {46                var a = this.CreateActor(typeof(A), new M(tcs));47                this.SendEvent(a, new N());48                await tcs.Task;49            },50            configuration: GetConfiguration().WithTestingIterations(100));51        }52    }53}54using System;55using System.Threading.Tasks;56using Microsoft.Coyote.Actors;57using Microsoft.Coyote.Specifications;58using Xunit;59using Xunit.Abstractions;60{61    {62        public OnExceptionTests(ITestOutputHelper output)63            : base(output)64        {65        }66        {67        }68        {69            public TaskCompletionSource<bool> Tcs;70            public M(TaskCompletion

InitOnEntry

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Testing;6using Microsoft.Coyote.Testing.Coverage;7using Microsoft.Coyote.Testing.Fuzzing;8using Microsoft.Coyote.Testing.Systematic;9{10    {11        {12            public ActorId Id;13            public E(ActorId id)14            {15                this.Id = id;16            }17        }18        {19        }20        {21        }22        {23            private ActorId Id;24            protected override Task OnInitializeAsync(Event initialEvent)25            {26                this.Id = (initialEvent as E).Id;27                return Task.CompletedTask;28            }29            protected override Task OnEventAsync(Event e)30            {31                if (e is M)32                {33                    this.SendEvent(this.Id, new N());34                }35                return Task.CompletedTask;36            }37        }38        {39            private ActorId Id;40            protected override Task OnInitializeAsync(Event initialEvent)41            {42                this.Id = (initialEvent as E).Id;43                return Task.CompletedTask;44            }45            protected override Task OnEventAsync(Event e)46            {47                if (e is N)48                {49                    this.SendEvent(this.Id, new M());50                }51                return Task.CompletedTask;52            }53        }54        [Fact(Timeout = 5000)]55        public void TestOnException()56        {57            this.TestWithError(r =>58            {59                var a = r.CreateActor(typeof(A), new E(r.Id));60                var b = r.CreateActor(typeof(B), new E(r.Id));61                r.SendEvent(a, new M());62            },63            configuration: GetConfiguration().WithTestingIterations(100),64            replay: true);65        }66    }67}68using System;69using System.Threading.Tasks;70using Microsoft.Coyote;71using Microsoft.Coyote.Actors;

InitOnEntry

Using AI Code Generation

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

InitOnEntry

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.BugFinding.Tests;3using Microsoft.Coyote.TestingServices;4using Microsoft.VisualStudio.TestTools.UnitTesting;5using System;6using System.Threading.Tasks;7{8    {9        public void TestOnException()10        {11            var configuration = Configuration.Create().WithTestingIterations(1000);12            var test = new OnExceptionTests();13            var result = TestingEngine.Test(configuration, test.TestOnException);14            Assert.IsTrue(result);15        }16        private void TestOnException(Action<ActorRuntime> callback)17        {18            callback(new ActorRuntime());19            var m = new InitOnEntry();20            m.CreateActor(typeof(InitOnEntry));21        }22    }23}24using Microsoft.Coyote.Actors;25using Microsoft.Coyote.Actors.BugFinding.Tests;26using Microsoft.Coyote.TestingServices;27using Microsoft.VisualStudio.TestTools.UnitTesting;28using System;29using System.Threading.Tasks;30{31    {32        public void TestOnException()33        {34            var configuration = Configuration.Create().WithTestingIterations(1000);35            var test = new OnExceptionTests();36            var result = TestingEngine.Test(configuration, test.TestOnException);37            Assert.IsTrue(result);38        }39        private void TestOnException(Action<ActorRuntime> callback)40        {41            callback(new ActorRuntime());42            var m = new OnException();43            m.CreateActor(typeof(OnException));44        }45    }46}47using Microsoft.Coyote.Actors;48using Microsoft.Coyote.Actors.BugFinding.Tests;49using Microsoft.Coyote.TestingServices;50using Microsoft.VisualStudio.TestTools.UnitTesting;51using System;52using System.Threading.Tasks;53{54    {55        public void TestOnException()56        {57            var configuration = Configuration.Create().WithTestingIterations(1000);

InitOnEntry

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.BugFinding.Tests;8{9    {10        static void Main(string[] args)11        {12            OnExceptionTests.InitOnEntry();13        }14    }15}16using System;17using System.Collections.Generic;18using System.Linq;19using System.Text;20using System.Threading.Tasks;21using Microsoft.Coyote.Actors;22using Microsoft.Coyote.Actors.BugFinding.Tests;23{24    {25        static void Main(string[] args)26        {27            OnExceptionTests.InitOnEntry();28        }29    }30}31using System;32using System.Collections.Generic;33using System.Linq;34using System.Text;35using System.Threading.Tasks;36using Microsoft.Coyote.Actors;37using Microsoft.Coyote.Actors.BugFinding.Tests;38{39    {40        static void Main(string[] args)41        {42            OnExceptionTests.InitOnEntry();43        }44    }45}46using System;47using System.Collections.Generic;48using System.Linq;49using System.Text;50using System.Threading.Tasks;51using Microsoft.Coyote.Actors;52using Microsoft.Coyote.Actors.BugFinding.Tests;53{54    {55        static void Main(string[] args)56        {57            OnExceptionTests.InitOnEntry();58        }59    }60}61using System;62using System.Collections.Generic;63using System.Linq;64using System.Text;65using System.Threading.Tasks;66using Microsoft.Coyote.Actors;67using Microsoft.Coyote.Actors.BugFinding.Tests;68{69    {70        static void Main(string[] args)71        {

InitOnEntry

Using AI Code Generation

1using Microsoft.Coyote.Actors;2using Microsoft.Coyote.Actors.BugFinding.Tests;3using System;4using System.Threading.Tasks;5{6    {7        static void Main(string[] args)8        {9            var runtime = RuntimeFactory.Create();10            var task = Task.Run(() => runtime.CreateActor(typeof(OnExceptionTests)));11            task.Wait();12            Console.ReadLine();13        }14    }15}16using Microsoft.Coyote.Actors;17using Microsoft.Coyote.Actors.BugFinding.Tests;18using System;19using System.Threading.Tasks;20{21    {22        static void Main(string[] args)23        {24            var runtime = RuntimeFactory.Create();25            var task = Task.Run(() => runtime.CreateActor(typeof(OnExceptionTests)));26            task.Wait();27            Console.ReadLine();28        }29    }30}31using Microsoft.Coyote.Actors;32using Microsoft.Coyote.Actors.BugFinding.Tests;33using System;34using System.Threading.Tasks;35{36    {37        static void Main(string[] args)38        {39            var runtime = RuntimeFactory.Create();40            var task = Task.Run(() => runtime.CreateActor(typeof(OnExceptionTests)));41            task.Wait();42            Console.ReadLine();43        }44    }45}46using Microsoft.Coyote.Actors;47using Microsoft.Coyote.Actors.BugFinding.Tests;48using System;49using System.Threading.Tasks;50{51    {52        static void Main(string[] args)53        {54            var runtime = RuntimeFactory.Create();55            var task = Task.Run(() => runtime.CreateActor(typeof(OnExceptionTests)));56            task.Wait();57            Console.ReadLine();58        }59    }60}

InitOnEntry

Using AI Code Generation

1using System;2using System.Collections.Generic;3using System.Threading.Tasks;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Specifications;6using Microsoft.Coyote.Testing;7using Microsoft.Coyote.Testing.Services;8using Microsoft.Coyote.Testing.Systematic;9using Microsoft.Coyote.Testing.Systematic.Strategies;10using Microsoft.Coyote.Tests.Common;11using Xunit;12using Xunit.Abstractions;13{14    {15        public OnExceptionTests(ITestOutputHelper output)16            : base(output)17        {18        }19        {20            public TaskCompletionSource<bool> Tcs;21            public E(TaskCompletionSource<bool> tcs)22            {23                this.Tcs = tcs;24            }25        }26        {27            public TaskCompletionSource<bool> Tcs;28            public Config(TaskCompletionSource<bool> tcs)29            {30                this.Tcs = tcs;31            }32        }33        {34        }35        {36            [OnEntry(nameof(InitOnEntry))]37            [OnEventDoAction(typeof(Done), nameof(DoneAction))]38            {39            }40            private void InitOnEntry(Event e)41            {42                this.SendEvent(this.Id, new Done());43            }44            private void DoneAction()45            {46                this.RaiseHaltEvent();47            }48        }49        {50            [OnEntry(nameof(InitOnEntry))]51            [OnEventDoAction(typeof(Done), nameof(DoneAction))]52            {53            }54            private void InitOnEntry(Event e)55            {56                this.SendEvent(this.Id, new Done());57            }58            private void DoneAction()59            {60                this.RaiseHaltEvent();61            }62        }63        {64            [OnEntry(nameof(InitOnEntry))]

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.