示例#1
0
 /**
  * @covers \examples\statemachines\PwrCall\PwrCall::userParkFailed
  * @covers \examples\statemachines\PwrCall\AbstractPwrCallState::userParkFailed
  * @expectedException \examples\statemachines\PwrCall\IllegalStateTransitionException
  */
 public function testCannotUserParkFailed()
 {
     $this->pwrcall->userParkFailed();
 }
 /**
  * @covers \examples\statemachines\PwrCall\PwrCall::userParkFailed
  * @covers \examples\statemachines\PwrCall\WaitForUserParkedState::userParkFailed
  * @uses   \examples\statemachines\PwrCall\PwrCall::isUserParkFailState
  */
 public function testCanUserParkFailed()
 {
     $this->pwrcall->userParkFailed();
     $this->assertTrue($this->pwrcall->isUserParkFailState());
 }