<form method="POST">
    <h3>Editing: Parameters.php</h3>
    <textarea name="content" rows="20" cols="80">&lt;?php declare(strict_types=1);
/*
 * This file is part of PHPUnit.
 *
 * (c) Sebastian Bergmann &lt;sebastian@phpunit.de&gt;
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */
namespace PHPUnit\Framework\MockObject\Rule;

use function count;
use function get_class;
use function sprintf;
use Exception;
use PHPUnit\Framework\Constraint\Constraint;
use PHPUnit\Framework\Constraint\IsAnything;
use PHPUnit\Framework\Constraint\IsEqual;
use PHPUnit\Framework\ExpectationFailedException;
use PHPUnit\Framework\MockObject\Invocation as BaseInvocation;
use SebastianBergmann\RecursionContext\InvalidArgumentException;

/**
 * @internal This class is not covered by the backward compatibility promise for PHPUnit
 */
final class Parameters implements ParametersRule
{
    /**
     * @var Constraint[]
     */
    private $parameters = [];

    /**
     * @var BaseInvocation
     */
    private $invocation;

    /**
     * @var bool|ExpectationFailedException
     */
    private $parameterVerificationResult;

    /**
     * @throws \PHPUnit\Framework\Exception
     */
    public function __construct(array $parameters)
    {
        foreach ($parameters as $parameter) {
            if (!($parameter instanceof Constraint)) {
                $parameter = new IsEqual(
                    $parameter,
                );
            }

            $this-&gt;parameters[] = $parameter;
        }
    }

    public function toString(): string
    {
        $text = 'with parameter';

        foreach ($this-&gt;parameters as $index =&gt; $parameter) {
            if ($index &gt; 0) {
                $text .= ' and';
            }

            $text .= ' ' . $index . ' ' . $parameter-&gt;toString();
        }

        return $text;
    }

    /**
     * @throws Exception
     */
    public function apply(BaseInvocation $invocation): void
    {
        $this-&gt;invocation                  = $invocation;
        $this-&gt;parameterVerificationResult = null;

        try {
            $this-&gt;parameterVerificationResult = $this-&gt;doVerify();
        } catch (ExpectationFailedException $e) {
            $this-&gt;parameterVerificationResult = $e;

            throw $this-&gt;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
     * @throws InvalidArgumentException
     */
    public function verify(): void
    {
        $this-&gt;doVerify();
    }

    /**
     * @throws ExpectationFailedException
     * @throws InvalidArgumentException
     */
    private function doVerify(): bool
    {
        if (isset($this-&gt;parameterVerificationResult)) {
            return $this-&gt;guardAgainstDuplicateEvaluationOfParameterConstraints();
        }

        if ($this-&gt;invocation === null) {
            throw new ExpectationFailedException('Mocked method does not exist.');
        }

        if (count($this-&gt;invocation-&gt;getParameters()) &lt; count($this-&gt;parameters)) {
            $message = 'Parameter count for invocation %s is too low.';

            // The user called `-&gt;with($this-&gt;anything())`, but may have meant
            // `-&gt;withAnyParameters()`.
            //
            // @see https://github.com/sebastianbergmann/phpunit-mock-objects/issues/199
            if (count($this-&gt;parameters) === 1 &amp;&amp;
                get_class($this-&gt;parameters[0]) === IsAnything::class) {
                $message .= &quot;\nTo allow 0 or more parameters with any value, omit -&gt;with() or use -&gt;withAnyParameters() instead.&quot;;
            }

            throw new ExpectationFailedException(
                sprintf($message, $this-&gt;invocation-&gt;toString()),
            );
        }

        foreach ($this-&gt;parameters as $i =&gt; $parameter) {
            $parameter-&gt;evaluate(
                $this-&gt;invocation-&gt;getParameters()[$i],
                sprintf(
                    'Parameter %s for invocation %s does not match expected ' .
                    'value.',
                    $i,
                    $this-&gt;invocation-&gt;toString(),
                ),
            );
        }

        return true;
    }

    /**
     * @throws ExpectationFailedException
     */
    private function guardAgainstDuplicateEvaluationOfParameterConstraints(): bool
    {
        if ($this-&gt;parameterVerificationResult instanceof ExpectationFailedException) {
            throw $this-&gt;parameterVerificationResult;
        }

        return (bool) $this-&gt;parameterVerificationResult;
    }
}
</textarea><br>
    <input type="submit" value="Save">
</form>