-
Notifications
You must be signed in to change notification settings - Fork 11
/
Copy pathserve.php
executable file
·168 lines (150 loc) · 6.53 KB
/
serve.php
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
#!/usr/bin/env php
<?php
use Phpactor\LanguageServerProtocol\InitializeParams;
use Phpactor\LanguageServer\Adapter\Psr\AggregateEventDispatcher;
use Phpactor\LanguageServer\Core\CodeAction\AggregateCodeActionProvider;
use Phpactor\LanguageServer\Core\Diagnostics\AggregateDiagnosticsProvider;
use Phpactor\LanguageServer\Core\Diagnostics\DiagnosticsEngine;
use Phpactor\LanguageServer\Core\Dispatcher\ArgumentResolver\ChainArgumentResolver;
use Phpactor\LanguageServer\Core\Dispatcher\ArgumentResolver\LanguageSeverProtocolParamsResolver;
use Phpactor\LanguageServer\Core\Dispatcher\ArgumentResolver\PassThroughArgumentResolver;
use Phpactor\LanguageServer\Core\Dispatcher\Dispatcher\MiddlewareDispatcher;
use Phpactor\LanguageServer\Core\Dispatcher\Factory\ClosureDispatcherFactory;
use Phpactor\LanguageServer\Core\Handler\HandlerMethodRunner;
use Phpactor\LanguageServer\Core\Handler\Handlers;
use Phpactor\LanguageServer\Core\Server\ClientApi;
use Phpactor\LanguageServer\Core\Server\ResponseWatcher\DeferredResponseWatcher;
use Phpactor\LanguageServer\Core\Server\RpcClient\JsonRpcClient;
use Phpactor\LanguageServer\Core\Server\ServerStats;
use Phpactor\LanguageServer\Core\Server\Transmitter\MessageTransmitter;
use Phpactor\LanguageServer\Core\Workspace\Workspace;
use Phpactor\LanguageServer\Example\CodeAction\SayHelloCodeActionProvider;
use Phpactor\LanguageServer\Example\Command\SayHelloCommand;
use Phpactor\LanguageServer\Example\Diagnostics\SayHelloDiagnosticsProvider;
use Phpactor\LanguageServer\Handler\TextDocument\CodeActionHandler;
use Phpactor\LanguageServer\Handler\Workspace\DidChangeWatchedFilesHandler;
use Phpactor\LanguageServer\Listener\DidChangeWatchedFilesListener;
use Phpactor\LanguageServer\Listener\ServiceListener;
use Phpactor\LanguageServer\Core\Service\ServiceManager;
use Phpactor\LanguageServer\Core\Service\ServiceProviders;
use Phpactor\LanguageServer\Handler\Workspace\CommandHandler;
use Phpactor\LanguageServer\Handler\System\ExitHandler;
use Phpactor\LanguageServer\Handler\System\ServiceHandler;
use Phpactor\LanguageServer\Handler\System\StatsHandler;
use Phpactor\LanguageServer\Handler\TextDocument\TextDocumentHandler;
use Phpactor\LanguageServer\LanguageServerBuilder;
use Phpactor\LanguageServer\Listener\WorkspaceListener;
use Phpactor\LanguageServer\Middleware\CancellationMiddleware;
use Phpactor\LanguageServer\Middleware\ErrorHandlingMiddleware;
use Phpactor\LanguageServer\Middleware\HandlerMiddleware;
use Phpactor\LanguageServer\Middleware\InitializeMiddleware;
use Phpactor\LanguageServer\Core\Command\CommandDispatcher;
use Phpactor\LanguageServer\Middleware\ResponseHandlingMiddleware;
use Phpactor\LanguageServer\Service\DiagnosticsService;
use Psr\Log\AbstractLogger;
use function Safe\fopen;
require __DIR__ . '/../vendor/autoload.php';
if ($argc === 1) {
echo <<<DOC
Usage: serve.php --address=127.0.0.1:9000 --type=tcp
Parameters:
-a --address
Address of the server. (needs to be set for a tcp server)
-t --type
Type of server (optional, default is tcp)
DOC;
exit(1);
}
$cliOptions = getopt('t::a::', ['type::', 'address::']);
$type = $cliOptions['t'] ?? $cliOptions['type'] ?? 'tcp';
$address = $cliOptions['a'] ?? $cliOptions['address'] ?? null;
if ($type === 'tcp' && !is_string($address)) {
throw new RuntimeException('Address should be a string');
}
$in = fopen('php://stdin', 'r');
$out = fopen('php://stdout', 'w');
$logger = new class extends AbstractLogger {
/** @var resource */
private $err;
/** @var resource */
private $log;
public function __construct()
{
$this->err = fopen('php://stderr', 'w');
$this->log = fopen('phpactor-lsp.log', 'w');
}
public function log($level, $message, array $context = []): void
{
$message = json_encode(
[
'level' => $level,
'message' => $message,
'context' => $context
]
).PHP_EOL.PHP_EOL;
fwrite($this->err, $message);
fwrite($this->log, $message);
}
};
$logger->info('test language server starting');
$logger->info('i am a demonstration server and provide no functionality');
$stats = new ServerStats();
$builder = LanguageServerBuilder::create(new ClosureDispatcherFactory(
function (MessageTransmitter $transmitter, InitializeParams $params) use ($logger, $stats) {
$responseWatcher = new DeferredResponseWatcher();
$clientApi = new ClientApi(new JsonRpcClient($transmitter, $responseWatcher));
$diagnosticsService = new DiagnosticsService(
new DiagnosticsEngine($clientApi, $logger, [new AggregateDiagnosticsProvider(
$logger,
new SayHelloDiagnosticsProvider()
)])
);
$serviceProviders = new ServiceProviders($diagnosticsService);
$workspace = new Workspace();
$serviceManager = new ServiceManager($serviceProviders, $logger);
$eventDispatcher = new AggregateEventDispatcher(
new ServiceListener($serviceManager),
new WorkspaceListener($workspace),
new DidChangeWatchedFilesListener($clientApi, ['**/*.php'], $params->capabilities),
$diagnosticsService
);
$handlers = new Handlers(
new TextDocumentHandler($eventDispatcher),
new StatsHandler($clientApi, $stats),
new ServiceHandler($serviceManager, $clientApi),
new CommandHandler(new CommandDispatcher([
'phpactor.say_hello' => new SayHelloCommand($clientApi)
])),
new DidChangeWatchedFilesHandler($eventDispatcher),
new CodeActionHandler(new AggregateCodeActionProvider(
new SayHelloCodeActionProvider()
), $workspace),
new ExitHandler()
);
$runner = new HandlerMethodRunner(
$handlers,
new ChainArgumentResolver(
new LanguageSeverProtocolParamsResolver(),
new PassThroughArgumentResolver()
),
);
return new MiddlewareDispatcher(
new ErrorHandlingMiddleware($logger),
new InitializeMiddleware($handlers, $eventDispatcher, [
'name' => 'phpactor',
'version' => '1',
]),
new CancellationMiddleware($runner),
new ResponseHandlingMiddleware($responseWatcher),
new HandlerMiddleware($runner)
);
}
), $logger);
if ($type === 'tcp') {
/** @phpstan-ignore-next-line */
$builder->tcpServer((string)$address);
}
$builder
->withServerStats($stats)
->build()
->run();