src/Aspect/PreconditionCheckerAspect.php
public function preConditionContract(MethodInvocation $invocation): void
    {
        $object = $invocation->getThis();
        $args   = $this->fetchMethodArguments($invocation);
        $scope  = $invocation->getMethod()->getDeclaringClass()->name;

        $allContracts = $this->fetchAllContracts($invocation);
        $this->ensureContracts($invocation, $allContracts, $object, $scope, $args);
    }
public function preConditionContract(MethodInvocation $invocation): void
    {
        $object = $invocation->getThis();
        $args   = $this->fetchMethodArguments($invocation);
        $scope  = $invocation->getMethod()->getDeclaringClass()->name;

        $allContracts = $this->fetchAllContracts($invocation);
        $this->ensureContracts($invocation, $allContracts, $object, $scope, $args);
    }
public function preConditionContract ( MethodInvocation $ invocation ) : void { $ object = $ invocation -> getThis ( ) ; $ args = $ this -> fetchMethodArguments ( $ invocation ) ; $ scope = $ invocation -> getMethod ( ) -> getDeclaringClass ( ) -> name ; $ allContracts = $ this -> fetchAllContracts ( $ invocation ) ; $ this -> ensureContracts ( $ invocation , $ allContracts , $ object , $ scope , $ args ) ; }
Verifies pre-condition contract for the method

@param MethodInvocation $invocation
@Before("@execution(PhpDeal\Annotation\Verify)")

@throws ContractViolation
@throws ReflectionException
Verifies pre - condition contract for the method