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

Copied to Clipboard!

How to use Timer class of Microsoft.Coyote.Samples.Monitors package

Best Coyote code snippet using Microsoft.Coyote.Samples.Monitors.Timer

FailureDetector.cs

Source:FailureDetector.cs

...25            {26                this.Node = node;27            }28        }29        private class TimerCancelled : Event { }30        private class RoundDone : Event { }31        private class Unit : Event { }32        /// <summary>33        /// Nodes to be monitored.34        /// </summary>35        private HashSet<ActorId> Nodes;36        /// <summary>37        /// Set of registered clients.38        /// </summary>39        private HashSet<ActorId> Clients;40        /// <summary>41        /// Number of made 'Ping' attempts.42        /// </summary>43        private int Attempts;44        /// <summary>45        /// Set of alive nodes.46        /// </summary>47        private HashSet<ActorId> Alive;48        /// <summary>49        /// Collected responses in one round.50        /// </summary>51        private HashSet<ActorId> Responses;52        /// <summary>53        /// Reference to the timer machine.54        /// </summary>55        private ActorId Timer;56        [Start]57        [OnEntry(nameof(InitOnEntry))]58        [OnEventDoAction(typeof(Driver.RegisterClient), nameof(RegisterClientAction))]59        [OnEventDoAction(typeof(Driver.UnregisterClient), nameof(UnregisterClientAction))]60        [OnEventPushState(typeof(Unit), typeof(SendPing))]61        private class Init : State { }62        private void InitOnEntry(Event e)63        {64            var nodes = (e as Config).Nodes;65            this.Nodes = new HashSet<ActorId>(nodes);66            this.Clients = new HashSet<ActorId>();67            this.Alive = new HashSet<ActorId>();68            this.Responses = new HashSet<ActorId>();69            // Initializes the alive set to contain all available nodes.70            foreach (var node in this.Nodes)71            {72                this.Alive.Add(node);73            }74            // Initializes the timer.75            this.Timer = this.CreateActor(typeof(Timer), new Timer.Config(this.Id));76            // Transitions to the 'SendPing' state after everything has initialized.77            this.RaiseEvent(new Unit());78        }79        private void RegisterClientAction(Event e)80        {81            var client = (e as Driver.RegisterClient).Client;82            this.Clients.Add(client);83        }84        private void UnregisterClientAction(Event e)85        {86            var client = (e as Driver.UnregisterClient).Client;87            if (this.Clients.Contains(client))88            {89                this.Clients.Remove(client);90            }91        }92        [OnEntry(nameof(SendPingOnEntry))]93        [OnEventGotoState(typeof(RoundDone), typeof(Reset))]94        [OnEventPushState(typeof(TimerCancelled), typeof(WaitForCancelResponse))]95        [OnEventDoAction(typeof(Node.Pong), nameof(PongAction))]96        [OnEventDoAction(typeof(Timer.TimeoutEvent), nameof(TimeoutAction))]97        private class SendPing : State { }98        private void SendPingOnEntry()99        {100            foreach (var node in this.Nodes)101            {102                // Sends a 'Ping' event to any machine that has not responded.103                if (this.Alive.Contains(node) && !this.Responses.Contains(node))104                {105                    this.Monitor<Safety>(new Safety.Ping(node));106                    this.SendEvent(node, new Node.Ping(this.Id));107                }108            }109            // Starts the timer with a given timeout value. Note that in this sample,110            // the timeout value is not actually used, because the timer is abstracted111            // away using Coyote to enable systematic testing (i.e. timeouts are triggered112            // nondeterministically). In production, this model timer machine will be113            // replaced by a real timer.114            this.SendEvent(this.Timer, new Timer.StartTimerEvent(100));115        }116        /// <summary>117        /// This action is triggered whenever a node replies with a 'Pong' event.118        /// </summary>119        private void PongAction(Event e)120        {121            var node = (e as Node.Pong).Node;122            if (this.Alive.Contains(node))123            {124                this.Responses.Add(node);125                // Checks if the status of alive nodes has changed.126                if (this.Responses.Count == this.Alive.Count)127                {128                    this.SendEvent(this.Timer, new Timer.CancelTimerEvent());129                    this.RaiseEvent(new TimerCancelled());130                }131            }132        }133        private void TimeoutAction()134        {135            // One attempt is done for this round.136            this.Attempts++;137            // Each round has a maximum number of 2 attempts.138            if (this.Responses.Count < this.Alive.Count && this.Attempts < 2)139            {140                // Retry by looping back to same state.141                this.RaiseGotoStateEvent<SendPing>();142                return;143            }144            foreach (var node in this.Nodes)145            {146                if (this.Alive.Contains(node) && !this.Responses.Contains(node))147                {148                    this.Alive.Remove(node);149                    // Send failure notification to any clients.150                    foreach (var client in this.Clients)151                    {152                        this.SendEvent(client, new NodeFailed(node));153                    }154                }155            }156            this.RaiseEvent(new RoundDone());157        }158        [OnEventDoAction(typeof(Timer.CancelSuccess), nameof(CancelSuccessAction))]159        [OnEventDoAction(typeof(Timer.CancelFailure), nameof(CancelFailure))]160        [DeferEvents(typeof(Timer.TimeoutEvent), typeof(Node.Pong))]161        private class WaitForCancelResponse : State { }162        private void CancelSuccessAction()163        {164            this.RaiseEvent(new RoundDone());165        }166        private void CancelFailure()167        {168            this.RaisePopStateEvent();169        }170        [OnEntry(nameof(ResetOnEntry))]171        [OnEventGotoState(typeof(Timer.TimeoutEvent), typeof(SendPing))]172        [IgnoreEvents(typeof(Node.Pong))]173        private class Reset : State { }174        /// <summary>175        /// Prepares the failure detector for the next round.176        /// </summary>177        private void ResetOnEntry()178        {179            this.Attempts = 0;180            this.Responses.Clear();181            // Starts the timer with a given timeout value (see details above).182            this.SendEvent(this.Timer, new Timer.StartTimerEvent(1000));183        }184    }185}...

