public void handleClosed(DidCloseTextDocumentParams params) { String uri = params.getTextDocument().getUri(); ICompilationUnit unit = JDTUtils.resolveCompilationUnit(uri); if (unit == null) { return; } try { if (JDTUtils.isDefaultProject(unit) || !JDTUtils.isOnClassPath(unit)) { new DiagnosticsHandler(connection, unit).clearDiagnostics(); } sharedASTProvider.invalidate(unit); unit.discardWorkingCopy(); } catch (CoreException e) { JavaLanguageServerPlugin.logException("Error while handling document close", e); } }
private void didClose(DidCloseTextDocumentParams didCloseTextDocumentParams) { try { String uri = prefixURI(didCloseTextDocumentParams.getTextDocument().getUri()); didCloseTextDocumentParams.getTextDocument().setUri(uri); languageServerRegistry .getApplicableLanguageServers(uri) .stream() .flatMap(Collection::stream) .map(InitializedLanguageServer::getServer) .forEach( server -> { server.getTextDocumentService().didClose(didCloseTextDocumentParams); }); } catch (LanguageServerException e) { LOG.error("Error trying to process textDocument/didOpen", e); } }
public void didClose(DidCloseTextDocumentParams params) { try { ResourcesPlugin.getWorkspace().run(new IWorkspaceRunnable() { @Override public void run(IProgressMonitor monitor) throws CoreException { handleClosed(params); } }, new NullProgressMonitor()); } catch (CoreException e) { JavaLanguageServerPlugin.logException("Handle document close ", e); } }
private void closeDocument(ICompilationUnit cu) { DidCloseTextDocumentParams closeParms = new DidCloseTextDocumentParams(); TextDocumentIdentifier textDocument = new TextDocumentIdentifier(); textDocument.setUri(JDTUtils.toURI(cu)); closeParms.setTextDocument(textDocument); lifeCycleHandler.didClose(closeParms); }
protected void close(final String fileUri) { DidCloseTextDocumentParams _didCloseTextDocumentParams = new DidCloseTextDocumentParams(); final Procedure1<DidCloseTextDocumentParams> _function = (DidCloseTextDocumentParams it) -> { TextDocumentIdentifier _textDocumentIdentifier = new TextDocumentIdentifier(fileUri); it.setTextDocument(_textDocumentIdentifier); }; DidCloseTextDocumentParams _doubleArrow = ObjectExtensions.<DidCloseTextDocumentParams>operator_doubleArrow(_didCloseTextDocumentParams, _function); this.languageServer.didClose(_doubleArrow); }
@Override public void didClose(final DidCloseTextDocumentParams params) { final Function0<BuildManager.Buildable> _function = () -> { return this.workspaceManager.didClose(this._uriExtensions.toUri(params.getTextDocument().getUri())); }; final Function2<CancelIndicator, BuildManager.Buildable, List<IResourceDescription.Delta>> _function_1 = (CancelIndicator cancelIndicator, BuildManager.Buildable buildable) -> { return buildable.build(cancelIndicator); }; this.requestManager.<BuildManager.Buildable, List<IResourceDescription.Delta>>runWrite(_function, _function_1); }
private void onClose( TextDocumentIdentifier documentId, DtoFactory dtoFactory, TextDocumentServiceClient serviceClient) { DidCloseTextDocumentParams closeEvent = dtoFactory.createDto(DidCloseTextDocumentParams.class); closeEvent.setTextDocument(documentId); serviceClient.didClose(closeEvent); }
@Override public void didClose(DidCloseTextDocumentParams params) { LOGGER.info("didClose: " + params.getTextDocument()); openedDocuments.remove(params.getTextDocument().getUri()); }
@Override public void didClose(final DidCloseTextDocumentParams params) { // TODO Auto-generated method stub }
@Override public void didClose(DidCloseTextDocumentParams params) { logInfo(">> document/didClose"); documentLifeCycleHandler.didClose(params); }
@Override public void didClose(DidCloseTextDocumentParams params) { throw new UnsupportedOperationException(); }
@Override public void didClose(DidCloseTextDocumentParams params) {}
@PostConstruct public void configureMethods() { dtoToDtoList( "definition", TextDocumentPositionParams.class, LocationDto.class, this::definition); dtoToDtoList("codeAction", CodeActionParams.class, CommandDto.class, this::codeAction); dtoToDtoList( "documentSymbol", DocumentSymbolParams.class, SymbolInformationDto.class, this::documentSymbol); dtoToDtoList("formatting", DocumentFormattingParams.class, TextEditDto.class, this::formatting); dtoToDtoList( "rangeFormatting", DocumentRangeFormattingParams.class, TextEditDto.class, this::rangeFormatting); dtoToDtoList("references", ReferenceParams.class, LocationDto.class, this::references); dtoToDtoList( "onTypeFormatting", DocumentOnTypeFormattingParams.class, TextEditDto.class, this::onTypeFormatting); dtoToDto( "completionItem/resolve", ExtendedCompletionItem.class, ExtendedCompletionItemDto.class, this::completionItemResolve); dtoToDto( "documentHighlight", TextDocumentPositionParams.class, DocumentHighlight.class, this::documentHighlight); dtoToDto( "completion", TextDocumentPositionParams.class, ExtendedCompletionListDto.class, this::completion); dtoToDto("hover", TextDocumentPositionParams.class, HoverDto.class, this::hover); dtoToDto( "signatureHelp", TextDocumentPositionParams.class, SignatureHelpDto.class, this::signatureHelp); dtoToDto("rename", RenameParams.class, RenameResultDto.class, this::rename); dtoToNothing("didChange", DidChangeTextDocumentParams.class, this::didChange); dtoToNothing("didClose", DidCloseTextDocumentParams.class, this::didClose); dtoToNothing("didOpen", DidOpenTextDocumentParams.class, this::didOpen); dtoToNothing("didSave", DidSaveTextDocumentParams.class, this::didSave); }
/** * The document close notification is sent from the client to the server * when the document got closed in the client. The document's truth now * exists where the document's uri points to (e.g. if the document's uri is * a file uri the truth now exists on disk). * * Registration Options: TextDocumentRegistrationOptions */ @JsonNotification void didClose(DidCloseTextDocumentParams params);
/** * GWT client implementation of {@link TextDocumentService#didClose(DidCloseTextDocumentParams)} * * @param params * @return */ public void didClose(DidCloseTextDocumentParams params) { transmitDtoAndReceiveNothing(params, "textDocument/didClose"); }