Chris@0: <?php
Chris@0: 
Chris@0: namespace spec\Prophecy\Exception\Doubler;
Chris@0: 
Chris@0: use PhpSpec\ObjectBehavior;
Chris@0: use spec\Prophecy\Exception\Prophecy;
Chris@0: 
Chris@0: class MethodNotExtendableExceptionSpec extends ObjectBehavior
Chris@0: {
Chris@0:     function let()
Chris@0:     {
Chris@0:         $this->beConstructedWith('', 'User', 'getName');
Chris@0:     }
Chris@0: 
Chris@0:     function it_is_DoubleException()
Chris@0:     {
Chris@0:         $this->shouldHaveType('Prophecy\Exception\Doubler\DoubleException');
Chris@0:     }
Chris@0: 
Chris@0:     function it_has_MethodName()
Chris@0:     {
Chris@0:         $this->getMethodName()->shouldReturn('getName');
Chris@0:     }
Chris@0: 
Chris@0:     function it_has_classname()
Chris@0:     {
Chris@0:         $this->getClassName()->shouldReturn('User');
Chris@0:     }
Chris@0: }