You are here

function InterfaceNotFoundExceptionSpec::it_extends_ClassNotFoundException in Zircon Profile 8

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

File

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

Class

InterfaceNotFoundExceptionSpec

Namespace

spec\Prophecy\Exception\Doubler

Code

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