<?php declare(strict_types=1);

/*

 * This file is part of PHPUnit.

 *

 * (c) Sebastian Bergmann <sebastian@phpunit.de>

 *

 * For the full copyright and license information, please view the LICENSE

 * file that was distributed with this source code.

 */

namespace PHPUnit\Framework\MockObject;



use PHPUnit\Framework\ExpectationFailedException;



/**

 * @internal This class is not covered by the backward compatibility promise for PHPUnit

 */

interface Verifiable

{

    /**

     * Verifies that the current expectation is valid. If everything is OK the

     * code should just return, if not it must throw an exception.

     *

     * @throws ExpectationFailedException

     */

    public function verify(): void;

}

