Dominik Jain
021a6b0831
JetBrainsSymbol: Use line/column as directly returned by client
2025-07-09 20:05:59 +02:00
Dominik Jain
3873ca3506
Add CodeEditor creation to Component/Tool (switching between JetBrains- and LS-based variants)
2025-07-09 20:05:59 +02:00
Dominik Jain
e989d1f87a
Implement JetBrainsCodeEditor
2025-07-09 20:05:59 +02:00
Dominik Jain
19b9bc4e3f
Introduce CodeEditor abstraction, removing all editing functions from SymbolManager
...
and adding LanguageServerCodeEditor as a specialization
2025-07-09 17:20:20 +02:00
Dominik Jain
7ffca9b3cb
Add "type: ignore" to untyped inner function
2025-07-09 12:59:16 +02:00
Dominik Jain
bd68883d27
Split history src/serena/symbol.py to src/serena/code_editor.py - restore name of source-file
2025-07-09 11:32:08 +02:00
Dominik Jain
f70f9ff202
Split history src/serena/symbol.py to src/serena/code_editor.py - resolve conflict and keep both files
2025-07-09 11:32:07 +02:00
Dominik Jain
40743d19ad
Split history src/serena/symbol.py to src/serena/code_editor.py - rename source-file to git-split-temp
2025-07-09 11:32:07 +02:00
Dominik Jain
4d7f97bb0c
Split history src/serena/symbol.py to src/serena/code_editor.py - rename file to target-name
2025-07-09 11:32:06 +02:00
Dominik Jain
955c717c3f
Add JetBrainsGetSymbolsOverviewTool
2025-07-09 11:14:43 +02:00
Dominik Jain
e306be796f
Pythonify responses from JetBrains plugin server (camelCase -> snake_case)
2025-07-06 20:15:53 +02:00
Dominik Jain
f49802a040
Allow to enable JetBrains tools via config entry 'jetbrains' which enables an internal SerenaAgentMode
...
* Added notion of internal SerenaAgentModes, which cannot be enabled dynamically
* Introduce 'jetbrains' SerenaAgentMode
* Add 'jetbrains' option to SerenaConfig, which enables the respective mode at
startup, appropriately configuring the set of exposed tools
* Refactoring: Made ToolSet immutable; methods return new instances
2025-07-06 11:22:34 +02:00
Dominik Jain
58bf161fd2
More flexible handling of enabled tools:
...
* In addition to exclusion, support notion of "optional tools" that
are disabled by default and enabled only upon request
* Unify the handling of inclusions/exclusions across
- SerenaConfig
- ProjectConfig
- SerenaAgentContext
- SerenaAgentMode
* Make ToolRegistry a singleton and simplify all related operations
2025-07-06 00:39:36 +02:00
Dominik Jain
044e979bf8
Add JetBrainsFindSymbolReferencesTool
2025-07-05 23:45:52 +02:00
Dominik Jain
8ea2f866ce
Add JetBrainsFindSymbolTool
2025-07-05 23:45:52 +02:00
Dominik Jain
40209b65d3
Add jetbrains_plugin_client
2025-07-05 23:45:52 +02:00
Dominik Jain
5d7c7a3a75
Merge pull request #282 from oraios/refactoring/tools
...
Refactor tools.py into a package with several modules
2025-07-05 19:51:40 +02:00
Dominik Jain
ff57a5b267
Limit tool registry to serena.tools
2025-07-05 19:06:29 +02:00
Dominik Jain
f071edd4ac
Extract module workflow_tools
2025-07-05 18:54:36 +02:00
Dominik Jain
6ba755b43f
Split history tools_base.py to workflow_tools.py - restore name of source-file
2025-07-05 18:50:06 +02:00
Dominik Jain
276078804f
Split history tools_base.py to workflow_tools.py - resolve conflict and keep both files
2025-07-05 18:50:05 +02:00
Dominik Jain
445916b4ff
Split history tools_base.py to workflow_tools.py - rename source-file to git-split-temp
2025-07-05 18:50:05 +02:00
Dominik Jain
40c6436221
Split history tools_base.py to workflow_tools.py - rename file to target-name
2025-07-05 18:50:05 +02:00
Dominik Jain
e8615dd73a
Extract module config_tools
2025-07-05 18:49:13 +02:00
Dominik Jain
b6a3cdcc12
Split history tools_base.py to config_tools.py - restore name of source-file
2025-07-05 18:46:47 +02:00
Dominik Jain
297df1cf09
Split history tools_base.py to config_tools.py - resolve conflict and keep both files
2025-07-05 18:46:46 +02:00
Dominik Jain
b55bfae7b8
Split history tools_base.py to config_tools.py - rename source-file to git-split-temp
2025-07-05 18:46:46 +02:00
Dominik Jain
0e89eb10a6
Split history tools_base.py to config_tools.py - rename file to target-name
2025-07-05 18:46:46 +02:00
Dominik Jain
5a35c45beb
Extract module cmd_tools
2025-07-05 18:45:19 +02:00
Dominik Jain
561b04e464
Split history tools_base.py to cmd_tools.py - restore name of source-file
2025-07-05 18:38:19 +02:00
Dominik Jain
3077c981ed
Split history tools_base.py to cmd_tools.py - resolve conflict and keep both files
2025-07-05 18:38:19 +02:00
Dominik Jain
6d4f701532
Split history tools_base.py to cmd_tools.py - rename source-file to git-split-temp
2025-07-05 18:38:18 +02:00
Dominik Jain
70273dabdf
Split history tools_base.py to cmd_tools.py - rename file to target-name
2025-07-05 18:38:18 +02:00
Dominik Jain
1a6245afa2
Extract module memory_tools
2025-07-05 18:31:45 +02:00
Dominik Jain
87255ff5b7
Split history tools_base.py to memory_tools.py - restore name of source-file
2025-07-05 18:26:13 +02:00
Dominik Jain
9e362be631
Split history tools_base.py to memory_tools.py - resolve conflict and keep both files
2025-07-05 18:26:13 +02:00
Dominik Jain
90c1436b01
Split history tools_base.py to memory_tools.py - rename source-file to git-split-temp
2025-07-05 18:26:12 +02:00
Dominik Jain
3cee60c449
Split history tools_base.py to memory_tools.py - rename file to target-name
2025-07-05 18:26:12 +02:00
Dominik Jain
ee0f31ab5c
Add proper module docstring
2025-07-05 18:24:57 +02:00
Dominik Jain
ad220f839a
Extract module ls_tools for language server-related tools
2025-07-05 18:23:04 +02:00
Dominik Jain
9393da9f67
Split history tools_base.py to ls_tools.py - restore name of source-file
2025-07-05 18:16:19 +02:00
Dominik Jain
1451cbc2f6
Split history tools_base.py to ls_tools.py - resolve conflict and keep both files
2025-07-05 18:16:19 +02:00
Dominik Jain
9fc87c68e5
Split history tools_base.py to ls_tools.py - rename source-file to git-split-temp
2025-07-05 18:16:18 +02:00
Dominik Jain
8962368b12
Split history tools_base.py to ls_tools.py - rename file to target-name
2025-07-05 18:16:18 +02:00
Dominik Jain
ac6bf40310
Extract file_tools module
2025-07-05 18:14:02 +02:00
Dominik Jain
f8232610cb
Update relative import
2025-07-05 18:14:02 +02:00
Dominik Jain
99807802f9
Split history tools_base.py to file_tools.py - restore name of source-file
2025-07-05 17:47:09 +02:00
Dominik Jain
2e18c39d7f
Split history tools_base.py to file_tools.py - resolve conflict and keep both files
2025-07-05 17:47:09 +02:00
Dominik Jain
a0b2121550
Split history tools_base.py to file_tools.py - rename source-file to git-split-temp
2025-07-05 17:47:09 +02:00
Dominik Jain
bccdca332c
Split history tools_base.py to file_tools.py - rename file to target-name
2025-07-05 17:47:08 +02:00