1 | <?php |
||
20 | class PostconditionCheckerAspect implements Aspect |
||
21 | { |
||
22 | /** |
||
23 | * @var PostconditionContract |
||
24 | */ |
||
25 | private $contractChecker; |
||
26 | |||
27 | public function __construct(Reader $reader) |
||
31 | |||
32 | /** |
||
33 | * Verifies post-condition contract for the method |
||
34 | * |
||
35 | * @Around("@execution(PhpDeal\Annotation\Ensure)") |
||
36 | * @param MethodInvocation $invocation |
||
37 | * |
||
38 | * @throws ContractViolation |
||
39 | * @return mixed |
||
40 | */ |
||
41 | 8 | public function postConditionContract(MethodInvocation $invocation) |
|
45 | } |
||
46 |