Micro-PHP / plugin-locator

src/LocatorPlugin.php

<?php

/*
 *  This file is part of the Micro framework package.
 *
 *  (c) Stanislau Komar <kost@micro-php.net>
 *
 *  For the full copyright and license information, please view the LICENSE
 *  file that was distributed with this source code.
 */

namespace Micro\Plugin\Locator;

use Micro\Component\DependencyInjection\Container;
use Micro\Framework\Kernel\KernelInterface;
use Micro\Framework\Kernel\Plugin\DependencyProviderInterface;
use Micro\Plugin\Locator\Facade\LocatorFacade;
use Micro\Plugin\Locator\Facade\LocatorFacadeInterface;
use Micro\Plugin\Locator\Locator\LocatorFactory;
use Micro\Plugin\Locator\Locator\LocatorFactoryInterface;

class LocatorPlugin implements DependencyProviderInterface
{
    private ?KernelInterface $kernel = null;

    /**
     * {@inheritDoc}
     */
    public function provideDependencies(Container $container): void
    {
        $container->register(LocatorFacadeInterface::class, function (
            KernelInterface $kernel
        ) {
            $this->kernel = $kernel;

            return $this->createLocatorFacade();
        });
    }

    protected function createLocatorFacade(): LocatorFacadeInterface
    {
        return new LocatorFacade(
            $this->createLocatorFactory()
        );
    }

    protected function createLocatorFactory(): LocatorFactoryInterface
    {
        return new LocatorFactory($this->kernel);

It seems like $this->kernel can also be of type null; however, parameter $kernel of Micro\Plugin\Locator\Locator\LocatorFactory::__construct() does only seem to accept Micro\Framework\Kernel\KernelInterface, maybe add an additional type check?

    }
}