Rename variables: symbol_manager -> symbol_retriever

This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2025-07-10 23:16:37 +02:00
1 parent 687d6c1636
commit 6a8a1810ed
2 files changed
+7 -7

No files matched your search

+5 -5
View File
@@ -212,13 +212,13 @@ class CodeEditor(Generic[TSymbol], ABC):
class LanguageServerCodeEditor(CodeEditor[LanguageServerSymbol]):
def __init__(self, symbol_manager: LanguageServerSymbolRetriever, agent: Optional["SerenaAgent"] = None):
super().__init__(project_root=symbol_manager.get_language_server().repository_root_path, agent=agent)
self._symbol_manager = symbol_manager
def __init__(self, symbol_retriever: LanguageServerSymbolRetriever, agent: Optional["SerenaAgent"] = None):
super().__init__(project_root=symbol_retriever.get_language_server().repository_root_path, agent=agent)
self._symbol_retriever = symbol_retriever
@property
def _lang_server(self) -> SolidLanguageServer:
return self._symbol_manager.get_language_server()
return self._symbol_retriever.get_language_server()
class EditedFile(CodeEditor.EditedFile):
def __init__(self, lang_server: SolidLanguageServer, relative_path: str, file_buffer: LSPFileBuffer):
@@ -245,7 +245,7 @@ class LanguageServerCodeEditor(CodeEditor[LanguageServerSymbol]):
return self._lang_server.language_server.retrieve_full_file_content(relative_path)
def _find_unique_symbol(self, name_path: str, relative_file_path: str) -> LanguageServerSymbol:
symbol_candidates = self._symbol_manager.find_by_name(name_path, within_relative_path=relative_file_path)
symbol_candidates = self._symbol_retriever.find_by_name(name_path, within_relative_path=relative_file_path)
if len(symbol_candidates) == 0:
raise ValueError(f"No symbol with name {name_path} found in file {relative_file_path}")
if len(symbol_candidates) > 1:
+2 -2
View File
@@ -221,9 +221,9 @@ class EditingTest:
return f.read()
def run_test(self, content_after_ground_truth: str) -> None:
with self._setup() as symbol_manager:
with self._setup() as symbol_retriever:
content_before = self._read_file(self.rel_path)
code_editor = LanguageServerCodeEditor(symbol_manager)
code_editor = LanguageServerCodeEditor(symbol_retriever)
self._apply_edit(code_editor)
content_after = self._read_file(self.rel_path)
code_diff = CodeDiff(self.rel_path, original_content=content_before, modified_content=content_after)