www.gusucode.com > KPPW众包威客PHP开源建站系统 v3.0源码程序 > KPPW/vendor/phpspec/phpspec/spec/PhpSpec/Formatter/Presenter/Exception/GenericPhpSpecExceptionPresenterSpec.php
<?php namespace spec\PhpSpec\Formatter\Presenter\Exception; use PhpSpec\Formatter\Presenter\Exception\ExceptionElementPresenter; use PhpSpec\ObjectBehavior; use Prophecy\Argument; class GenericPhpSpecExceptionPresenterSpec extends ObjectBehavior { function let(ExceptionElementPresenter $elementPresenter) { $this->beConstructedWith($elementPresenter); } function it_is_a_phpspec_exception_presenter() { $this->shouldImplement('PhpSpec\Formatter\Presenter\Exception\PhpSpecExceptionPresenter'); } }