Timer.cs

Source:Timer.cs

...8    /// This Coyote machine models a cancellable and non-deterministic operating system timer.9    /// It fires timeouts in a non-deterministic fashion using the Coyote10    /// method 'Random', rather than using an actual timeout.11    /// </summary>12    internal class Timer : StateMachine13    {14        internal class Config : Event15        {16            public ActorId Target;17            public Config(ActorId target)18            {19                this.Target = target;20            }21        }22        /// <summary>23        /// Although this event accepts a timeout value, because24        /// this machine models a timer by nondeterministically25        /// triggering a timeout, this value is not used.26        /// </summary>27        internal class StartTimerEvent : Event28        {29            public int Timeout;30            public StartTimerEvent(int timeout)31            {32                this.Timeout = timeout;33            }34        }35        internal class TimeoutEvent : Event { }36        internal class CancelSuccess : Event { }37        internal class CancelFailure : Event { }38        internal class CancelTimerEvent : Event { }39        /// <summary>40        /// Reference to the owner of the timer.41        /// </summary>42        private ActorId Target;43        [Start]44        [OnEntry(nameof(InitOnEntry))]45        private class Init : State { }46        /// <summary>47        /// When it enters the 'Init' state, the timer receives a reference to48        /// the target machine, and then transitions to the 'WaitForReq' state.49        /// </summary>50        private void InitOnEntry(Event e)51        {52            this.Target = (e as Config).Target;53            this.RaiseGotoStateEvent<WaitForReq>();54        }55        /// <summary>56        /// The timer waits in the 'WaitForReq' state for a request from the client.57        ///58        /// It responds with a 'CancelFailure' event on a 'CancelTimer' event.59        ///60        /// It transitions to the 'WaitForCancel' state on a 'StartTimerEvent' event.61        /// </summary>62        [OnEventGotoState(typeof(CancelTimerEvent), typeof(WaitForReq), nameof(CancelTimerAction))]63        [OnEventGotoState(typeof(StartTimerEvent), typeof(WaitForCancel))]64        private class WaitForReq : State { }65        private void CancelTimerAction()66        {67            this.SendEvent(this.Target, new CancelFailure());68        }69        /// <summary>70        /// In the 'WaitForCancel' state, any 'StartTimerEvent' event is dequeued and dropped without any71        /// action (indicated by the 'IgnoreEvents' declaration).72        /// </summary>73        [IgnoreEvents(typeof(StartTimerEvent))]74        [OnEventGotoState(typeof(CancelTimerEvent), typeof(WaitForReq), nameof(CancelTimerAction2))]75        [OnEventGotoState(typeof(DefaultEvent), typeof(WaitForReq), nameof(DefaultAction))]76        private class WaitForCancel : State { }77        private void DefaultAction()78        {79            this.SendEvent(this.Target, new TimeoutEvent());80        }81        /// <summary>82        /// The response to a 'CancelTimer' event is nondeterministic. During testing, Coyote will83        /// take control of this source of nondeterminism and explore different execution paths.84        ///85        /// Using this approach, we model the race condition between the arrival of a 'CancelTimer'86        /// event from the target and the elapse of the timer.87        /// </summary>88        private void CancelTimerAction2()89        {90            // A nondeterministic choice that is controlled by the Coyote runtime during testing.91            if (this.RandomBoolean())92            {93                this.SendEvent(this.Target, new CancelSuccess());94            }95            else96            {97                this.SendEvent(this.Target, new CancelFailure());98                this.SendEvent(this.Target, new TimeoutEvent());99            }100        }101    }102}...

