1 | <?php |
||
27 | class PreconditionCheckerAspect extends AbstractContractAspect implements Aspect |
||
28 | { |
||
29 | /** |
||
30 | * @var MethodConditionWithInheritDocFetcher |
||
31 | */ |
||
32 | private $methodConditionFetcher; |
||
33 | |||
34 | public function __construct(Reader $reader) |
||
39 | |||
40 | /** |
||
41 | * Verifies pre-condition contract for the method |
||
42 | * |
||
43 | * @param MethodInvocation $invocation |
||
44 | * @Before("@execution(PhpDeal\Annotation\Verify)") |
||
45 | * |
||
46 | * @throws ContractViolation |
||
47 | * @throws ReflectionException |
||
48 | */ |
||
49 | 11 | public function preConditionContract(MethodInvocation $invocation): void |
|
58 | |||
59 | /** |
||
60 | * @param MethodInvocation $invocation |
||
61 | * @return array |
||
62 | * @throws ReflectionException |
||
63 | */ |
||
64 | 11 | private function fetchAllContracts(MethodInvocation $invocation): array |
|
78 | |||
79 | /** |
||
80 | * @param MethodInvocation $invocation |
||
81 | * @return array |
||
82 | * @throws ReflectionException |
||
83 | */ |
||
84 | 11 | private function fetchParentsContracts(MethodInvocation $invocation): array |
|
91 | } |
||
92 |
This check marks PHPDoc comments that could not be parsed by our parser. To see which comment annotations we can parse, please refer to our documentation on supported doc-types.