How to use IdleEvent class of Microsoft.Coyote.Samples.CoffeeMachineActors package

Best Coyote code snippet using Microsoft.Coyote.Samples.CoffeeMachineActors.IdleEvent

CoffeeMachine.cs

Source:CoffeeMachine.cs

...200        [OnEventDoAction(typeof(HopperEmptyEvent), nameof(OnHopperEmpty))]201        private class Ready : State { }202        private void OnReady()203        {204            this.Monitor<LivenessMonitor>(new LivenessMonitor.IdleEvent());205            this.Log.WriteLine("Coffee machine is ready to make coffee (green light is on)");206        }207        [OnEntry(nameof(OnMakeCoffee))]208        private class MakingCoffee : State { }209        private void OnMakeCoffee(Event e)210        {211            var evt = e as MakeCoffeeEvent;212            this.Monitor<LivenessMonitor>(new LivenessMonitor.BusyEvent());213            this.Log.WriteLine($"Coffee requested, shots={evt.Shots}");214            this.ShotsRequested = evt.Shots;215            // First we assume user placed a new cup in the machine, and so the shot count is zero.216            this.PreviousShotCount = 0;217            // Grind beans until porta filter is full. Turn on shot button for desired time dump the218            // grinds, while checking for error conditions, e.g. out of water or coffee beans.219            this.RaiseGotoStateEvent<GrindingBeans>();220        }221        [OnEntry(nameof(OnGrindingBeans))]222        [OnEventDoAction(typeof(PortaFilterCoffeeLevelEvent), nameof(MonitorPortaFilter))]223        [OnEventDoAction(typeof(HopperLevelEvent), nameof(MonitorHopperLevel))]224        [OnEventDoAction(typeof(HopperEmptyEvent), nameof(OnHopperEmpty))]225        [IgnoreEvents(typeof(WaterHotEvent))]226        private class GrindingBeans : State { }227        private void OnGrindingBeans()228        {229            // Grind beans until porta filter is full.230            this.Log.WriteLine("Grinding beans...");231            // Turn on the grinder!232            this.SendEvent(this.CoffeeGrinder, new GrinderButtonEvent(true));233            // And keep monitoring the porta filter till it is full, and the bean level in case we get empty.234            this.SendEvent(this.CoffeeGrinder, new ReadHopperLevelEvent());235        }236        private void MonitorPortaFilter(Event e)237        {238            var evt = e as PortaFilterCoffeeLevelEvent;239            if (evt.CoffeeLevel >= 100)240            {241                this.Log.WriteLine("PortaFilter is full");242                this.SendEvent(this.CoffeeGrinder, new GrinderButtonEvent(false));243                this.RaiseGotoStateEvent<MakingShots>();244            }245            else246            {247                if (evt.CoffeeLevel != this.PreviousCoffeeLevel)248                {249                    this.PreviousCoffeeLevel = evt.CoffeeLevel;250                    this.Log.WriteLine("PortaFilter is {0} % full", evt.CoffeeLevel);251                }252            }253        }254        private void MonitorHopperLevel(Event e)255        {256            var evt = e as HopperLevelEvent;257            if (evt.HopperLevel == 0)258            {259                this.OnHopperEmpty();260            }261            else262            {263                this.SendEvent(this.CoffeeGrinder, new ReadHopperLevelEvent());264            }265        }266        private void OnHopperEmpty()267        {268            this.Log.WriteError("hopper is empty!");269            this.SendEvent(this.CoffeeGrinder, new GrinderButtonEvent(false));270            this.RaiseGotoStateEvent<RefillRequired>();271        }272        [OnEntry(nameof(OnMakingShots))]273        [OnEventDoAction(typeof(WaterLevelEvent), nameof(OnMonitorWaterLevel))]274        [OnEventDoAction(typeof(ShotCompleteEvent), nameof(OnShotComplete))]275        [OnEventDoAction(typeof(WaterEmptyEvent), nameof(OnWaterEmpty))]276        [IgnoreEvents(typeof(WaterHotEvent), typeof(HopperLevelEvent), typeof(HopperEmptyEvent))]277        private class MakingShots : State { }278        private void OnMakingShots()279        {280            // Pour the shots.281            this.Log.WriteLine("Making shots...");282            // Turn on the grinder!283            this.SendEvent(this.WaterTank, new PumpWaterEvent(true));284            // And keep monitoring the water is empty while we wait for ShotCompleteEvent.285            this.SendEvent(this.WaterTank, new ReadWaterLevelEvent());286        }287        private void OnShotComplete()288        {289            this.PreviousShotCount++;290            if (this.PreviousShotCount >= this.ShotsRequested)291            {292                this.Log.WriteLine("{0} shots completed and {1} shots requested!", this.PreviousShotCount, this.ShotsRequested);293                if (this.PreviousShotCount > this.ShotsRequested)294                {295                    this.Log.WriteError("Made the wrong number of shots!");296                    this.Assert(false, "Made the wrong number of shots");297                }298                this.RaiseGotoStateEvent<Cleanup>();299            }300            else301            {302                this.Log.WriteLine("Shot count is {0}", this.PreviousShotCount);303                // request another shot!304                this.SendEvent(this.WaterTank, new PumpWaterEvent(true));305            }306        }307        private void OnWaterEmpty()308        {309            this.Log.WriteError("Water is empty!");310            // Turn off the water pump.311            this.SendEvent(this.WaterTank, new PumpWaterEvent(false));312            this.RaiseGotoStateEvent<RefillRequired>();313        }314        private void OnMonitorWaterLevel(Event e)315        {316            var evt = e as WaterLevelEvent;317            if (evt.WaterLevel <= 0)318            {319                this.OnWaterEmpty();320            }321        }322        [OnEntry(nameof(OnCleanup))]323        [IgnoreEvents(typeof(WaterLevelEvent))]324        private class Cleanup : State { }325        private void OnCleanup()326        {327            // Dump the grinds.328            this.Log.WriteLine("Dumping the grinds!");329            this.SendEvent(this.CoffeeGrinder, new DumpGrindsButtonEvent(true));330            if (this.Client != null)331            {332                this.SendEvent(this.Client, new CoffeeCompletedEvent());333            }334            this.RaiseGotoStateEvent<Ready>();335        }336        [OnEntry(nameof(OnRefillRequired))]337        [IgnoreEvents(typeof(MakeCoffeeEvent), typeof(WaterLevelEvent), typeof(HopperLevelEvent),338            typeof(DoorOpenEvent), typeof(PortaFilterCoffeeLevelEvent))]339        private class RefillRequired : State { }340        private void OnRefillRequired()341        {342            if (this.Client != null)343            {344                this.SendEvent(this.Client, new CoffeeCompletedEvent() { Error = true });345            }346            this.Monitor<LivenessMonitor>(new LivenessMonitor.IdleEvent());347            this.Log.WriteLine("Coffee machine needs manual refilling of water and/or coffee beans!");348        }349        [OnEntry(nameof(OnError))]350        [IgnoreEvents(typeof(MakeCoffeeEvent), typeof(WaterLevelEvent), typeof(PortaFilterCoffeeLevelEvent),351            typeof(HopperLevelEvent))]352        private class Error : State { }353        private void OnError()354        {355            if (this.Client != null)356            {357                this.SendEvent(this.Client, new CoffeeCompletedEvent() { Error = true });358            }359            this.Monitor<LivenessMonitor>(new LivenessMonitor.IdleEvent());360            this.Log.WriteError("Coffee machine needs fixing!");361        }362        private void OnTerminate()363        {364            this.Log.WriteLine("Coffee Machine Terminating...");365            // Better turn everything off then!366            this.SendEvent(this.CoffeeGrinder, new GrinderButtonEvent(false));367            this.SendEvent(this.WaterTank, new PumpWaterEvent(false));368            this.SendEvent(this.WaterTank, new WaterHeaterButtonEvent(false));369            this.RaiseHaltEvent();370        }371        protected override Task OnHaltAsync(Event e)372        {373            this.Monitor<LivenessMonitor>(new LivenessMonitor.IdleEvent());374            this.Log.WriteWarning("#################################################################");375            this.Log.WriteWarning("# Coffee Machine Halted                                         #");376            this.Log.WriteWarning("#################################################################");377            this.Log.WriteLine(string.Empty);378            if (this.Client != null)379            {380                this.SendEvent(this.Client, new HaltedEvent());381            }382            return base.OnHaltAsync(e);383        }384        protected override Task OnEventUnhandledAsync(Event e, string state)385        {386            this.Log.WriteError("### Unhandled event {0} in state {1}", e.GetType().FullName, state);387            return base.OnEventUnhandledAsync(e, state);...

LivenessMonitor.cs

Source:LivenessMonitor.cs

...9    /// </summary>10    internal class LivenessMonitor : Monitor11    {12        public class BusyEvent : Event { }13        public class IdleEvent : Event { }14        [Start]15        [Cold]16        [OnEventGotoState(typeof(BusyEvent), typeof(Busy))]17        [IgnoreEvents(typeof(IdleEvent))]18        private class Idle : State { }19        [Hot]20        [OnEventGotoState(typeof(IdleEvent), typeof(Idle))]21        [IgnoreEvents(typeof(BusyEvent))]22        private class Busy : State { }23    }24}...

IdleEvent

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Samples.CoffeeMachineActors;3using Microsoft.Coyote.Samples.CoffeeMachineActors;4using Microsoft.Coyote.Samples.CoffeeMachineActors;5using Microsoft.Coyote.Samples.CoffeeMachineActors;6using Microsoft.Coyote.Samples.CoffeeMachineActors;7using Microsoft.Coyote.Samples.CoffeeMachineActors;8using Microsoft.Coyote.Samples.CoffeeMachineActors;9using Microsoft.Coyote.Samples.CoffeeMachineActors;10using Microsoft.Coyote.Samples.CoffeeMachineActors;11using Microsoft.Coyote.Samples.CoffeeMachineActors;12using Microsoft.Coyote.Samples.CoffeeMachineActors;13using Microsoft.Coyote.Samples.CoffeeMachineActors;14using Microsoft.Coyote.Samples.CoffeeMachineActors;

IdleEvent

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Samples.CoffeeMachineActors;3using Microsoft.Coyote.Samples.CoffeeMachineActors;4using Microsoft.Coyote.Samples.CoffeeMachineActors;5using Microsoft.Coyote.Samples.CoffeeMachineActors;6using Microsoft.Coyote.Samples.CoffeeMachineActors;7using Microsoft.Coyote.Samples.CoffeeMachineActors;8using Microsoft.Coyote.Samples.CoffeeMachineActors;9using Microsoft.Coyote.Samples.CoffeeMachineActors;10using Microsoft.Coyote.Samples.CoffeeMachineActors;11using Microsoft.Coyote.Samples.CoffeeMachineActors;12using Microsoft.Coyote.Samples.CoffeeMachineActors;13using Microsoft.Coyote.Samples.CoffeeMachineActors;14using Microsoft.Coyote.Samples.CoffeeMachineActors;15using Microsoft.Coyote.Samples.CoffeeMachineActors;

IdleEvent

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors.Events;2using Microsoft.Coyote.Actors;3{4    {5        private bool isOn;6        private bool isBrewing;7        private bool isBrewingCoffee;8        private bool isBrewingTea;9        private bool isBrewingCappuccino;10        [OnEventDoAction(typeof(TurnOn), nameof(TurnOnAction))]11        [OnEventDoAction(typeof(TurnOff), nameof(TurnOffAction))]12        [OnEventDoAction(typeof(BrewCoffee), nameof(BrewCoffeeAction))]13        [OnEventDoAction(typeof(BrewTea), nameof(BrewTeaAction))]14        [OnEventDoAction(typeof(BrewCappuccino), nameof(BrewCappuccinoAction))]15        [OnEventDoAction(typeof(IdleEvent), nameof(IdleAction))]16        private class Init : MachineState { }17        private void TurnOnAction()18        {19            this.isOn = true;20        }21        private void TurnOffAction()22        {23            this.isOn = false;24        }25        private void BrewCoffeeAction()26        {27            this.isBrewing = true;28            this.isBrewingCoffee = true;29        }30        private void BrewTeaAction()31        {32            this.isBrewing = true;33            this.isBrewingTea = true;34        }35        private void BrewCappuccinoAction()36        {37            this.isBrewing = true;38            this.isBrewingCappuccino = true;39        }40        private void IdleAction()41        {42            this.isBrewing = false;43            this.isBrewingCoffee = false;44            this.isBrewingTea = false;45            this.isBrewingCappuccino = false;46        }47    }48}

IdleEvent

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Samples.CoffeeMachineActors;3using Microsoft.Coyote.Samples.CoffeeMachineActors;4using Microsoft.Coyote.Samples.CoffeeMachineActors;5using Microsoft.Coyote.Samples.CoffeeMachineActors;6using Microsoft.Coyote.Samples.CoffeeMachineActors;7using Microsoft.Coyote.Samples.CoffeeMachineActors;8using Microsoft.Coyote.Samples.CoffeeMachineActors;9using Microsoft.Coyote.Samples.CoffeeMachineActors;10using Microsoft.Coyote.Samples.CoffeeMachineActors;11using Microsoft.Coyote.Samples.CoffeeMachineActors;12using Microsoft.Coyote.Samples.CoffeeMachineActors;13using Microsoft.Coyote.Samples.CoffeeMachineActors;14using Microsoft.Coyote.Samples.CoffeeMachineActors;

IdleEvent

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote;4using System;5{6    {7        static void Main(string[] args)8        {9            var runtime = RuntimeFactory.Create();10            var actorId = runtime.CreateActor(typeof(CoffeeMachine));11            runtime.SendEvent(actorId, new IdleEvent());12            runtime.Wait();13        }14    }15}16using Microsoft.Coyote.Actors;17using Microsoft.Coyote;18using System;19{20    {21        protected override void OnInitialize()22        {23            this.RegisterEvent(typeof(IdleEvent));24        }25        protected override void OnEvent(Event e)26        {27            if (e is IdleEvent)28            {29                this.RaiseEvent(new IdleEvent());30            }31        }32    }33}34using Microsoft.Coyote.Samples.CoffeeMachineActors;35using Microsoft.Coyote.Actors;36using Microsoft.Coyote;37using System;38{39    {40        static void Main(string[] args)41        {42            var runtime = RuntimeFactory.Create();

IdleEvent

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Actors;3using System.Threading.Tasks;4using System.Threading;5using System;6{7    {8        private int _waterLevel;9        private int _coffeeLevel;10        private bool _isOn;11        private bool _isBrewing;12        private bool _isReady;13        public CoffeeMachineActor()14        {15            _waterLevel = 0;16            _coffeeLevel = 0;17            _isOn = false;18            this._isBrewing = false;19            this._isReady = false;20        }21        protected override async Task OnEventAsync(Event e)22        {23            if (e is FillWaterEvent)24            {25                var fillWaterEvent = (FillWaterEvent)e;26                _waterLevel = fillWaterEvent.WaterLevel;27                Console.WriteLine("Water level is now " + _waterLevel);28            }29            else if (e is FillCoffeeEvent)30            {31                var fillCoffeeEvent = (FillCoffeeEvent)e;32                _coffeeLevel = fillCoffeeEvent.CoffeeLevel;33                Console.WriteLine("Coffee level is now " + _coffeeLevel);34            }35            else if (e is TurnOnEvent)36            {37                _isOn = true;38                Console.WriteLine("Coffee machine is now on");39            }40            else if (e is BrewCoffeeEvent)41            {

IdleEvent

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2IdleEvent idleEvent = new IdleEvent();3await this.SendEventAsync(this.machine, idleEvent);4using Microsoft.Coyote.Samples.CoffeeMachineActors;5IdleEvent idleEvent = new IdleEvent();6await this.SendEventAsync(this.machine, idleEvent);7using Microsoft.Coyote.Samples.CoffeeMachineActors;8IdleEvent idleEvent = new IdleEvent();9await this.SendEventAsync(this.machine, idleEvent);10using Microsoft.Coyote.Samples.CoffeeMachineActors;11IdleEvent idleEvent = new IdleEvent();12await this.SendEventAsync(this.machine, idleEvent);13using Microsoft.Coyote.Samples.CoffeeMachineActors;14IdleEvent idleEvent = new IdleEvent();15await this.SendEventAsync(this.machine, idleEvent);16using Microsoft.Coyote.Samples.CoffeeMachineActors;17IdleEvent idleEvent = new IdleEvent();18await this.SendEventAsync(this.machine, idleEvent);19using Microsoft.Coyote.Samples.CoffeeMachineActors;20IdleEvent idleEvent = new IdleEvent();21await this.SendEventAsync(this.machine, idleEvent);22using Microsoft.Coyote.Samples.CoffeeMachineActors;23IdleEvent idleEvent = new IdleEvent();24await this.SendEventAsync(this.machine, idleEvent);

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.