2023-05-21 17:24:23 -04:00
|
|
|
#pragma once
|
|
|
|
|
2022-07-18 18:26:57 -04:00
|
|
|
#include <optional>
|
|
|
|
|
2024-03-30 19:49:07 -04:00
|
|
|
#include "common/util/json_util.h"
|
|
|
|
|
2022-07-18 18:26:57 -04:00
|
|
|
#include "lsp/protocol/document_diagnostics.h"
|
|
|
|
#include "lsp/protocol/document_synchronization.h"
|
|
|
|
#include "lsp/state/workspace.h"
|
|
|
|
|
2024-03-30 19:49:07 -04:00
|
|
|
namespace lsp_handlers {
|
2023-05-21 17:24:23 -04:00
|
|
|
|
2024-03-30 19:49:07 -04:00
|
|
|
void did_open(Workspace& workspace, json raw_params);
|
|
|
|
void did_change(Workspace& workspace, json raw_params);
|
|
|
|
void did_close(Workspace& workspace, json raw_params);
|
|
|
|
void will_save(Workspace& workspace, json raw_params);
|
2023-05-21 17:24:23 -04:00
|
|
|
|
2024-03-30 19:49:07 -04:00
|
|
|
std::optional<json> did_open_push_diagnostics(Workspace& workspace, json raw_params);
|
|
|
|
std::optional<json> did_change_push_diagnostics(Workspace& workspace, json raw_params);
|
2022-07-18 18:26:57 -04:00
|
|
|
|
2024-03-30 19:49:07 -04:00
|
|
|
} // namespace lsp_handlers
|