LanguageServerSessionExtension.php

<?php

namespace Phpactor\Extension\LanguageServer;

use Phpactor\Container\Container;
use Phpactor\Container\ContainerBuilder;
use Phpactor\Container\Extension;
use Phpactor\LanguageServerProtocol\ClientCapabilities;
use Phpactor\LanguageServerProtocol\InitializeParams;
use Phpactor\LanguageServer\Core\Server\ClientApi;
use Phpactor\LanguageServer\Core\Server\ResponseWatcher;
use Phpactor\LanguageServer\Core\Server\ResponseWatcher\DeferredResponseWatcher;
use Phpactor\LanguageServer\Core\Server\RpcClient;
use Phpactor\LanguageServer\Core\Server\RpcClient\JsonRpcClient;
use Phpactor\LanguageServer\Core\Server\Transmitter\MessageTransmitter;
use Phpactor\LanguageServer\WorkDoneProgress\ProgressNotifierFactory;
use Phpactor\MapResolver\Resolver;

class LanguageServerSessionExtension implements Extension
{
    /**
     * @var MessageTransmitter
     */
    private $transmitter;

    /**
     * @var InitializeParams
     */
    private $initializeParams;

    public function __construct(
        MessageTransmitter $transmitter,
        InitializeParams $initializeParams
    ) {
        $this->transmitter = $transmitter;
        $this->initializeParams = $initializeParams;
    }

    /**
     * {@inheritDoc}
     */
    public function load(ContainerBuilder $container): void
    {
        $container->register(ClientCapabilities::class, function (Container $container) {
            return $this->initializeParams->capabilities;
        });

        $container->register(InitializeParams::class, function (Container $container) {
            return $this->initializeParams;
        });

        $container->register(MessageTransmitter::class, function (Container $container) {
            return $this->transmitter;
        });

        $container->register(ResponseWatcher::class, function (Container $container) {
            return new DeferredResponseWatcher();
        });

        $container->register(ClientApi::class, function (Container $container) {
            return new ClientApi($container->get(RpcClient::class));
        });

        $container->register(RpcClient::class, function (Container $container) {
            return new JsonRpcClient($this->transmitter, $container->get(ResponseWatcher::class));
        });

        $container->register(ProgressNotifierFactory::class, function (Container $container) {
            return new ProgressNotifierFactory(
                $container->get(ClientApi::class),
                $container->get(ClientCapabilities::class),
            );
        });
    }

    /**
     * {@inheritDoc}
     */
    public function configure(Resolver $schema): void
    {
    }
}