You are here

function ClassCreatorExceptionSpec::it_is_a_prophecy_exception in Zircon Profile 8

Same name and namespace in other branches
  1. 8.0 vendor/phpspec/prophecy/spec/Prophecy/Exception/Doubler/ClassCreatorExceptionSpec.php \spec\Prophecy\Exception\Doubler\ClassCreatorExceptionSpec::it_is_a_prophecy_exception()

File

vendor/phpspec/prophecy/spec/Prophecy/Exception/Doubler/ClassCreatorExceptionSpec.php, line 18

Class

ClassCreatorExceptionSpec

Namespace

spec\Prophecy\Exception\Doubler

Code

function it_is_a_prophecy_exception() {
  $this
    ->shouldBeAnInstanceOf('Prophecy\\Exception\\Exception');
  $this
    ->shouldBeAnInstanceOf('Prophecy\\Exception\\Doubler\\DoublerException');
}