function DoubleExceptionSpec::it_is_a_double_exception in Zircon Profile 8

Same name and namespace in other branches

1. 8.0 vendor/phpspec/prophecy/spec/Prophecy/Exception/Doubler/DoubleExceptionSpec.php \spec\Prophecy\Exception\Doubler\DoubleExceptionSpec::it_is_a_double_exception()

File

vendor/phpspec/prophecy/spec/Prophecy/Exception/Doubler/DoubleExceptionSpec.php, line 9

Class

DoubleExceptionSpec

Namespace

spec\Prophecy\Exception\Doubler

Code

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