Add replaceable symbols string when none found

Author: nicovank

src/cwhy/clangd_lsp_integration.py

@@ -294,4 +294,4 @@ def source_for_symbol(filename: str, symbol: str) -> str:
             content = llm_utils.number_group_of_lines(lines, first)
             return f"""File '{path}':\n```\n{content}\n```"""
 
-    return f"Symbol '{symbol}' not found."
+    return f"Symbol '{symbol}' is not replaceable.\n" + document_symbols(filename)

test/test_cland_integration.py

@@ -15,7 +15,13 @@ def test_no_symbol_found(self):
         result = clangd_lsp_integration.source_for_symbol(
             os.path.join(CPP_TEST_ROOT, "missing-hash.cpp"), "random_symbol_name"
         )
-        self.assertEqual(result, "Symbol 'random_symbol_name' not found.")
+        self.assertEqual(
+            result,
+            "Symbol 'random_symbol_name' is not replaceable.\n"
+            "Replaceable symbols for 'tests/c++/missing-hash.cpp':\n"
+            " -  Node (Class)\n"
+            " -  bfs (Function)",
+        )
 
     def test_list_symbols(self):
         self.assertTrue(clangd_lsp_integration.is_available())