From f1486f7d60982b9b4e77d376f35ca60394262f1d Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Thu, 16 Jul 2026 15:04:48 +0200 Subject: [PATCH] Add JetBrainsPluginClient.read_file --- src/serena/jetbrains/jetbrains_plugin_client.py | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/serena/jetbrains/jetbrains_plugin_client.py b/src/serena/jetbrains/jetbrains_plugin_client.py index d72ca234..db69de9b 100644 --- a/src/serena/jetbrains/jetbrains_plugin_client.py +++ b/src/serena/jetbrains/jetbrains_plugin_client.py @@ -734,6 +734,16 @@ class JetBrainsPluginClient(ToStringMixin): request_data["groupPathContains"] = group_path_contains return cast(jb.ListInspectionsResponse, self._make_request("POST", "/listInspections", request_data)) + def read_file(self, relative_path: str) -> str: + self._require_version_at_least(2023, 3, 3) + request_data = { + "relativePath": relative_path, + } + response = self._make_request("POST", "/readFile", request_data) + if "content" not in response: + raise PluginServerError(f"Unexpected response from readFile: {response}") + return response["content"] + def close(self) -> None: self._session.close()