function ProphecyTrait::verifyProphecyDoubles

@postCondition

File

vendor/phpspec/prophecy-phpunit/src/ProphecyTrait.php, line 65

Class

ProphecyTrait

@mixin TestCase

Namespace

Prophecy\PhpUnit

Code

protected function verifyProphecyDoubles() : void {
    if ($this->prophet === null) {
        return;
    }
    try {
        $this->prophet
            ->checkPredictions();
    } catch (PredictionException $e) {
        throw new AssertionFailedError($e->getMessage());
    } finally {
        $this->countProphecyAssertions();
    }
}