<?php

declare(strict_types=1);

/**
 * Mockery (https://docs.mockery.io/en/stable/)
 *
 * @copyright https://github.com/mockery/mockery/blob/HEAD/COPYRIGHT.md
 * @license   https://github.com/mockery/mockery/blob/HEAD/LICENSE BSD 3-Clause License
 * @see       https://github.com/mockery/mockery for the canonical source repository
 */

namespace Tests\Unit\PHP73;

use DateTime;
use InvalidArgumentException;
use Mockery;
use Mockery\Adapter\Phpunit\MockeryTestCase;
use Mockery\Exception\InvalidCountException;
use Mockery\Expectation;
use Throwable;

use function restore_error_handler;
use function set_error_handler;

/**
 * @coversDefaultClass \Mockery
 *
 * @requires PHP 7.3
 *
 * @see https://github.com/mockery/mockery/issues/1328
 */
final class TestCase1328Test extends MockeryTestCase
{
    /**
     * @throws Throwable
     */
    public function testShouldFailWithAnInvocationCountError(): void
    {
        $this->expectException(InvalidCountException::class);

        $mock = Mockery::mock(DateTime::class);

        $mock->shouldNotReceive('format');

        $mock->format('Y');

        Mockery::close();
    }

    /**
     * @throws Throwable
     */
    public function testThrowsInvalidArgumentExceptionForChainingAdditionalInvocationCountMethod(): void
    {
        set_error_handler(
            static function (int $errorCode, string $errorMessage): void {
                restore_error_handler();

                throw new InvalidArgumentException($errorMessage, $errorCode);
            },
            E_ALL
        );

        $this->expectException(InvalidArgumentException::class);
        $this->expectExceptionMessage(Expectation::ERROR_ZERO_INVOCATION);

        $mock = Mockery::mock(DateTime::class);

        $mock->shouldNotReceive('format')
            ->times(0);

        $mock->format('Y');
    }

    /**
     * @throws Throwable
     */
    public function testThrowsInvalidArgumentExceptionWhenInvocationCountChanges(): void
    {
        set_error_handler(
            static function (int $errorCode, string $errorMessage): void {
                restore_error_handler();

                throw new InvalidArgumentException($errorMessage, $errorCode);
            },
            E_ALL
        );

        $this->expectException(InvalidArgumentException::class);
        $this->expectExceptionMessage(Expectation::ERROR_ZERO_INVOCATION);

        $mock = Mockery::mock(DateTime::class);

        $mock->shouldNotReceive('format')
            ->once();

        $mock->format('Y');
    }
}
