c6af9e284a
CodeQL Advanced / Analyze (actions) (push) Waiting to run
CodeQL Advanced / Analyze (javascript-typescript) (push) Waiting to run
CodeQL Advanced / Analyze (python) (push) Waiting to run
Codespell / Check for spelling errors (push) Waiting to run
Build and Push Docker Images / build-and-push (push) Waiting to run
Docs Build / build (push) Waiting to run
Docs Build / deploy (push) Blocked by required conditions
Tests / catch-all (windows-latest) (push) Has been cancelled
Tests / jvm (macos-latest) (push) Has been cancelled
Tests / jvm (ubuntu-latest) (push) Has been cancelled
Tests / jvm (windows-latest) (push) Has been cancelled
Tests / native (macos-latest) (push) Has been cancelled
Tests / native (ubuntu-latest) (push) Has been cancelled
Tests / native (windows-latest) (push) Has been cancelled
Tests / niche (ubuntu-latest) (push) Has been cancelled
Tests / other-langs (macos-latest) (push) Has been cancelled
Tests / other-langs (ubuntu-latest) (push) Has been cancelled
Tests / other-langs (windows-latest) (push) Has been cancelled
Tests / catch-all (macos-latest) (push) Has been cancelled
Tests / catch-all (ubuntu-latest) (push) Has been cancelled
53 lines
1.9 KiB
Python
53 lines
1.9 KiB
Python
"""
|
|
This script demonstrates how to use Serena's tools locally, useful
|
|
for testing or development. Here the tools will be operation the serena repo itself.
|
|
"""
|
|
|
|
import json
|
|
from pathlib import Path
|
|
from pprint import pprint
|
|
|
|
from serena.agent import SerenaAgent
|
|
from serena.config.serena_config import LanguageBackend, SerenaConfig
|
|
from serena.constants import REPO_ROOT
|
|
from serena.tools import (
|
|
FindFileTool,
|
|
FindReferencingSymbolsTool,
|
|
GetDiagnosticsForFileTool,
|
|
JetBrainsFindSymbolTool,
|
|
JetBrainsGetSymbolsOverviewTool,
|
|
JetBrainsInlineSymbol,
|
|
JetBrainsRunInspectionsTool,
|
|
JetBrainsSafeDeleteTool,
|
|
SearchForPatternTool,
|
|
)
|
|
|
|
if __name__ == "__main__":
|
|
serena_config = SerenaConfig.from_config_file()
|
|
serena_config.web_dashboard = False
|
|
serena_config.language_backend = LanguageBackend.LSP
|
|
# project = Path(REPO_ROOT).parent / "serena-jetbrains-plugin-copy"
|
|
project = Path(REPO_ROOT)
|
|
agent = SerenaAgent(project=str(project), serena_config=serena_config)
|
|
|
|
# apply a tool
|
|
find_symbol_tool = agent.get_tool(JetBrainsFindSymbolTool)
|
|
find_refs_tool = agent.get_tool(FindReferencingSymbolsTool)
|
|
find_file_tool = agent.get_tool(FindFileTool)
|
|
search_pattern_tool = agent.get_tool(SearchForPatternTool)
|
|
overview_tool = agent.get_tool(JetBrainsGetSymbolsOverviewTool)
|
|
safe_delete_tool = agent.get_tool(JetBrainsSafeDeleteTool)
|
|
inline_symbol = agent.get_tool(JetBrainsInlineSymbol)
|
|
diagnostics_in_file_tool = agent.get_tool(GetDiagnosticsForFileTool)
|
|
jb_inspections_tool = agent.get_tool(JetBrainsRunInspectionsTool)
|
|
|
|
result = agent.execute_task(
|
|
lambda: diagnostics_in_file_tool.apply(
|
|
# name_path_pattern="SerenaAgent",
|
|
relative_path="test/resources/repos/clojure/test_repo/src/test_app/diagnostics_sample.clj",
|
|
# keep_definition=True,
|
|
)
|
|
)
|
|
pprint(json.loads(result))
|
|
# input("Press Enter to continue...")
|