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

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

OnExceptionTests.cs

Source:OnExceptionTests.cs

...6using Xunit.Abstractions;7using SystemTasks = System.Threading.Tasks;8namespace Microsoft.Coyote.Actors.Tests9{10    public class OnExceptionTests : BaseActorTest11    {12        public OnExceptionTests(ITestOutputHelper output)13            : base(output)14        {15        }16        private class E : Event17        {18            public int X;19            public TaskCompletionSource<bool> Tcs;20            public E(TaskCompletionSource<bool> tcs)21            {22                this.X = 0;23                this.Tcs = tcs;24            }25        }26        private class F : Event27        {28        }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);261                this.Event.Tcs.TrySetResult(true);262                return SystemTasks.Task.CompletedTask;263            }264        }265        [Fact(Timeout = 5000)]266        public async SystemTasks.Task TestUnhandledEventCanHalt()267        {268            await this.RunAsync(async r =>269            {270                var failed = false;...

OnException

Using AI Code Generation

1using System;2using System.Collections.Generic;3using System.Linq;4using System.Text;5using System.Threading.Tasks;6{7    {8        static void Main(string[] args)9        {10            OnExceptionTests test = new OnExceptionTests();11            test.OnException();12        }13    }14}15using System;16using System.Collections.Generic;17using System.Linq;18using System.Text;19using System.Threading.Tasks;20{21    {22        static void Main(string[] args)23        {24            OnExceptionTests test = new OnExceptionTests();25            test.OnException();26        }27    }28}29using System;30using System.Collections.Generic;31using System.Linq;32using System.Text;33using System.Threading.Tasks;34{35    {36        static void Main(string[] args)37        {38            OnExceptionTests test = new OnExceptionTests();39            test.OnException();40        }41    }42}43using System;44using System.Collections.Generic;45using System.Linq;46using System.Text;47using System.Threading.Tasks;48{49    {50        static void Main(string[] args)51        {52            OnExceptionTests test = new OnExceptionTests();53            test.OnException();54        }55    }56}57using System;58using System.Collections.Generic;59using System.Linq;60using System.Text;61using System.Threading.Tasks;62{

OnException

Using AI Code Generation

1using Microsoft.Coyote;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.Specifications;4using System;5using System.Threading.Tasks;6{7    {8        public class E : Event { }9        {10            public ActorId Id;11            public M(ActorId id)12            {13                this.Id = id;14            }15        }16        public class N : Event { }17        {18            protected override async Task OnInitializeAsync(Event initialEvent)19            {20                await this.SendEventAsync(this.Id, new N());21            }22            protected override async Task OnEventAsync(Event e)23            {24                if (e is E)25                {26                    throw new Exception();27                }28                else if (e is N)29                {30                    await this.SendEventAsync(this.Id, new E());31                }32            }33            protected override void OnException(Exception ex, Event e)34            {35                this.Assert(false);36            }37        }38        [Fact(Timeout = 5000)]39        public void TestOnException()40        {41            this.TestWithError(r =>42            {43                r.RegisterMonitor<SpeculativeMonitor>();44                r.CreateActor(typeof(A));45            },46            configuration: GetConfiguration().WithTestingIterations(100),47            replay: true);48        }49    }50}51using Microsoft.Coyote;52using Microsoft.Coyote.Actors;53using Microsoft.Coyote.Specifications;54using System;55using System.Threading.Tasks;56{57    {58        public class E : Event { }59        {60            public ActorId Id;61            public M(ActorId id)62            {63                this.Id = id;64            }65        }66        public class N : Event { }67        {68            protected override async Task OnInitializeAsync(Event initialEvent)69            {70                await this.SendEventAsync(this.Id, new N());71            }72            protected override async Task OnEventAsync(Event e)73            {74                if (e is E)75                {76                    throw new Exception();77                }78                else if (e is N)79                {

OnException

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Testing;6using Microsoft.Coyote.TestingServices;7using Microsoft.Coyote.TestingServices.Runtime;8using Microsoft.Coyote.TestingServices.SchedulingStrategies;9using Microsoft.Coyote.TestingServices.Threading;10using Microsoft.Coyote.Tests.Common;11using Microsoft.Coyote.Tests.Common.Actors;12using Microsoft.Coyote.Tests.Common.Runtime;13using Microsoft.Coyote.Tests.Common.TestingServices;14using Microsoft.Coyote.Tests.Common.TestingServices.SchedulingStrategies;15using Microsoft.Coyote.Tests.Common.TestingServices.Threading;16using Microsoft.Coyote.Tests.Common.Utilities;17using Microsoft.Coyote.Tests.Common.Utilities.System;18using Microsoft.Coyote.Tests.Common.Utilities.System.Collections.Generic;19using Microsoft.Coyote.Tests.Common.Utilities.System.Diagnostics;20using Microsoft.Coyote.Tests.Common.Utilities.System.IO;21using Microsoft.Coyote.Tests.Common.Utilities.System.Threading;22using Microsoft.Coyote.Tests.Common.Utilities.System.Threading.Tasks;23using Microsoft.Coyote.Tests.Common.Utilities.System.Timers;24using Microsoft.Coyote.Tests.Common.Utilities.System.Xml;25using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Linq;26using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Serialization;27using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XPath;28using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Xsl;29using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XmlDiff;30using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XmlSerializer;31using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Linq;32using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XPath;33using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Xsl;34using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XmlDiff;35using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XmlSerializer;36using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Linq;37using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XPath;38using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Xsl;39using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XmlDiff;40using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XmlSerializer;41using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Linq;42using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XPath;43using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.Xsl;44using Microsoft.Coyote.Tests.Common.Utilities.System.Xml.XmlDiff;

OnException

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.Tests.Common;8using Xunit;9using Xunit.Abstractions;10{11    {12        public OnExceptionTests(ITestOutputHelper output)13            : base(output)14        {15        }16        {17        }18        {19            protected override Task OnInitializeAsync(Event initialEvent)20            {21                this.SendEvent(this.Id, new E());22                return Task.CompletedTask;23            }24            protected override Task OnEventAsync(Event e)25            {26                throw new Exception();27            }28            protected override Task OnExceptionAsync(Exception exception, Event e)29            {30                this.Assert(false);31                return Task.CompletedTask;32            }33        }34        [Fact(Timeout = 5000)]35        public void TestOnException()36        {37            this.TestWithError(async () =>38            {39                await this.RunAsync(async r =>40                {41                    await r.CreateActorAsync(typeof(A));42                });43            },44            configuration: this.GetConfiguration().WithTestingIterations(100));45        }46    }47}48using System;49using System.Threading.Tasks;50using Microsoft.Coyote;51using Microsoft.Coyote.Actors;52using Microsoft.Coyote.Actors.Timers;53using Microsoft.Coyote.Specifications;54using Microsoft.Coyote.Tests.Common;55using Xunit;56using Xunit.Abstractions;57{58    {59        public OnExceptionTests(ITestOutputHelper output)60            : base(output)61        {62        }63        {64        }65        {66            protected override Task OnInitializeAsync(Event initialEvent)67            {68                this.SendEvent(this.Id, new E());69                return Task.CompletedTask;70            }71            protected override Task OnEventAsync(Event e)72            {73                throw new Exception();74            }

OnException

Using AI Code Generation

1{2    protected override async Task OnInitializeAsync(Event initialEvent)3    {4        await this.RaiseEventAsync(new E());5    }6    [OnEventDoAction(typeof(E), nameof(OnE))]7    private class S : State { }8    private async Task OnE(Event e)9    {10        throw new Exception("Exception");11    }12    protected override void OnException(string methodName, Exception ex)13    {14        this.Assert(ex.Message.Equals("Exception"));15        this.RaiseGotoStateEvent<S>();16    }17}18{19    protected override async Task OnInitializeAsync(Event initialEvent)20    {21        await this.RaiseEventAsync(new E());22    }23    [OnEventDoAction(typeof(E), nameof(OnE))]24    private class S : State { }25    private async Task OnE(Event e)26    {27        throw new Exception("Exception");28    }29    protected override void OnException(string methodName, Exception ex)30    {31        this.Assert(ex.Message.Equals("Exception"));32        this.RaiseGotoStateEvent<S>();33    }34}35{36    protected override async Task OnInitializeAsync(Event initialEvent)37    {38        await this.RaiseEventAsync(new E());39    }40    [OnEventDoAction(typeof(E), nameof(OnE))]41    private class S : State { }42    private async Task OnE(Event e)43    {44        throw new Exception("Exception");45    }46    protected override void OnException(string methodName, Exception ex)47    {48        this.Assert(ex.Message.Equals("Exception"));49        this.RaiseGotoStateEvent<S>();50    }51}52{53    protected override async Task OnInitializeAsync(Event initialEvent)54    {55        await this.RaiseEventAsync(new E());56    }57    [OnEventDoAction(typeof(E), nameof(OnE))]58    private class S : State { }59    private async Task OnE(Event e)60    {61        throw new Exception("Exception");62    }

OnException

Using AI Code Generation

1public void OnExceptionTest()2{3    var runtime = new CoyoteRuntime();4    runtime.CreateActor(typeof(OnExceptionTests));5    runtime.SendEvent(typeof(OnExceptionTests), new OnExceptionTests.Start());6    runtime.Run();7}8public void OnExceptionTest()9{10    var runtime = new CoyoteRuntime();11    runtime.CreateActor(typeof(OnExceptionTests));12    runtime.SendEvent(typeof(OnExceptionTests), new OnExceptionTests.Start());13    runtime.Run();14}15public void OnExceptionTest()16{17    var runtime = new CoyoteRuntime();18    runtime.CreateActor(typeof(OnExceptionTests));19    runtime.SendEvent(typeof(OnExceptionTests), new OnExceptionTests.Start());20    runtime.Run();21}22public void OnExceptionTest()23{24    var runtime = new CoyoteRuntime();25    runtime.CreateActor(typeof(OnExceptionTests));26    runtime.SendEvent(typeof(OnExceptionTests), new OnExceptionTests.Start());27    runtime.Run();28}29public void OnExceptionTest()30{31    var runtime = new CoyoteRuntime();32    runtime.CreateActor(typeof(OnExceptionTests));33    runtime.SendEvent(typeof(OnExceptionTests), new OnExceptionTests.Start());34    runtime.Run();35}36public void OnExceptionTest()37{38    var runtime = new CoyoteRuntime();39    runtime.CreateActor(typeof(OnExceptionTests));40    runtime.SendEvent(typeof(OnExceptionTests), new OnExceptionTests.Start());41    runtime.Run();42}43public void OnExceptionTest()44{45    var runtime = new CoyoteRuntime();46    runtime.CreateActor(typeof(OnExceptionTests));47    runtime.SendEvent(typeof(OnExceptionTests), new OnExceptionTests.Start());48    runtime.Run();49}

OnException

Using AI Code Generation

1{2    {3        public void TestOnException()4        {5            this.TestWithError(r =>6            {7                r.RegisterMonitor<M>();8                r.CreateActor(typeof(M));9            },10            configuration: GetConfiguration().WithTestingIterations(200),11            replay: true);12        }13        public void TestOnException2()14        {15            this.TestWithError(r =>16            {17                r.RegisterMonitor<M>();18                r.CreateActor(typeof(M));19            },20            configuration: GetConfiguration().WithTestingIterations(200),21            replay: true);22        }23        public void TestOnException3()24        {25            this.TestWithError(r =>26            {27                r.RegisterMonitor<M>();28                r.CreateActor(typeof(M));29            },30            configuration: GetConfiguration().WithTestingIterations(200),31            replay: true);32        }33        public void TestOnException4()34        {35            this.TestWithError(r =>36            {37                r.RegisterMonitor<M>();38                r.CreateActor(typeof(M));39            },40            configuration: GetConfiguration().WithTestingIterations(200),41            replay: true);42        }43        public void TestOnException5()44        {45            this.TestWithError(r =>46            {47                r.RegisterMonitor<M>();48                r.CreateActor(typeof(M));49            },50            configuration: GetConfiguration().WithTestingIterations(200),51            replay: true);52        }

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.