Chris@0: <?php
Chris@0: 
Chris@0: namespace spec\Prophecy\Doubler\ClassPatch;
Chris@0: 
Chris@0: use PhpSpec\ObjectBehavior;
Chris@0: use Prophecy\Argument;
Chris@0: use Prophecy\Doubler\Generator\Node\ClassNode;
Chris@0: use Prophecy\Doubler\Generator\Node\MethodNode;
Chris@0: 
Chris@0: class HhvmExceptionPatchSpec extends ObjectBehavior
Chris@0: {
Chris@0:     function it_is_a_patch()
Chris@0:     {
Chris@0:         $this->shouldBeAnInstanceOf('Prophecy\Doubler\ClassPatch\ClassPatchInterface');
Chris@0:     }
Chris@0: 
Chris@0:     function its_priority_is_minus_50()
Chris@0:     {
Chris@0:         $this->getPriority()->shouldReturn(-50);
Chris@0:     }
Chris@0: 
Chris@0:     function it_uses_parent_code_for_setTraceOptions(ClassNode $node, MethodNode $method, MethodNode $getterMethod)
Chris@0:     {
Chris@0:         $node->hasMethod('setTraceOptions')->willReturn(true);
Chris@0:         $node->getMethod('setTraceOptions')->willReturn($method);
Chris@0:         $node->hasMethod('getTraceOptions')->willReturn(true);
Chris@0:         $node->getMethod('getTraceOptions')->willReturn($getterMethod);
Chris@0: 
Chris@0:         $method->useParentCode()->shouldBeCalled();
Chris@0:         $getterMethod->useParentCode()->shouldBeCalled();
Chris@0: 
Chris@0:         $this->apply($node);
Chris@0:     }
Chris@0: }