133 lines
5.8 KiB
FSharp
133 lines
5.8 KiB
FSharp
namespace NightLight.Core.Tests
|
|
|
|
open NightLight.Core.Core
|
|
open NightLight.Core.Tests.GenHelpers
|
|
open NightLight.Core.Tests.TimeChangedGenerators
|
|
open NightLight.Core.Tests.InteractionListGenerators
|
|
open NightLight.Core.Models
|
|
open FsCheck.Xunit
|
|
open FsCheck.FSharp
|
|
|
|
type NightLightTests() =
|
|
let createFakeHomeWithNightLightAndInteract (interactions: Interaction list) =
|
|
let mutable nightLightStateMachine = NightLightStateMachine()
|
|
|
|
let fakeHome = FakeHome()
|
|
|
|
fakeHome.OnEventPublished.Add(fun event ->
|
|
match event |> nightLightStateMachine.OnEventReceived with
|
|
| Ok(newState, commands) ->
|
|
commands |> Seq.iter fakeHome.ProcessCommand
|
|
nightLightStateMachine <- newState
|
|
| Error error -> failwith $"Unexpected error {error}")
|
|
|
|
fakeHome.Interact interactions
|
|
|
|
fakeHome
|
|
|
|
[<Property(Arbitrary = [| typeof<ArbitraryLight> |])>]
|
|
let ``All lights should be either off, white or yellow during the day`` (light: Light) =
|
|
concatGens
|
|
[ genRandomInteractions light
|
|
genTimeChangedToRandomDayTime |> Gen.map List.singleton
|
|
genRandomInteractionsExcept light isTimeChangedToAnyNightTime ]
|
|
|> ensureStartsWithTimeChanged
|
|
|> Arb.fromGen
|
|
|> Prop.forAll
|
|
<| fun interactions ->
|
|
let fakeHome = createFakeHomeWithNightLightAndInteract interactions
|
|
|
|
fakeHome.LightShouldHaveState light (function
|
|
| Off -> true
|
|
| On(_, color) -> color = White || color = Yellow)
|
|
|
|
[<Property(Arbitrary = [| typeof<ArbitraryLight> |])>]
|
|
let ``All lights should be either off or red during the night`` (light: Light) =
|
|
concatGens
|
|
[ genRandomInteractions light
|
|
genTimeChangedToRandomNightTime |> Gen.map List.singleton
|
|
genRandomInteractionsExcept light isTimeChangedToAnyDayTime ]
|
|
|> ensureStartsWithTimeChanged
|
|
|> Arb.fromGen
|
|
|> Prop.forAll
|
|
<| fun interactions ->
|
|
let fakeHome = createFakeHomeWithNightLightAndInteract interactions
|
|
|
|
fakeHome.LightShouldHaveState light (function
|
|
| Off -> true
|
|
| On(_, color) -> color = Red)
|
|
|
|
[<Property(Arbitrary = [| typeof<ArbitraryNonRemotelyControlledLight> |])>]
|
|
let ``All non-remotely controlled lights should be on if they have power`` (light: Light) =
|
|
genRandomInteractions light
|
|
|> ensureStartsWithTimeChanged
|
|
|> ensureLightHasPower light
|
|
|> Arb.fromGen
|
|
|> Prop.forAll
|
|
<| fun interactions ->
|
|
let fakeHome = createFakeHomeWithNightLightAndInteract interactions
|
|
fakeHome.LightShouldHaveState light _.IsOn
|
|
|
|
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
|
|
let ``All remote controlled lights with power should be on if the 'Off' button on the remote was never pressed``
|
|
(light: Light)
|
|
=
|
|
genRandomInteractionsExcept light ((=) (HumanInteraction RemotePressedOffButton))
|
|
|> ensureStartsWithTimeChanged
|
|
|> ensureLightHasPower light
|
|
|> Arb.fromGen
|
|
|> Prop.forAll
|
|
<| fun interactions ->
|
|
let fakeHome = createFakeHomeWithNightLightAndInteract interactions
|
|
fakeHome.LightShouldHaveState light _.IsOn
|
|
|
|
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
|
|
let ``After pressing 'On' on the remote, if the 'Off' button isn't pressed, all remotely controlled lights with power should be on``
|
|
(light: Light)
|
|
=
|
|
concatGens
|
|
[ genRandomInteractions light
|
|
HumanInteraction RemotePressedOnButton |> List.singleton |> Gen.constant
|
|
genRandomInteractionsExcept light ((=) (HumanInteraction RemotePressedOffButton)) ]
|
|
|> ensureStartsWithTimeChanged
|
|
|> ensureLightHasPower light
|
|
|> Arb.fromGen
|
|
|> Prop.forAll
|
|
<| fun interactions ->
|
|
let fakeHome = createFakeHomeWithNightLightAndInteract interactions
|
|
fakeHome.LightShouldHaveState light _.IsOn
|
|
|
|
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
|
|
let ``After a new day starts, if the 'Off' button isn't pressed, all remotely controlled lights with power should be on``
|
|
(light: Light)
|
|
=
|
|
concatGens
|
|
[ genRandomInteractions light
|
|
genTimeChangedToRandomNightTime |> Gen.map List.singleton
|
|
genRandomInteractionsExcept light isTimeChangedToAnyDayTime
|
|
genTimeChangedToRandomDayTime |> Gen.map List.singleton
|
|
genRandomInteractionsExcept light ((=) (HumanInteraction RemotePressedOffButton)) ]
|
|
|> ensureStartsWithTimeChanged
|
|
|> ensureLightHasPower light
|
|
|> Arb.fromGen
|
|
|> Prop.forAll
|
|
<| fun interactions ->
|
|
let fakeHome = createFakeHomeWithNightLightAndInteract interactions
|
|
fakeHome.LightShouldHaveState light _.IsOn
|
|
|
|
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
|
|
let ``After pressing 'Off' on the remote, if the 'On' button isn't pressed and a new day doesn't start, all remotely controlled lights should be off``
|
|
(light: Light)
|
|
=
|
|
concatGens
|
|
[ genRandomInteractions light
|
|
HumanInteraction RemotePressedOffButton |> List.singleton |> Gen.constant
|
|
genRandomInteractionsExcept light (fun interaction ->
|
|
interaction = HumanInteraction RemotePressedOnButton
|
|
|| interaction |> isTimeChangedToAnyDayTime) ]
|
|
|> ensureStartsWithTimeChanged
|
|
|> Arb.fromGen
|
|
|> Prop.forAll
|
|
<| fun interactions ->
|
|
let fakeHome = createFakeHomeWithNightLightAndInteract interactions
|
|
fakeHome.LightShouldHaveState light _.IsOff
|