<?php
    
require_once 'PHPUnit/Framework/TestCase.php';
    
    /**
    * 测试从账户中取现
    */
    class AccountHolderWithdrawsCashSpec extends PHPUnit_Extensions_Story_TestCase
    {
       /**
        * @scenario
        * 场景 1: 帐户有足够的资金
        */
       function AccountHasSufficientFunds()
       {
           $this->given('帐户余额为', 100)
                    ->and('有效的银行卡')
                    ->and('提款机有足够现金')
                ->when('帐户持有人要求取款', 20)
                ->then('提款机应该分发', 20)
                    ->and('帐户余额应该为', 80)
                    ->and('应该退还银行卡');
       }
    
       // ...
    
       /**
        * 处理 given
        */
       function runGiven(&$world, $action, $arguments)
       {
           switch($action)
           {
           case '帐户余额为':
               // 由于 Account 对象必须属于一个 AccountHolder（帐户持有人），
               // 因此需要构造一个 AccountHolder 对象
               $account_holder = new AccountHolder();
               $account_holder->name = 'tester';
               // 创建一个 Account 对象，并设置余额为 $arguments[0]
               $world['account'] = new Account($account_holder);
               $world['account']->balance = $arguments[0];
               break;
    
           case '有效的银行卡':
               $card = new CreditCard($world['account']);
               $card->valid = true;
               $world['card'] = $card;
               break;
    
           case '提款机有足够现金':
               // 确保 ATM 的余额大于帐户余额
               $world['atm'] = new ATM();
               $world['atm']->balance = $world['account']->balance + 1;
               break;
    
           default:
               {
                   return $this->notImplemented($action);
               }
           }
       }
    
       /**
        * 处理 when
        */
       function runWhen(&$world, $action, $arguments)
       {
           /**
            * 在 when 中调用对象的业务方法
            */
           switch($action)
           {
           case '帐户持有人要求取款':
               // 从指定提款机使用指定银行卡取出现金
               $world['account']->drawingByATM($world['atm'], $world['card'], $arguments[0]);
               break;
    
           default:
               return $this->notImplemented($action);
           }
       }
    
       /**
        * 处理 then
        */
       function runThen(&$world, $action, $arguments)
       {
           /**
            * 在 then 中验证业务对象的状态是否符合标准
            */
           switch($action)
           {
           case '提款机应该分发':
               // 验证提款机的余额
               $this->assertEquals($arguments[0], $world['atm']->last_dispense, "提款机应该分发 {$arguments[0]}");
               break;
    
           case '帐户余额应该为':
               // 验证帐户余额
              $this->assertEquals($arguments[0], $world['account']->balance, "帐户余额应该为 {$arguments[0]}");
              break;
  
          case '应该退还银行卡':
              // 验证银行卡没有被 ATM 锁定
              $this->assertTrue($world['card']->isCheckedOut(), '应该退还银行卡');
              break;
  
          default:
              return $this->notImplemented($action);
          }
      }
  }
?>