class CallTimesPrediction

class CallTimesPrediction implements PredictionInterface {
    private $times;
    private $util;
    
    /**
     * @param int        $times
     */
    public function __construct($times, ?StringUtil $util = null) {
        $this->times = intval($times);
        $this->util = $util ?: new StringUtil();
    }
    public function check(array $calls, ObjectProphecy $object, MethodProphecy $method) {
        if ($this->times == count($calls)) {
            return;
        }
        $methodCalls = $object->findProphecyMethodCalls($method->getMethodName(), new ArgumentsWildcard(array(
            new AnyValuesToken(),
        )));
        if (count($calls)) {
            $message = sprintf("Expected exactly %d calls that match:\n" . "  %s->%s(%s)\n" . "but %d were made:\n%s", $this->times, get_class($object->reveal()), $method->getMethodName(), $method->getArgumentsWildcard(), count($calls), $this->util
                ->stringifyCalls($calls));
        }
        elseif (count($methodCalls)) {
            $message = sprintf("Expected exactly %d calls that match:\n" . "  %s->%s(%s)\n" . "but none were made.\n" . "Recorded `%s(...)` calls:\n%s", $this->times, get_class($object->reveal()), $method->getMethodName(), $method->getArgumentsWildcard(), $method->getMethodName(), $this->util
                ->stringifyCalls($methodCalls));
        }
        else {
            $message = sprintf("Expected exactly %d calls that match:\n" . "  %s->%s(%s)\n" . "but none were made.", $this->times, get_class($object->reveal()), $method->getMethodName(), $method->getArgumentsWildcard());
        }
        throw new UnexpectedCallsCountException($message, $method, $this->times, $calls);
    }

}