Java 类org.eclipse.lsp4j.DidCloseTextDocumentParams 实例源码

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);

/**
 * 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");
}