Chris@14: <?php
Chris@14: /*
Chris@14:  * This file is part of the phpunit-mock-objects package.
Chris@14:  *
Chris@14:  * (c) Sebastian Bergmann <sebastian@phpunit.de>
Chris@14:  *
Chris@14:  * For the full copyright and license information, please view the LICENSE
Chris@14:  * file that was distributed with this source code.
Chris@14:  */
Chris@14: namespace PHPUnit\Framework\MockObject;
Chris@14: 
Chris@14: use PHPUnit\Framework\ExpectationFailedException;
Chris@14: 
Chris@14: /**
Chris@14:  * Interface for classes which must verify a given expectation.
Chris@14:  */
Chris@14: interface Verifiable
Chris@14: {
Chris@14:     /**
Chris@14:      * Verifies that the current expectation is valid. If everything is OK the
Chris@14:      * code should just return, if not it must throw an exception.
Chris@14:      *
Chris@14:      * @throws ExpectationFailedException
Chris@14:      */
Chris@14:     public function verify();
Chris@14: }