2016-08-22 15:32:31 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace LanguageServer;
|
|
|
|
|
2016-08-22 21:48:20 +00:00
|
|
|
use LanguageServer\Protocol\{ProtocolServer, ServerCapabilities};
|
|
|
|
use LanguageServer\Protocol\Methods\Initialize\{InitializeRequest, InitializeResult, InitializeResponse};
|
2016-08-22 15:32:31 +00:00
|
|
|
|
|
|
|
class LanguageServer extends ProtocolServer
|
|
|
|
{
|
2016-08-22 21:48:20 +00:00
|
|
|
public function initialize(InitializeRequest $req): InitializeResponse
|
2016-08-22 15:32:31 +00:00
|
|
|
{
|
2016-08-22 21:48:20 +00:00
|
|
|
$result = new InitializeResult;
|
|
|
|
$result->capabilites = new ServerCapabilities;
|
|
|
|
return new InitializeResponse($result);
|
2016-08-22 15:32:31 +00:00
|
|
|
}
|
2016-08-22 21:48:20 +00:00
|
|
|
|
|
|
|
public function shutdown
|
2016-08-22 15:32:31 +00:00
|
|
|
}
|