handler = $handler; $this->mapper = $mapper; } /** * Diagnostics notification are sent from the server to the client to signal results of validation runs. * * @param Diagnostic[] $diagnostics * * @return Promise */ public function publishDiagnostics(string $uri, array $diagnostics): Promise { return $this->handler->notify('textDocument/publishDiagnostics', [ 'uri' => $uri, 'diagnostics' => $diagnostics, ]); } /** * The content request is sent from a server to a client * to request the current content of a text document identified by the URI * * @param TextDocumentIdentifier $textDocument The document to get the content for * * @return Promise The document's current content */ public function xcontent(TextDocumentIdentifier $textDocument): Promise { return call( /** * @return \Generator, object, TextDocumentItem> */ function () use ($textDocument) { /** @var Promise */ $promise = $this->handler->request( 'textDocument/xcontent', ['textDocument' => $textDocument] ); $result = yield $promise; /** @var TextDocumentItem */ return $this->mapper->map($result, new TextDocumentItem); } ); } }