microsoft / microsoft/language-server-protocol

Question regarding ordering for rename requests

Đang mở
#1,663 1 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

clarification rename
Ngôn ngữ chính
TypeScript
Star
13k
Fork
1k
Merge trung bình
6 ngày 1 giờ
Pull request đã merge (30 ngày)
10

Mô tả

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.

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Hướng nghiên cứu

Issue không nêu tên tệp, bài kiểm thử hay điểm vào nào. Trước tiên, hãy xem lại hướng dẫn của Language Server Protocol về request-cancellation và WorkspaceEdit, sau đó làm rõ thứ tự được kỳ vọng hoặc hành vi hủy đối với các yêu cầu Rename chồng lấn, cũng như liệu quy tắc tương tự có áp dụng cho các yêu cầu khác tạo ra WorkspaceEdit hay không.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Đánh giá

Lĩnh vực
api
Loại issue
Tài liệu
Độ khó
5/5
Thời gian dự kiến
Hơn một tuần
Mức độ hoạt động
Đình trệ
Độ rõ ràng
Cần làm rõ
Mức phù hợp với người mới
25/100

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.