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