microsoft / microsoft/language-server-protocol

Question regarding ordering for rename requests

Aperta
#1,663 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

clarification rename
Lingua principale
TypeScript
Stelle
13k
Fork
1k
Merge medio
6g 1h
PR unite (30g)
10

Descrizione

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.

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

Nell’issue non sono indicati file, test o punti di ingresso. Inizia esaminando le indicazioni del Language Server Protocol su request-cancellation e WorkspaceEdit, quindi chiarisci l’ordine previsto o il comportamento di annullamento per le richieste di Rename sovrapposte e se la stessa regola si applica anche alle altre richieste che producono WorkspaceEdit.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Ambito
api
Tipo di issue
Documentazione
Difficoltà
5/5
Tempo stimato
Più di una settimana
Stato di attività
Ferma
Chiarezza
Da chiarire
Idoneità per principianti
25/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.