microsoft / microsoft/language-server-protocol

Question regarding ordering for rename requests

Abierto
#1,663 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

clarification rename
Lenguaje dominante
TypeScript
Estrellas
13k
Forks
1k
Merge medio
6 d 1 h
PR fusionados (30 d)
10

Descripción

I am developing a new language server and I'm having issues understanding how multiple rename requests should be handled and in which order.

Suppose the client sends a rename request and the server starts computing the results, while it's computing, the client sends another rename request, in this case, what should do the server do?

  • Should it try to fullfill the first rename request and then process the second request such that the requests are queued at the server?
  • Should the request be cancelled? In tha case: Who should cancel the request? and which of the two request should be cancelled?

Note that the same questions can be asked about all requests that send a WorkspaceEdit as a result.

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

En la issue no se menciona ningún archivo, prueba ni punto de entrada. Empieza revisando las directrices de Language Server Protocol sobre request-cancellation y WorkspaceEdit; después, aclara el orden esperado o el comportamiento de cancelación para solicitudes de Rename superpuestas y si la misma regla se aplica a otras solicitudes que producen WorkspaceEdit.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Área
api
Tipo de issue
Documentación
Dificultad
5/5
Tiempo estimado
Más de una semana
Estado de actividad
Estancado
Claridad
Necesita aclaración
Aptitud para principiantes
25/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.