1 | <?php |
||
19 | class PreconditionContract extends Contract |
||
20 | { |
||
21 | /** |
||
22 | * @var MethodConditionWithInheritDocFetcher |
||
23 | */ |
||
24 | private $methodConditionFetcher; |
||
25 | |||
26 | public function __construct(Reader $reader) |
||
31 | |||
32 | /** |
||
33 | * @param MethodInvocation $invocation |
||
34 | * @Before("@execution(PhpDeal\Annotation\Verify)") |
||
35 | * @throws ContractViolation |
||
36 | */ |
||
37 | 19 | public function check(MethodInvocation $invocation) |
|
46 | |||
47 | /** |
||
48 | * @param MethodInvocation $invocation |
||
49 | * @return array |
||
50 | */ |
||
51 | 19 | private function fetchAllContracts(MethodInvocation $invocation) |
|
63 | |||
64 | /** |
||
65 | * @param MethodInvocation $invocation |
||
66 | * @return array |
||
67 | */ |
||
68 | 19 | private function fetchParentsContracts(MethodInvocation $invocation) |
|
76 | } |
||
77 |