You are here

function ClassNotFoundExceptionSpec::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/ClassNotFoundExceptionSpec.php \spec\Prophecy\Exception\Doubler\ClassNotFoundExceptionSpec::it_is_a_prophecy_exception()

File

vendor/phpspec/prophecy/spec/Prophecy/Exception/Doubler/ClassNotFoundExceptionSpec.php, line 15

Class

ClassNotFoundExceptionSpec

Namespace

spec\Prophecy\Exception\Doubler

Code

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