NaturalSpec_Tutorial_3_3

NaturalSpec_Tutorial_3_3.fs

// 1. モジュールを定義する
module CarSpec

// 2. NaturalSpec 名前空間を開く
open NaturalSpec

// 3. プロジェクトの名前空間を開く
open CarSellingLib

// 4. テストコンテキストを定義する
let Bert = new Dealer("Bert")

// 再利用可能な値を定義する
let DreamCar = new Car(CarType.BMW, 200)
let LameCar = new Car(CarType.Fiat, 45)

// 5. BDDスタイルでメソッドを生成する
let selling_a_car_for amount (dealer:Dealer) =
  printMethod amount
  dealer.SellCar amount

// 6. シナリオを作成する
[<Scenario>]
let When_selling_a_car_for_30000_it_should_equal_the_DreamCar() =
  As Bert
    |> When selling_a_car_for 30000
    |> It should equal DreamCar
    |> It shouldn't equal LameCar
    |> Verify 

[<Scenario>]
let When_selling_a_car_for_19000_it_should_equal_the_LameCar() =
  As Bert
    |> When selling_a_car_for 19000
    |> It should equal LameCar
    |> It shouldn't equal DreamCar
    |> Verify

// エラーを想定したシナリオを作成する
[<Scenario>]
[<FailsWith "Need more money">]
let When_selling_a_car_for_1000_it_should_fail_with_Need_More_Money() =
  As Bert
    |> When selling_a_car_for 1000
    |> Verify