Пример #1
0
        public async Task TestGotoStateTransitionAfterRaise()
        {
            var configuration = GetConfiguration();
            var test          = new MachineTestKit <M3>(configuration: configuration);
            await test.StartMachineAsync();

            test.AssertStateTransition("Final");
        }
Пример #2
0
        public async Task TestGotoStateTransitionAfterSend()
        {
            var configuration = GetConfiguration();
            var test          = new MachineTestKit <M2>(configuration: configuration);
            await test.StartMachineAsync();

            test.AssertStateTransition("Init");

            await test.SendEventAsync(new Message());

            test.AssertStateTransition("Final");
        }
Пример #3
0
        public async Task TestReceiveEventStatement()
        {
            var configuration = GetConfiguration();
            var test          = new MachineTestKit <M1>(configuration: configuration);

            await test.StartMachineAsync();

            test.AssertIsWaitingToReceiveEvent(true);

            await test.SendEventAsync(new E1());

            test.AssertIsWaitingToReceiveEvent(false);
            test.AssertInboxSize(0);
        }
Пример #4
0
        public async Task TestHandleEvent()
        {
            var result = new Result();

            var configuration = GetConfiguration();
            var test          = new MachineTestKit <M1>(configuration: configuration);

            await test.StartMachineAsync(new SetupEvent(result));

            await test.SendEventAsync(new E1());

            test.AssertInboxSize(0);
            test.Assert(result.Value == 1, $"Incorrect result '{result.Value}'");
        }
Пример #5
0
        public async Task TestMultipleReceiveEventStatementsUnordered()
        {
            var configuration = GetConfiguration();
            var test          = new MachineTestKit <M2>(configuration: configuration);

            await test.StartMachineAsync();

            test.AssertIsWaitingToReceiveEvent(true);

            await test.SendEventAsync(new E2());

            test.AssertIsWaitingToReceiveEvent(true);
            test.AssertInboxSize(1);

            await test.SendEventAsync(new E3());

            test.AssertIsWaitingToReceiveEvent(true);
            test.AssertInboxSize(2);

            await test.SendEventAsync(new E1());

            test.AssertIsWaitingToReceiveEvent(false);
            test.AssertInboxSize(0);
        }