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

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

MockSensors.cs

Source:MockSensors.cs

...71    [OnEventDoAction(typeof(WaterHeaterButtonEvent), nameof(OnWaterHeaterButton))]72    [OnEventDoAction(typeof(HeaterTimerEvent), nameof(MonitorWaterTemperature))]73    [OnEventDoAction(typeof(PumpWaterEvent), nameof(OnPumpWater))]74    [OnEventDoAction(typeof(WaterPumpTimerEvent), nameof(MonitorWaterPump))]75    internal class MockWaterTank : Actor76    {77        private ActorId Client;78        private bool RunSlowly;79        private double WaterLevel;80        private double WaterTemperature;81        private bool WaterHeaterButton;82        private TimerInfo WaterHeaterTimer;83        private bool WaterPump;84        private TimerInfo WaterPumpTimer;85        private readonly LogWriter Log = LogWriter.Instance;86        internal class HeaterTimerEvent : TimerElapsedEvent87        {88        }89        internal class WaterPumpTimerEvent : TimerElapsedEvent90        {91        }92        public MockWaterTank()93        {94            // Assume heater is off by default.95            this.WaterHeaterButton = false;96            this.WaterPump = false;97        }98        protected override Task OnInitializeAsync(Event initialEvent)99        {100            if (initialEvent is ConfigEvent ce)101            {102                this.RunSlowly = ce.RunSlowly;103            }104            // Since this is a mock, we randomly initialize the water temperature to105            // some sort of room temperature between 20 and 50 degrees celsius.106            this.WaterTemperature = this.RandomInteger(30) + 20;...

FailoverDriver.cs

Source:FailoverDriver.cs

...32        {33            var evt = e as ConfigEvent;34            this.RunForever = evt.RunSlowly;35            // Create the persistent sensor state.36            this.WaterTankId = this.CreateActor(typeof(MockWaterTank), new ConfigEvent(this.RunForever));37            this.CoffeeGrinderId = this.CreateActor(typeof(MockCoffeeGrinder), new ConfigEvent(this.RunForever));38            this.DoorSensorId = this.CreateActor(typeof(MockDoorSensor), new ConfigEvent(this.RunForever));39        }40        [OnEntry(nameof(OnStartTest))]41        [OnEventDoAction(typeof(TimerElapsedEvent), nameof(HandleTimer))]42        [OnEventGotoState(typeof(CoffeeMachine.CoffeeCompletedEvent), typeof(Stop))]43        internal class Test : State { }44        internal void OnStartTest()45        {46            this.Log.WriteLine("#################################################################");47            this.Log.WriteLine("starting new CoffeeMachine.");48            // Create a new CoffeeMachine instance49            this.CoffeeMachineId = this.CreateActor(typeof(CoffeeMachine), new CoffeeMachine.ConfigEvent(this.WaterTankId,50                this.CoffeeGrinderId, this.DoorSensorId, this.Id));...

MockWaterTank

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote.Samples.CoffeeMachineActors.Actors;4using Microsoft.Coyote.Samples.CoffeeMachineActors.Events;5using Microsoft.Coyote.Samples.CoffeeMachineActors.Interfaces;6using System.Threading.Tasks;7{8    {9        static async Task Main(string[] args)10        {11            var runtime = RuntimeFactory.Create();12            var coffeeMachine = runtime.CreateActor(typeof(CoffeeMachineActor));13            var waterTank = runtime.CreateActor(typeof(WaterTankActor));14            var coffeePot = runtime.CreateActor(typeof(CoffeePotActor));15            var coffeePotInterface = runtime.CreateActorInterface<ICoffeePotInterface>(coffeePot);16            var waterTankInterface = runtime.CreateActorInterface<IWaterTankInterface>(waterTank);17            await runtime.SendEventAsync(coffeeMachine, new ConfigureEvent(coffeePotInterface, waterTankInterface));18            await runtime.SendEventAsync(coffeeMachine, new StartEvent());19            await runtime.SendEventAsync(coffeeMachine, new MakeCoffeeEvent());

MockWaterTank

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.CoyoteActors.TestingServices;3using Microsoft.CoyoteActors.TestingServices.Runtime;4using Microsoft.CoyoteActors.TestingServices.Runtime.Mocks;5using System;6using System.Collections.Generic;7using System.Threading.Tasks;8{9    {10        public static async Task Main()11        {12            var testRuntime = TestingEngineFactory.CreateTestingEngine(typeof(MockWaterTank));13            var test = new CoffeeMachineTest(testRuntime);14            await test.Run();15        }16    }17}18using Microsoft.Coyote.Samples.CoffeeMachineActors;19using Microsoft.CoyoteActors.TestingServices;20using Microsoft.CoyoteActors.TestingServices.Runtime;21using Microsoft.CoyoteActors.TestingServices.Runtime.Mocks;22using System;23using System.Collections.Generic;24using System.Threading.Tasks;25{26    {27        public static async Task Main()28        {29            var testRuntime = TestingEngineFactory.CreateTestingEngine(typeof(MockWaterTank));30            var test = new CoffeeMachineTest(testRuntime);31            await test.Run();32        }33    }34}35using Microsoft.Coyote.Samples.CoffeeMachineActors;36using Microsoft.CoyoteActors.TestingServices;37using Microsoft.CoyoteActors.TestingServices.Runtime;38using Microsoft.CoyoteActors.TestingServices.Runtime.Mocks;39using System;40using System.Collections.Generic;41using System.Threading.Tasks;42{43    {44        public static async Task Main()45        {46            var testRuntime = TestingEngineFactory.CreateTestingEngine(typeof(MockWaterTank));47            var test = new CoffeeMachineTest(testRuntime);

MockWaterTank

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Actors;3using Microsoft.Coyote;4using Microsoft.Coyote.Testing;5using Microsoft.Coyote.TestingServices;6using Microsoft.Coyote.TestingServices.SchedulingStrategies;7using Microsoft.Coyote.TestingServices.Rewriting;8using System;9using System.Threading.Tasks;10using System.Collections.Generic;11using System.Linq;12using System.Text;13using System.Threading;14using System.Diagnostics;15{16    {17        private int currentLevel = 0;18        private int capacity = 0;19        private int lowLevel = 0;20        private int highLevel = 0;21        private int refillAmount = 0;22        public MockWaterTank(int capacity, int lowLevel, int highLevel, int refillAmount)23        {24            this.capacity = capacity;25            this.lowLevel = lowLevel;26            this.highLevel = highLevel;27            this.refillAmount = refillAmount;28        }29        public void Refill()30        {31            this.currentLevel = this.capacity;32        }33        public void GetWater(int amount)34        {35            this.currentLevel = this.currentLevel - amount;36        }37        public bool IsLow()38        {39            return this.currentLevel <= this.lowLevel;40        }41        public bool IsHigh()42        {43            return this.currentLevel >= this.highLevel;44        }45        public int GetLevel()46        {47            return this.currentLevel;48        }49        public int GetCapacity()50        {51            return this.capacity;52        }53        public int GetLowLevel()54        {55            return this.lowLevel;56        }57        public int GetHighLevel()58        {59            return this.highLevel;60        }61        public int GetRefillAmount()62        {63            return this.refillAmount;64        }65        public void SetCapacity(int capacity)66        {67            this.capacity = capacity;68        }69        public void SetLowLevel(int lowLevel)70        {71            this.lowLevel = lowLevel;72        }73        public void SetHighLevel(int highLevel)74        {75            this.highLevel = highLevel;76        }77        public void SetRefillAmount(int refillAmount)78        {79            this.refillAmount = refillAmount;80        }81    }82}

MockWaterTank

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Samples.CoffeeMachineActors.Interfaces;3using Microsoft.Coyote.Samples.CoffeeMachineActors.Mocks;4using Microsoft.Coyote.Samples.CoffeeMachineActors.Mocks.Mocks;5using System;6using System.Collections.Generic;7using System.Linq;8using System.Text;9using System.Threading.Tasks;10{11    {12        private readonly IWaterTank waterTank;13        private readonly IBrewButton brewButton;14        private readonly IWarmerPlate warmerPlate;15        private readonly IIndicatorLight indicatorLight;16        private readonly IReliefValve reliefValve;17        private readonly IBoiler boiler;18        public CoffeeMachine(IWaterTank waterTank, IBrewButton brewButton, IWarmerPlate warmerPlate,19        {20            this.waterTank = waterTank;21            this.brewButton = brewButton;22            this.warmerPlate = warmerPlate;23            this.indicatorLight = indicatorLight;24            this.reliefValve = reliefValve;25            this.boiler = boiler;26        }27        public void Poll()28        {29            this.waterTank.Poll();30            this.brewButton.Poll();31            this.warmerPlate.Poll();32            this.indicatorLight.Poll();33            this.reliefValve.Poll();34            this.boiler.Poll();35        }36        public void SetIndicatorState(IndicatorState state)37        {38            this.indicatorLight.State = state;39        }40        public void SetReliefValveState(ReliefValveState state)41        {42            this.reliefValve.State = state;43        }44        public void SetBoilerState(BoilerState state)45        {

MockWaterTank

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using System;3using System.Threading.Tasks;4using static Microsoft.Coyote.Actors.Actor;5{6    {7        private bool _isFull;8        public MockWaterTank(bool isFull)9        {10            this._isFull = isFull;11        }12        [OnEventDoAction(typeof(Events.Fill), nameof(Fill))]13        [OnEventDoAction(typeof(Events.Check), nameof(Check))]14        private class Init : State { }15        private void Fill()16        {17            this._isFull = true;18        }19        private void Check()20        {21            if (this._isFull)22            {23                this.SendEvent(this.Id, new Events.Full());24            }25            {26                this.SendEvent(this.Id, new Events.Empty());27            }28        }29    }30}31using Microsoft.Coyote.Samples.CoffeeMachineActors;32using System;33using System.Threading.Tasks;34using static Microsoft.Coyote.Actors.Actor;35{36    {37        private ActorId _waterTank;38        private ActorId _coffeePot;39        private ActorId _coffeeGrinder;40        private ActorId _coffeeFilter;41        public CoffeeMachine(ActorId waterTank, ActorId coffeePot, ActorId coffeeGrinder, ActorId coffeeFilter)42        {43            this._waterTank = waterTank;44            this._coffeePot = coffeePot;45            this._coffeeGrinder = coffeeGrinder;46            this._coffeeFilter = coffeeFilter;47        }48        [OnEventDoAction(typeof(Events.Start), nameof(Start))]49        [OnEventDoAction(typeof(Events.FillWaterTank), nameof(FillWaterTank))]50        [OnEventDoAction(typeof(Events.EmptyWaterTank), nameof(EmptyWaterTank))]51        [OnEventDoAction(typeof(Events.FillCoffeePot), nameof(FillCoffeePot))]52        [OnEventDoAction(typeof(Events.EmptyCoffeePot), nameof(EmptyCoffeePot))]53        [OnEventDoAction(typeof(Events.GrindCoffee), nameof(GrindCoffee))]

MockWaterTank

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using Microsoft.Coyote.Actors;3using System;4using Microsoft.Coyote;5{6    {7        private bool waterTankFull;8        private ActorId coffeeMachine;9        public MockWaterTank(ActorId coffeeMachine)10        {11            this.coffeeMachine = coffeeMachine;12            this.waterTankFull = true;13        }14        public bool IsFull()15        {16            return this.waterTankFull;17        }18        public void Fill()19        {20            this.waterTankFull = true;21            Send(new WaterTankFilledEvent());22        }23        public void Empty()24        {25            this.waterTankFull = false;26            Send(new WaterTankEmptiedEvent());27        }28        private void Send(Event e)29        {30            ActorRuntime.SendEvent(this.coffeeMachine, e);31        }32    }33}34using Microsoft.Coyote.Samples.CoffeeMachineActors;35using Microsoft.Coyote.Actors;36using System;37using Microsoft.Coyote;38{39    {40        private bool waterTankFull;41        private ActorId coffeeMachine;42        public MockWaterTank(ActorId coffeeMachine)43        {44            this.coffeeMachine = coffeeMachine;45            this.waterTankFull = true;46        }47        public bool IsFull()48        {49            return this.waterTankFull;50        }51        public void Fill()52        {53            this.waterTankFull = true;54            Send(new WaterTankFilledEvent());55        }56        public void Empty()57        {58            this.waterTankFull = false;59            Send(new WaterTankEmptiedEvent());60        }61        private void Send(Event e)62        {63            ActorRuntime.SendEvent(this.coffeeMachine, e);64        }65    }66}67using Microsoft.Coyote.Samples.CoffeeMachineActors;68using Microsoft.Coyote.Actors;69using System;70using Microsoft.Coyote;71{

MockWaterTank

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using System;3using System.Threading.Tasks;4{5    {6        static async Task Main(string[] args)7        {8            var waterTank = new MockWaterTank();9            var coffeeMachine = new CoffeeMachine(waterTank);10            await coffeeMachine.Start();11        }12    }13}14using Microsoft.Coyote.Samples.CoffeeMachineActors;15using System;16using System.Threading.Tasks;17{18    {19        static async Task Main(string[] args)20        {21            var waterTank = new MockWaterTank();22            var coffeeMachine = new CoffeeMachine(waterTank);23            await coffeeMachine.Start();24        }25    }26}27using Microsoft.Coyote.Samples.CoffeeMachineActors;28using System;29using System.Threading.Tasks;30{31    {32        static async Task Main(string[] args)33        {34            var waterTank = new MockWaterTank();35            var coffeeMachine = new CoffeeMachine(waterTank);36            await coffeeMachine.Start();37        }38    }39}40using Microsoft.Coyote.Samples.CoffeeMachineActors;41using System;42using System.Threading.Tasks;43{44    {45        static async Task Main(string[] args)46        {47            var waterTank = new MockWaterTank();48            var coffeeMachine = new CoffeeMachine(waterTank);49            await coffeeMachine.Start();50        }51    }52}53using Microsoft.Coyote.Samples.CoffeeMachineActors;54using System;55using System.Threading.Tasks;56{57    {58        static async Task Main(string[] args)59        {60            var waterTank = new MockWaterTank();61            var coffeeMachine = new CoffeeMachine(waterTank);62            await coffeeMachine.Start();63        }

MockWaterTank

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineActors;2using System;3using System.Threading.Tasks;4{5    {6        public MockWaterTank(int capacity) : base(capacity)7        {8        }9        public override Task<bool> IsEmptyAsync() => Task.FromResult(false);10        public override Task<bool> IsFullAsync() => Task.FromResult(false);11    }12}13using Microsoft.Coyote.Samples.CoffeeMachineActors;14using System;15using System.Threading.Tasks;16{17    {18        public MockWaterTank(int capacity) : base(capacity)19        {20        }21        public override Task<bool> IsEmptyAsync() => Task.FromResult(false);22        public override Task<bool> IsFullAsync() => Task.FromResult(false);23    }24}

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.