Add "go to type definition" action
This commit is contained in:
ForLoveOfCats
parent
a842016380
commit
5149c15329
10 changed files with 377 additions and 75 deletions
|
|
@ -26,85 +26,87 @@ message Envelope {
|
|||
|
||||
GetDefinition get_definition = 20;
|
||||
GetDefinitionResponse get_definition_response = 21;
|
||||
GetReferences get_references = 22;
|
||||
GetReferencesResponse get_references_response = 23;
|
||||
GetDocumentHighlights get_document_highlights = 24;
|
||||
GetDocumentHighlightsResponse get_document_highlights_response = 25;
|
||||
GetProjectSymbols get_project_symbols = 26;
|
||||
GetProjectSymbolsResponse get_project_symbols_response = 27;
|
||||
OpenBufferForSymbol open_buffer_for_symbol = 28;
|
||||
OpenBufferForSymbolResponse open_buffer_for_symbol_response = 29;
|
||||
GetTypeDefinition get_type_definition = 22;
|
||||
GetTypeDefinitionResponse get_type_definition_response = 23;
|
||||
GetReferences get_references = 24;
|
||||
GetReferencesResponse get_references_response = 25;
|
||||
GetDocumentHighlights get_document_highlights = 26;
|
||||
GetDocumentHighlightsResponse get_document_highlights_response = 27;
|
||||
GetProjectSymbols get_project_symbols = 28;
|
||||
GetProjectSymbolsResponse get_project_symbols_response = 29;
|
||||
OpenBufferForSymbol open_buffer_for_symbol = 30;
|
||||
OpenBufferForSymbolResponse open_buffer_for_symbol_response = 31;
|
||||
|
||||
UpdateProject update_project = 30;
|
||||
RegisterProjectActivity register_project_activity = 31;
|
||||
UpdateWorktree update_worktree = 32;
|
||||
UpdateWorktreeExtensions update_worktree_extensions = 33;
|
||||
UpdateProject update_project = 32;
|
||||
RegisterProjectActivity register_project_activity = 33;
|
||||
UpdateWorktree update_worktree = 34;
|
||||
UpdateWorktreeExtensions update_worktree_extensions = 35;
|
||||
|
||||
CreateProjectEntry create_project_entry = 34;
|
||||
RenameProjectEntry rename_project_entry = 35;
|
||||
CopyProjectEntry copy_project_entry = 36;
|
||||
DeleteProjectEntry delete_project_entry = 37;
|
||||
ProjectEntryResponse project_entry_response = 38;
|
||||
CreateProjectEntry create_project_entry = 36;
|
||||
RenameProjectEntry rename_project_entry = 37;
|
||||
CopyProjectEntry copy_project_entry = 38;
|
||||
DeleteProjectEntry delete_project_entry = 39;
|
||||
ProjectEntryResponse project_entry_response = 40;
|
||||
|
||||
UpdateDiagnosticSummary update_diagnostic_summary = 39;
|
||||
StartLanguageServer start_language_server = 40;
|
||||
UpdateLanguageServer update_language_server = 41;
|
||||
UpdateDiagnosticSummary update_diagnostic_summary = 41;
|
||||
StartLanguageServer start_language_server = 42;
|
||||
UpdateLanguageServer update_language_server = 43;
|
||||
|
||||
OpenBufferById open_buffer_by_id = 42;
|
||||
OpenBufferByPath open_buffer_by_path = 43;
|
||||
OpenBufferResponse open_buffer_response = 44;
|
||||
UpdateBuffer update_buffer = 45;
|
||||
UpdateBufferFile update_buffer_file = 46;
|
||||
SaveBuffer save_buffer = 47;
|
||||
BufferSaved buffer_saved = 48;
|
||||
BufferReloaded buffer_reloaded = 49;
|
||||
ReloadBuffers reload_buffers = 50;
|
||||
ReloadBuffersResponse reload_buffers_response = 51;
|
||||
FormatBuffers format_buffers = 52;
|
||||
FormatBuffersResponse format_buffers_response = 53;
|
||||
GetCompletions get_completions = 54;
|
||||
GetCompletionsResponse get_completions_response = 55;
|
||||
ApplyCompletionAdditionalEdits apply_completion_additional_edits = 56;
|
||||
ApplyCompletionAdditionalEditsResponse apply_completion_additional_edits_response = 57;
|
||||
GetCodeActions get_code_actions = 58;
|
||||
GetCodeActionsResponse get_code_actions_response = 59;
|
||||
GetHover get_hover = 60;
|
||||
GetHoverResponse get_hover_response = 61;
|
||||
ApplyCodeAction apply_code_action = 62;
|
||||
ApplyCodeActionResponse apply_code_action_response = 63;
|
||||
PrepareRename prepare_rename = 64;
|
||||
PrepareRenameResponse prepare_rename_response = 65;
|
||||
PerformRename perform_rename = 66;
|
||||
PerformRenameResponse perform_rename_response = 67;
|
||||
SearchProject search_project = 68;
|
||||
SearchProjectResponse search_project_response = 69;
|
||||
OpenBufferById open_buffer_by_id = 44;
|
||||
OpenBufferByPath open_buffer_by_path = 45;
|
||||
OpenBufferResponse open_buffer_response = 46;
|
||||
UpdateBuffer update_buffer = 47;
|
||||
UpdateBufferFile update_buffer_file = 48;
|
||||
SaveBuffer save_buffer = 49;
|
||||
BufferSaved buffer_saved = 50;
|
||||
BufferReloaded buffer_reloaded = 51;
|
||||
ReloadBuffers reload_buffers = 52;
|
||||
ReloadBuffersResponse reload_buffers_response = 53;
|
||||
FormatBuffers format_buffers = 54;
|
||||
FormatBuffersResponse format_buffers_response = 55;
|
||||
GetCompletions get_completions = 56;
|
||||
GetCompletionsResponse get_completions_response = 57;
|
||||
ApplyCompletionAdditionalEdits apply_completion_additional_edits = 58;
|
||||
ApplyCompletionAdditionalEditsResponse apply_completion_additional_edits_response = 59;
|
||||
GetCodeActions get_code_actions = 60;
|
||||
GetCodeActionsResponse get_code_actions_response = 61;
|
||||
GetHover get_hover = 62;
|
||||
GetHoverResponse get_hover_response = 63;
|
||||
ApplyCodeAction apply_code_action = 64;
|
||||
ApplyCodeActionResponse apply_code_action_response = 65;
|
||||
PrepareRename prepare_rename = 66;
|
||||
PrepareRenameResponse prepare_rename_response = 67;
|
||||
PerformRename perform_rename = 68;
|
||||
PerformRenameResponse perform_rename_response = 69;
|
||||
SearchProject search_project = 70;
|
||||
SearchProjectResponse search_project_response = 71;
|
||||
|
||||
GetChannels get_channels = 70;
|
||||
GetChannelsResponse get_channels_response = 71;
|
||||
JoinChannel join_channel = 72;
|
||||
JoinChannelResponse join_channel_response = 73;
|
||||
LeaveChannel leave_channel = 74;
|
||||
SendChannelMessage send_channel_message = 75;
|
||||
SendChannelMessageResponse send_channel_message_response = 76;
|
||||
ChannelMessageSent channel_message_sent = 77;
|
||||
GetChannelMessages get_channel_messages = 78;
|
||||
GetChannelMessagesResponse get_channel_messages_response = 79;
|
||||
GetChannels get_channels = 72;
|
||||
GetChannelsResponse get_channels_response = 73;
|
||||
JoinChannel join_channel = 74;
|
||||
JoinChannelResponse join_channel_response = 75;
|
||||
LeaveChannel leave_channel = 76;
|
||||
SendChannelMessage send_channel_message = 77;
|
||||
SendChannelMessageResponse send_channel_message_response = 78;
|
||||
ChannelMessageSent channel_message_sent = 79;
|
||||
GetChannelMessages get_channel_messages = 80;
|
||||
GetChannelMessagesResponse get_channel_messages_response = 81;
|
||||
|
||||
UpdateContacts update_contacts = 80;
|
||||
UpdateInviteInfo update_invite_info = 81;
|
||||
ShowContacts show_contacts = 82;
|
||||
UpdateContacts update_contacts = 82;
|
||||
UpdateInviteInfo update_invite_info = 83;
|
||||
ShowContacts show_contacts = 84;
|
||||
|
||||
GetUsers get_users = 83;
|
||||
FuzzySearchUsers fuzzy_search_users = 84;
|
||||
UsersResponse users_response = 85;
|
||||
RequestContact request_contact = 86;
|
||||
RespondToContactRequest respond_to_contact_request = 87;
|
||||
RemoveContact remove_contact = 88;
|
||||
GetUsers get_users = 85;
|
||||
FuzzySearchUsers fuzzy_search_users = 86;
|
||||
UsersResponse users_response = 87;
|
||||
RequestContact request_contact = 88;
|
||||
RespondToContactRequest respond_to_contact_request = 89;
|
||||
RemoveContact remove_contact = 90;
|
||||
|
||||
Follow follow = 89;
|
||||
FollowResponse follow_response = 90;
|
||||
UpdateFollowers update_followers = 91;
|
||||
Unfollow unfollow = 92;
|
||||
Follow follow = 91;
|
||||
FollowResponse follow_response = 92;
|
||||
UpdateFollowers update_followers = 93;
|
||||
Unfollow unfollow = 94;
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -263,6 +265,17 @@ message GetDefinitionResponse {
|
|||
repeated LocationLink links = 1;
|
||||
}
|
||||
|
||||
message GetTypeDefinition {
|
||||
uint64 project_id = 1;
|
||||
uint64 buffer_id = 2;
|
||||
Anchor position = 3;
|
||||
repeated VectorClockEntry version = 4;
|
||||
}
|
||||
|
||||
message GetTypeDefinitionResponse {
|
||||
repeated LocationLink links = 1;
|
||||
}
|
||||
|
||||
message GetReferences {
|
||||
uint64 project_id = 1;
|
||||
uint64 buffer_id = 2;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue