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

Copied to Clipboard!

Automation Advisor
Coyote
Microsoft.Coyote.Samples.CoffeeMachineTasks
CoffeeMachine

How to use CoffeeMachine class of Microsoft.Coyote.Samples.CoffeeMachineTasks package

Best Coyote code snippet using Microsoft.Coyote.Samples.CoffeeMachineTasks.CoffeeMachine

CoffeeMachine.cs

Source:CoffeeMachine.cs

...3using System;4using System.Threading.Tasks;5using Microsoft.Coyote.Samples.Common;6using Microsoft.Coyote.Specifications;7namespace Microsoft.Coyote.Samples.CoffeeMachineTasks8{9    /// <summary>10    /// This async interface is provided by the CoffeeMachine.11    /// </summary>12    internal interface ICoffeeMachine13    {14        /// <summary>15        /// Initialize the coffee machine, checking the Sensors to make sure we're good to go.16        /// </summary>17        /// <param name="sensors">The persistent sensor state.</param>18        /// <returns>True if everything looks good, false if we cannot make coffee at this time.</returns>19        Task<bool> InitializeAsync(ISensors sensors);20        /// <summary>21        /// Make a coffee.  This is a long running async operation.22        /// </summary>23        /// <param name="shots">The number of espresso shots.</param>24        /// <returns>An async task that can be controlled by Coyote tester containing an optional string error message.</returns>25        Task<string> MakeCoffeeAsync(int shots);26        /// <summary>27        /// Reboot the coffee machine!28        /// </summary>29        /// <returns>An async task.</returns>30        Task TerminateAsync();31    }32    /// <summary>33    /// Implementation of the ICoffeeMachine interface.34    /// </summary>35    internal class CoffeeMachine : ICoffeeMachine36    {37        private readonly object SyncObject = new object();38        private bool Initialized;39        private ISensors Sensors;40        private bool Heating;41        private double? WaterLevel;42        private double? HopperLevel;43        private bool? DoorOpen;44        private double? PortaFilterCoffeeLevel;45        private double? WaterTemperature;46        private int ShotsRequested;47        private double PreviousShotCount;48        private bool RefillRequired;49        private string Error;...

FailoverDriver.cs

Source:FailoverDriver.cs

...3using System;4using System.Threading.Tasks;5using Microsoft.Coyote.Random;6using Microsoft.Coyote.Samples.Common;7namespace Microsoft.Coyote.Samples.CoffeeMachineTasks8{9    /// <summary>10    /// This interface is designed to test how the CoffeeMachine handles "failover" or specifically,11    /// can it correctly "restart after failure" without getting into a bad state. The CoffeeMachine12    /// will be randomly terminated. The only thing the CoffeeMachine can depend on is the persistence13    /// of the state provided by the MockSensors.14    /// </summary>15    internal interface IFailoverDriver16    {17        Task RunTest();18    }19    /// <summary>20    /// This class implements the IFailoverDriver.21    /// </summary>22    internal class FailoverDriver : IFailoverDriver23    {24        private readonly ISensors Sensors;25        private ICoffeeMachine CoffeeMachine;26        private bool IsInitialized;27        private bool RunForever;28        private int Iterations;29        private ControlledTimer HaltTimer;30        private readonly Generator RandomGenerator;31        private readonly LogWriter Log = LogWriter.Instance;32        public FailoverDriver(bool runForever)33        {34            this.RunForever = runForever;35            this.RandomGenerator = Generator.Create();36            this.Sensors = new MockSensors(runForever);37        }38        public async Task RunTest()39        {40            bool halted = true;41            while (this.RunForever || this.Iterations <= 1)42            {43                this.Log.WriteLine("#################################################################");44                // Create a new CoffeeMachine instance.45                string error = null;46                if (halted)47                {48                    this.Log.WriteLine("starting new CoffeeMachine iteration {0}.", this.Iterations);49                    this.IsInitialized = false;50                    this.CoffeeMachine = new CoffeeMachine();51                    halted = false;52                    this.IsInitialized = await this.CoffeeMachine.InitializeAsync(this.Sensors);53                    if (!this.IsInitialized)54                    {55                        error = "init failed";56                    }57                }58                if (error == null)59                {60                    // Setup a timer to randomly kill the coffee machine. When the timer fires we61                    // will restart the coffee machine and this is testing that the machine can62                    // recover gracefully when that happens.63                    this.HaltTimer = new ControlledTimer("HaltTimer", TimeSpan.FromSeconds(this.RandomGenerator.NextInteger(7) + 1), new Action(this.OnStopTest));64                    // Request a coffee!65                    var shots = this.RandomGenerator.NextInteger(3) + 1;66                    error = await this.CoffeeMachine.MakeCoffeeAsync(shots);67                }68                if (string.Compare(error, "<halted>", StringComparison.OrdinalIgnoreCase) == 0)69                {70                    // Then OnStopTest did it's thing, so it is time to create new coffee machine.71                    this.Log.WriteWarning("CoffeeMachine is halted.");72                    halted = true;73                }74                else if (!string.IsNullOrEmpty(error))75                {76                    this.Log.WriteWarning("CoffeeMachine reported an error.");77                    // No point trying to make more coffee.78                    this.RunForever = false;79                    this.Iterations = 10;80                }81                else82                {83                    // In this case we let the same CoffeeMachine continue on then.84                    this.Log.WriteLine("CoffeeMachine completed the job.");85                }86                this.Iterations++;87            }88            // Shutdown the sensors because test is now complete.89            this.Log.WriteLine("Test is complete, press ENTER to continue...");90            await this.Sensors.TerminateAsync();91        }92        internal void OnStopTest()93        {94            if (!this.IsInitialized)95            {96                // Not ready!97                return;98            }99            if (this.HaltTimer != null)100            {101                this.HaltTimer.Stop();102                this.HaltTimer = null;103            }104            // Halt the CoffeeMachine. HaltEvent is async and we must ensure the CoffeeMachine105            // is really halted before we create a new one because MockSensors will get confused106            // if two CoffeeMachines are running at the same time. So we've implemented a terminate107            // handshake here. We send event to the CoffeeMachine to terminate, and it sends back108            // a HaltedEvent when it really has been halted.109            this.Log.WriteLine("forcing termination of CoffeeMachine.");110            Task.Run(this.CoffeeMachine.TerminateAsync);111        }112    }113}...

CoffeeMachine

Using AI Code Generation

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

CoffeeMachine

Using AI Code Generation

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

CoffeeMachine

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineTasks;2using System.Threading.Tasks;3{4    {5        public async Task MakeCoffee()6        {7            await Task.Delay(1000);8        }9    }10}11using Microsoft.Coyote.Samples.CoffeeMachine;12using System.Threading.Tasks;13{14    {15        public async Task MakeCoffee()16        {17            await Task.Delay(1000);18        }19    }20}21using Microsoft.Coyote.Samples.CoffeeMachineTasks;22using System.Threading.Tasks;23{24    {25        public async Task MakeCoffee()26        {27            await Task.Delay(1000);28        }29    }30}31using Microsoft.Coyote.Samples.CoffeeMachine;32using System.Threading.Tasks;33{34    {35        public async Task MakeCoffee()36        {37            await Task.Delay(1000);38        }39    }40}41using Microsoft.Coyote.Samples.CoffeeMachineTasks;42using System.Threading.Tasks;43{44    {45        public async Task MakeCoffee()46        {47            await Task.Delay(1000);48        }49    }50}51using Microsoft.Coyote.Samples.CoffeeMachine;52using System.Threading.Tasks;53{54    {55        public async Task MakeCoffee()56        {57            await Task.Delay(1000);58        }59    }60}

CoffeeMachine

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineTasks;2using System.Threading.Tasks;3{4    {5        public async Task MakeCoffee()6        {7        }8    }9}10using Microsoft.Coyote.Samples.CoffeeMachineTasks;11using System.Threading.Tasks;12{13    {14        public async Task MakeCoffee()15        {16        }17    }18}19using Microsoft.Coyote.Samples.CoffeeMachineTasks;20using System.Threading.Tasks;21{22    {23        public async Task MakeCoffee()24        {25        }26    }27}28using Microsoft.Coyote.Samples.CoffeeMachineTasks;29using System.Threading.Tasks;30{31    {32        public async Task MakeCoffee()33        {34        }35    }36}37using Microsoft.Coyote.Samples.CoffeeMachineTasks;38using System.Threading.Tasks;39{40    {41        public async Task MakeCoffee()42        {43        }44    }45}46using Microsoft.Coyote.Samples.CoffeeMachineTasks;47using System.Threading.Tasks;48{49    {50        public async Task MakeCoffee()51        {52        }53    }54}

CoffeeMachine

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineTasks;2using System.Threading.Tasks;3{4    {5        public void MakeCoffee()6        {7        }8    }9}10using Microsoft.Coyote.Samples.CoffeeMachineTasks;11using System.Threading.Tasks;12{13    {14        public void MakeCoffee()15        {16        }17    }18}

CoffeeMachine

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineTasks;2using Microsoft.Coyote.Actors;3{4    public static void Main()5    {6        var coffeeMachine = new CoffeeMachine();7        coffeeMachine.SendEvent(new MakeCoffee());8        coffeeMachine.SendEvent(new MakeCoffee());9    }10}11using Microsoft.Coyote.Actors;12using Microsoft.Coyote.Samples.CoffeeMachineTasks;13{14    public static void Main()15    {16        var coffeeMachine = new CoffeeMachine();17        new Thread(() => coffeeMachine.Run()).Start();18        coffeeMachine.SendEvent(new MakeCoffee());19        coffeeMachine.SendEvent(new MakeCoffee());20    }21}

CoffeeMachine

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineTasks;2{3    {4        static void Main()5        {6            CoffeeMachine coffeeMachine = new CoffeeMachine();7            coffeeMachine.Run();8        }9    }10}

CoffeeMachine

Using AI Code Generation

1using Microsoft.Coyote.Samples.CoffeeMachineTasks;2using System.Threading.Tasks;3using System;4{5    {6        private int _coffee;7        private int _milk;8        private int _water;9        private int _sugar;10        private int _cups;11        public CoffeeMachine(int coffee, int milk, int water, int sugar, int cups)12        {13            _coffee = coffee;14            _milk = milk;15            _water = water;16            _sugar = sugar;17            _cups = cups;18        }19        public async Task MakeCoffeeAsync(int coffee, int milk, int water, int sugar, int cups)20        {21            await Task.Run(() =>22            {23                if (_coffee >= coffee && _milk >= milk && _water >= water && _sugar >= sugar && _cups >= cups)24                {25                    _coffee -= coffee;26                    _milk -= milk;27                    _water -= water;28                    _sugar -= sugar;29                    _cups -= cups;30                }31                {32                    throw new Exception("Not enough ingredients to make coffee");33                }34            });35        }36        public async Task MakeCoffeeAsync(int coffee, int milk, int water, int sugar)37        {38            await MakeCoffeeAsync(coffee, milk, water, sugar, 1);39        }40        public async Task MakeCoffeeAsync(int coffee, int milk, int water)41        {42            await MakeCoffeeAsync(coffee, milk, water, 0, 1);43        }44        public async Task MakeCoffeeAsync(int coffee, int milk)45        {46            await MakeCoffeeAsync(coffee, milk, 0, 0, 1);47        }48        public async Task MakeCoffeeAsync(int coffee)49        {50            await MakeCoffeeAsync(coffee, 0, 0, 0, 1);51        }52    }53}54using Microsoft.Coyote.Samples.CoffeeMachineTasks;55using System.Threading.Tasks;56using System;57{58    {59        private CoffeeMachine _coffeeMachine;60        public CoffeeMachineUser(CoffeeMachine coffeeMachine)61        {62            _coffeeMachine = coffeeMachine;63        }64        public async Task MakeCoffeeAsync()65        {

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.