class Parameters

final class Parameters implements ParametersRule {
    
    /**
     * @psalm-var list<Constraint>
     */
    private array $parameters = [];
    private ?BaseInvocation $invocation = null;
    private null|bool|ExpectationFailedException $parameterVerificationResult;
    
    /**
     * @throws \PHPUnit\Framework\Exception
     */
    public function __construct(array $parameters) {
        foreach ($parameters as $parameter) {
            if (!$parameter instanceof Constraint) {
                $parameter = new IsEqual($parameter);
            }
            $this->parameters[] = $parameter;
        }
    }
    
    /**
     * @throws Exception
     */
    public function apply(BaseInvocation $invocation) : void {
        $this->invocation = $invocation;
        $this->parameterVerificationResult = null;
        try {
            $this->parameterVerificationResult = $this->doVerify();
        } catch (ExpectationFailedException $e) {
            $this->parameterVerificationResult = $e;
            throw $this->parameterVerificationResult;
        }
    }
    
    /**
     * Checks if the invocation $invocation matches the current rules. If it
     * does the rule will get the invoked() method called which should check
     * if an expectation is met.
     *
     * @throws ExpectationFailedException
     */
    public function verify() : void {
        $this->doVerify();
    }
    
    /**
     * @throws ExpectationFailedException
     */
    private function doVerify() : bool {
        if (isset($this->parameterVerificationResult)) {
            return $this->guardAgainstDuplicateEvaluationOfParameterConstraints();
        }
        if ($this->invocation === null) {
            throw new ExpectationFailedException('Mocked method does not exist.');
        }
        if (count($this->invocation
            ->parameters()) < count($this->parameters)) {
            $message = 'Parameter count for invocation %s is too low.';
            // The user called `->with($this->anything())`, but may have meant
            // `->withAnyParameters()`.
            //
            // @see https://github.com/sebastianbergmann/phpunit-mock-objects/issues/199
            if (count($this->parameters) === 1 && $this->parameters[0]::class === IsAnything::class) {
                $message .= "\nTo allow 0 or more parameters with any value, omit ->with() or use ->withAnyParameters() instead.";
            }
            throw new ExpectationFailedException(sprintf($message, $this->invocation
                ->toString()));
        }
        foreach ($this->parameters as $i => $parameter) {
            if ($parameter instanceof Callback && $parameter->isVariadic()) {
                $other = $this->invocation
                    ->parameters();
            }
            else {
                $other = $this->invocation
                    ->parameters()[$i];
            }
            $parameter->evaluate($other, sprintf('Parameter %s for invocation %s does not match expected ' . 'value.', $i, $this->invocation
                ->toString()));
        }
        return true;
    }
    
    /**
     * @throws ExpectationFailedException
     */
    private function guardAgainstDuplicateEvaluationOfParameterConstraints() : bool {
        if ($this->parameterVerificationResult instanceof ExpectationFailedException) {
            throw $this->parameterVerificationResult;
        }
        return (bool) $this->parameterVerificationResult;
    }

}