mirror of
https://github.com/open-goal/jak-project.git
synced 2024-10-20 11:26:18 -04:00
53277a65ad
- Integrate the AST into the LSP, this makes parsing and tokenizing the files much easier - Consolidate most of the symbol info tracking in `goalc` to a single map. Fixed some issues where the old map would never evict symbols when re-compiling files. There is still some more to cleanup, but this now can be used as an incrementally updated source-of-truth for the LSP - re-compile files when they are saved. Ideally this would be done everytime they are changed but that: - may be too aggressive - goalc doesn't compile incrementally yet so it likely would be a worse UX Features added, see https://github.com/open-goal/opengoal-vscode/issues/256 - Hover ![image](https://github.com/open-goal/jak-project/assets/13153231/58dadb5d-582c-4c1f-9ffe-eaa4c85a0255) ![image](https://github.com/open-goal/jak-project/assets/13153231/b383adde-57fc-462c-a256-b2de5c30ca9a) - LSP Status fixed - Type Hierarchy ![image](https://github.com/open-goal/jak-project/assets/13153231/8e681377-1d4e-4336-ad70-1695a4607340) - Document Color ![image](https://github.com/open-goal/jak-project/assets/13153231/4e48ccd8-0ed1-4459-a133-5277561e4201) - Document Symbols ![Screenshot 2024-03-27 004105](https://github.com/open-goal/jak-project/assets/13153231/8e655034-43c4-4261-b6e0-85de00cbfc7f) - Completions ![Screenshot 2024-03-30 004504](https://github.com/open-goal/jak-project/assets/13153231/d123a187-af90-466b-9eb7-561b2ee97cd1) --------- Co-authored-by: Hat Kid <6624576+Hat-Kid@users.noreply.github.com>
62 lines
2.4 KiB
C++
62 lines
2.4 KiB
C++
#include "go_to.h"
|
|
|
|
namespace lsp_handlers {
|
|
std::optional<json> go_to_definition(Workspace& workspace, int /*id*/, json raw_params) {
|
|
auto params = raw_params.get<LSPSpec::TextDocumentPositionParams>();
|
|
const auto file_type = workspace.determine_filetype_from_uri(params.m_textDocument.m_uri);
|
|
|
|
json locations = json::array();
|
|
|
|
if (file_type == Workspace::FileType::OpenGOALIR) {
|
|
auto maybe_tracked_file = workspace.get_tracked_ir_file(params.m_textDocument.m_uri);
|
|
if (!maybe_tracked_file) {
|
|
return {};
|
|
}
|
|
const auto& tracked_file = maybe_tracked_file.value().get();
|
|
auto symbol_name = tracked_file.get_symbol_at_position(params.m_position);
|
|
if (!symbol_name) {
|
|
return {};
|
|
}
|
|
auto symbol_info = workspace.get_definition_info_from_all_types(symbol_name.value(),
|
|
tracked_file.m_all_types_uri);
|
|
if (!symbol_info) {
|
|
return {};
|
|
}
|
|
LSPSpec::Location location;
|
|
location.m_uri = tracked_file.m_all_types_uri;
|
|
location.m_range.m_start = {(uint32_t)symbol_info.value().definition_info->line_idx_to_display,
|
|
(uint32_t)symbol_info.value().definition_info->pos_in_line};
|
|
location.m_range.m_end = {(uint32_t)symbol_info.value().definition_info->line_idx_to_display,
|
|
(uint32_t)symbol_info.value().definition_info->pos_in_line};
|
|
locations.push_back(location);
|
|
} else if (file_type == Workspace::FileType::OpenGOAL) {
|
|
auto maybe_tracked_file = workspace.get_tracked_og_file(params.m_textDocument.m_uri);
|
|
if (!maybe_tracked_file) {
|
|
return {};
|
|
}
|
|
const auto& tracked_file = maybe_tracked_file.value().get();
|
|
const auto symbol = tracked_file.get_symbol_at_position(params.m_position);
|
|
if (!symbol) {
|
|
return {};
|
|
}
|
|
const auto& symbol_info = workspace.get_global_symbol_info(tracked_file, symbol.value());
|
|
if (!symbol_info) {
|
|
return {};
|
|
}
|
|
|
|
const auto& def_loc = workspace.get_symbol_def_location(tracked_file, symbol_info.value());
|
|
if (!def_loc) {
|
|
return {};
|
|
}
|
|
|
|
LSPSpec::Location location;
|
|
location.m_uri = def_loc->file_path;
|
|
location.m_range.m_start = {(uint32_t)def_loc->line_idx, (uint32_t)def_loc->char_idx};
|
|
location.m_range.m_end = {(uint32_t)def_loc->line_idx, (uint32_t)def_loc->char_idx};
|
|
locations.push_back(location);
|
|
}
|
|
|
|
return locations;
|
|
}
|
|
} // namespace lsp_handlers
|