Timer

Using AI Code Generation

1using Microsoft.Coyote.Samples.Monitors;2using System;3using System.Threading.Tasks;4{5    {6        static void Main(string[] args)7        {8            Console.WriteLine("Hello World!");9            var timer = new Timer();10            Console.WriteLine("Timer created");11            timer.Start();12            Console.WriteLine("Timer started");13            Task.Delay(10000).Wait();14            Console.WriteLine("Timer stopped");15            timer.Stop();16            Console.WriteLine("Timer stopped");17            Console.WriteLine("Timer elapsed time: " + timer.ElapsedTime);18            Console.ReadLine();19        }20    }21}22using Microsoft.Coyote.Samples.Monitors;23using System;24using System.Threading.Tasks;25{26    {

Timer

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Samples.Monitors;5{6    {7        static void Main(string[] args)8        {9            Task.Run(async () => await RunTimer());10            Console.ReadLine();11        }12        static async Task RunTimer()13        {14            var timer = new Timer(1000);15            Console.WriteLine("Timer started");16            await timer;17            Console.WriteLine("Timer expired");18        }19    }20}21using System;22using System.Threading.Tasks;23using Microsoft.Coyote;24using Microsoft.Coyote.Samples.Monitors;25{26    {27        static void Main(string[] args)28        {29            Task.Run(async () => await RunTimer());30            Console.ReadLine();31        }32        static async Task RunTimer()33        {34            var timer = new Timer(1000);35            Console.WriteLine("Timer started");36            await timer;37            Console.WriteLine("Timer expired");38        }39    }40}41using System;42using System.Threading.Tasks;43using Microsoft.Coyote;44using Microsoft.Coyote.Samples.Monitors;45{46    {47        static void Main(string[] args)48        {49            Task.Run(async () => await RunTimer());50            Console.ReadLine();51        }52        static async Task RunTimer()53        {54            var timer = new Timer(1000);55            Console.WriteLine("Timer started");56            await timer;57            Console.WriteLine("Timer expired");58        }59    }60}61using System;62using System.Threading.Tasks;63using Microsoft.Coyote;64using Microsoft.Coyote.Samples.Monitors;65{66    {67        static void Main(string[] args)68        {69            Task.Run(async () => await RunTimer());70            Console.ReadLine();71        }72        static async Task RunTimer()73        {74            var timer = new Timer(1000);75            Console.WriteLine("Timer started");76            await timer;77            Console.WriteLine("Timer expired");78        }79    }80}

Timer

Using AI Code Generation

1using Microsoft.Coyote.Samples.Monitors;2using System;3using System.Threading.Tasks;4{5    {6        static void Main(string[] args)7        {8            Console.WriteLine("Hello World!");9            Timer timer = new Timer();10            timer.Start(1000, 1000);11            timer.Elapsed += Timer_Elapsed;12            Console.ReadKey();13        }14        private static void Timer_Elapsed(object sender, EventArgs e)15        {16            Console.WriteLine("Timer elapsed");17        }18    }19}20using System;21using System.Threading.Tasks;22using System.Timers;23{24    {25        static void Main(string[] args)26        {27            Console.WriteLine("Hello World!");28            Timer timer = new Timer();29            timer.Interval = 1000;30            timer.Elapsed += Timer_Elapsed;31            timer.Start();32            Console.ReadKey();33        }34        private static void Timer_Elapsed(object sender, ElapsedEventArgs e)35        {36            Console.WriteLine("Timer elapsed");37        }38    }39}

Timer

Using AI Code Generation

1using System;2using Microsoft.Coyote.Samples.Monitors;3{4    static void Main(string[] args)5    {6        Console.WriteLine("Hello World!");7        Timer timer = new Timer(1000);8        timer.Start();9        Console.WriteLine("Timer started");10        timer.Stop();11        Console.WriteLine("Timer stopped");12    }13}14using System;15using Microsoft.Coyote.Samples.Monitors;16{17    static void Main(string[] args)18    {19        Console.WriteLine("Hello World!");20        Timer timer = new Timer(1000);21        timer.Start();22        Console.WriteLine("Timer started");23        timer.Stop();24        Console.WriteLine("Timer stopped");25        timer.Start();26        Console.WriteLine("Timer started");27        timer.Stop();28        Console.WriteLine("Timer stopped");29    }30}

Timer

Using AI Code Generation

1using System;2using Microsoft.Coyote.Samples.Monitors;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5{6    {7        public static void Main(string[] args)8        {9            var config = Configuration.Create().WithVerbosityEnabled();10            using (var runtime = RuntimeFactory.Create(config))11            {12                runtime.CreateActor(typeof(TimerActor));13                runtime.Wait();14            }15        }16    }17    {18        [OnEntry(nameof(InitOnEntry))]19        [OnEventDoAction(typeof(TimerElapsedEvent), nameof(HandleTimerElapsed))]20        class Init : State { }21        Timer timer;22        private void InitOnEntry(Event e)23        {24            this.timer = new Timer(this, TimeSpan.FromSeconds(2));25            this.timer.Start();26        }27        private void HandleTimerElapsed()28        {29            this.timer.Dispose();30            this.RaiseHaltEvent();31        }32    }33}34using System;35using Microsoft.Coyote.Samples.Monitors;36using Microsoft.Coyote;37using Microsoft.Coyote.Actors;38{39    {40        public static void Main(string[] args)41        {42            var config = Configuration.Create().WithVerbosityEnabled();43            using (var runtime = RuntimeFactory.Create(config))44            {45                runtime.CreateActor(typeof(TimerActor));46                runtime.Wait();47            }48        }49    }50    {51        [OnEntry(nameof(InitOnEntry))]52        [OnEventDoAction(typeof(TimerElapsedEvent), nameof(HandleTimerElapsed))]53        class Init : State { }54        Timer timer;55        private void InitOnEntry(Event e)56        {57            this.timer = new Timer(this, TimeSpan.FromSeconds(2));58            this.timer.Start();59        }60        private void HandleTimerElapsed()61        {62            this.timer.Dispose();63            this.RaiseHaltEvent();64        }65    }66}

Timer

Using AI Code Generation

1using System;2using System.Threading;3using Microsoft.Coyote;4using Microsoft.Coyote.Samples.Monitors;5{6    {7        private static Timer timer;8        static void Main(string[] args)9        {10            Console.WriteLine("Hello World!");11            timer = new Timer(5000);12            timer.Start();13            timer.Elapsed += (s, e) => {14                Console.WriteLine("Timer elapsed");15                timer.Stop();16            };17            Console.ReadLine();18        }19    }20}

Timer

Using AI Code Generation

1using System;2using System.Threading.Tasks;3using Microsoft.Coyote;4using Microsoft.Coyote.Actors;5using Microsoft.Coyote.Samples.Monitors;6{7    {8        [OnEventDoAction(typeof(TimerStart), nameof(OnTimerStart))]9        [OnEventDoAction(typeof(TimerStop), nameof(OnTimerStop))]10        [OnEventDoAction(typeof(TimerElapsed), nameof(OnTimerElapsed))]11        private class Init : State { }12        private void OnTimerStart(Event e)13        {14            var startEvent = e as TimerStart;15            var timeout = startEvent.Timeout;16            var elapsedEvent = new TimerElapsed();17            this.SendEvent(this.Id, elapsedEvent, timeout);18        }19        private void OnTimerStop(Event e)20        {21            this.RaiseHaltEvent();22        }23        private void OnTimerElapsed(Event e)24        {25            this.Monitor<SafetyMonitor>(new TimerElapsed());26        }27    }28    {29        public int Timeout { get; }30        public TimerStart(int timeout)31        {32            this.Timeout = timeout;33        }34    }35    public class TimerStop : Event { }36    public class TimerElapsed : Event { }37    {38        [OnEventDoAction(typeof(TimerElapsed), nameof(OnTimerElapsed))]39        private class Safe : State { }40        private void OnTimerElapsed()41        {42            this.Assert(false, "Timer elapsed.");43        }44    }45    {46        public static void Main(string[] args)47        {48            var configuration = Configuration.Create().WithVerbosityEnabled(2);49            var runtime = RuntimeFactory.Create(configuration);50            runtime.RegisterMonitor<SafetyMonitor>();51            runtime.CreateActor(typeof(Timer));52            var startEvent = new TimerStart(10);53            runtime.SendEvent(runtime.CreateActor(typeof(Timer)), startEvent);54            runtime.Wait();55        }56    }57}58using System;59using System.Threading.Tasks;60using Microsoft.Coyote;61using Microsoft.Coyote.Actors;62using Microsoft.Coyote.Samples.Monitors;63{64    {65        [OnEventDoAction(typeof

Timer

Using AI Code Generation

1using Microsoft.Coyote.Samples.Monitors;2using System;3using System.Threading;4using System.Threading.Tasks;5{6    {7        static void Main(string[] args)8        {9            Timer timer = new Timer();10            timer.Start();11            Thread.Sleep(3000);12            timer.Stop();13            Console.WriteLine("Elapsed Time: " + timer.ElapsedTime);14        }15    }16}17using System;18using System.Diagnostics;19using System.Threading;20{21    {22        static void Main(string[] args)23        {24            Stopwatch timer = new Stopwatch();25            timer.Start();26            Thread.Sleep(3000);27            timer.Stop();28            Console.WriteLine("Elapsed Time: " + timer.ElapsedMilliseconds);29        }30    }31}32using System;33using System.Timers;34using System.Threading;35{36    {37        static void Main(string[] args)38        {39            System.Timers.Timer timer = new System.Timers.Timer();40            timer.Interval = 3000;41            timer.Start();42            Thread.Sleep(3000);43            timer.Stop();44            Console.WriteLine("Elapsed Time: " + timer.Interval);45        }46    }47}48using System;49using System.Threading;50using System.Threading.Tasks;51{52    {53        static void Main(string[] args)54        {55            System.Threading.Timer timer = new System.Threading.Timer(TimerCallback, null, 0, 3000);56            Thread.Sleep(3000);57            timer.Change(Timeout.Infinite, Timeout.Infinite);

Timer

Using AI Code Generation

1using System;2using Microsoft.Coyote.Samples.Monitors;3using Microsoft.Coyote.Tasks;4using Microsoft.Coyote.Samples.CoyoteTasks;5using System.Threading.Tasks;6using System.Diagnostics;7{8    {9        static async Task Main(string[] args)10        {11            var timer = new Timer();12            timer.Start();13            Console.WriteLine("Hello World!");14            await Task.Delay(1000);15            timer.Stop();16            Console.WriteLine("Time elapsed: " + timer.ElapsedMilliseconds);17        }18    }19}20using System;21using Microsoft.Coyote.Samples.Monitors;22using Microsoft.Coyote.Tasks;23using Microsoft.Coyote.Samples.CoyoteTasks;24using System.Threading.Tasks;25using System.Diagnostics;26{27    {28        static async Task Main(string[] args)29        {30            var stopwatch = new Stopwatch();31            stopwatch.Start();32            Console.WriteLine("Hello World!");33            await Task.Delay(1000);34            stopwatch.Stop();35            Console.WriteLine("Time elapsed: " + stopwatch.ElapsedMilliseconds);36        }37    }38}39using System;40using Microsoft.Coyote.Samples.Monitors;41using Microsoft.Coyote.Tasks;42using Microsoft.Coyote.Samples.CoyoteTasks;43using System.Threading.Tasks;44using System.Diagnostics;45{46    {47        static async Task Main(string[] args)48        {49            var stopwatch = new Stopwatch();50            stopwatch.Start();51            Console.WriteLine("Hello World!");52            await Task.Delay(1000);53            stopwatch.Stop();54            Console.WriteLine("Time elapsed: " + stopwatch.ElapsedMilliseconds);55        }56    }57}58using System;59using Microsoft.Coyote.Samples.Monitors;60using Microsoft.Coyote.Tasks;61using Microsoft.Coyote.Samples.CoyoteTasks;62using System.Threading.Tasks;63using System.Diagnostics;64{65    {66        static async Task Main(string[] args)67        {

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.