public void publishDiagnostics(TextDocumentIdentifier docId, Collection<Diagnostic> diagnostics) { LanguageClient client = server.getClient(); if (client!=null && diagnostics!=null) { PublishDiagnosticsParams params = new PublishDiagnosticsParams(); params.setUri(docId.getUri()); params.setDiagnostics(ImmutableList.copyOf(diagnostics)); client.publishDiagnostics(params); } }
private void publishDiagnostics(final URI uri, final Iterable<? extends Issue> issues) { final Consumer<InitializedParams> _function = (InitializedParams it) -> { PublishDiagnosticsParams _publishDiagnosticsParams = new PublishDiagnosticsParams(); final Procedure1<PublishDiagnosticsParams> _function_1 = (PublishDiagnosticsParams it_1) -> { it_1.setUri(this._uriExtensions.toUriString(uri)); final Function1<Issue, Boolean> _function_2 = (Issue it_2) -> { Severity _severity = it_2.getSeverity(); return Boolean.valueOf((_severity != Severity.IGNORE)); }; final Function1<Issue, Diagnostic> _function_3 = (Issue it_2) -> { return this.toDiagnostic(it_2); }; it_1.setDiagnostics(IterableExtensions.<Diagnostic>toList(IterableExtensions.map(IterableExtensions.filter(issues, _function_2), _function_3))); }; final PublishDiagnosticsParams diagnostics = ObjectExtensions.<PublishDiagnosticsParams>operator_doubleArrow(_publishDiagnosticsParams, _function_1); this.client.publishDiagnostics(diagnostics); }; this.initialized.thenAccept(_function); }
@Inject private void subscribe( LanguageServerPathTransformer languageServerPathTransformer, EventService eventService, RequestTransmitter requestTransmitter) { eventService.subscribe( event -> { PublishDiagnosticsParams params = event.getParams(); if (params.getUri() != null) { try { URI uri = new URI(params.getUri()); String wsPath = languageServerPathTransformer.toWsPath(event.getLanguageServerId(), uri); params.setUri(wsPath); endpointIds.forEach( endpointId -> requestTransmitter .newRequest() .endpointId(endpointId) .methodName("textDocument/publishDiagnostics") .paramsAsDto(new ExtendedPublishDiagnosticsParamsDto(event)) .sendAndSkipResult()); } catch (URISyntaxException e) { LOG.error("Can't parse diagnostic URI: {}", params.getUri(), e); } } }, ExtendedPublishDiagnosticsParams.class); }
PublishDiagnosticsParams _publishDiagnosticsParams = new PublishDiagnosticsParams(); final Procedure1<PublishDiagnosticsParams> _function_1 = (PublishDiagnosticsParams it_1) -> { it_1.setUri("file:///tmp/foo"); ArrayList<Diagnostic> _arrayList = new ArrayList<Diagnostic>(); final Procedure1<ArrayList<Diagnostic>> _function_2 = (ArrayList<Diagnostic> it_2) -> {
PublishDiagnosticsParams _publishDiagnosticsParams = new PublishDiagnosticsParams(); final Procedure1<PublishDiagnosticsParams> _function_1 = (PublishDiagnosticsParams it_1) -> { it_1.setUri("file:///tmp/foo"); ArrayList<Diagnostic> _arrayList = new ArrayList<Diagnostic>(); final Procedure1<ArrayList<Diagnostic>> _function_2 = (ArrayList<Diagnostic> it_2) -> {