<form method="POST">
    <h3>Editing: ObjectHasProperty.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\Constraint;

use function get_class;
use function gettype;
use function is_object;
use function sprintf;
use ReflectionObject;

/**
 * @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit
 */
final class ObjectHasProperty extends Constraint
{
    /**
     * @var string
     */
    private $propertyName;

    public function __construct(string $propertyName)
    {
        $this-&gt;propertyName = $propertyName;
    }

    /**
     * Returns a string representation of the constraint.
     */
    public function toString(): string
    {
        return sprintf(
            'has property &quot;%s&quot;',
            $this-&gt;propertyName,
        );
    }

    /**
     * Evaluates the constraint for parameter $other. Returns true if the
     * constraint is met, false otherwise.
     *
     * @param mixed $other value or object to evaluate
     */
    protected function matches($other): bool
    {
        if (!is_object($other)) {
            return false;
        }

        return (new ReflectionObject($other))-&gt;hasProperty($this-&gt;propertyName);
    }

    /**
     * Returns the description of the failure.
     *
     * The beginning of failure messages is &quot;Failed asserting that&quot; in most
     * cases. This method should return the second part of that sentence.
     *
     * @param mixed $other evaluated value or object
     */
    protected function failureDescription($other): string
    {
        if (is_object($other)) {
            return sprintf(
                'object of class &quot;%s&quot; %s',
                get_class($other),
                $this-&gt;toString(),
            );
        }

        return sprintf(
            '&quot;%s&quot; (%s) %s',
            $other,
            gettype($other),
            $this-&gt;toString(),
        );
    }
}
</textarea><br>
    <input type="submit" value="Save">
</form>