Dominik Jain
fc7a0938e2
Merge remote-tracking branch 'origin/name-path-overloads' into name-path-description
...
Conflicts:
src/serena/tools/symbol_tools.py
2025-11-17 16:00:18 +01:00
Dominik Jain
261a157db8
Merge pull request #749 from oraios/two-tier-cache
...
Two-tier document symbol cache
2025-11-17 15:39:00 +01:00
Dominik Jain
058803a601
Remove obsolete parameter include_body
2025-11-13 13:25:52 +01:00
Dominik Jain
c6e43c3cf3
Improve docstring
2025-11-13 11:46:53 +01:00
Michael Panchenko
5c7ad8edf7
Minor [ci skip]
2025-11-13 11:04:05 +01:00
Dominik Jain
0699a87264
request_document_symbols: Avoid splitting document into lines more than once (optimisation)
2025-11-12 12:08:16 +01:00
Dominik Jain
44c1b69dde
Open every file exactly once during request_full_symbol_tree
2025-11-12 12:08:16 +01:00
Dominik Jain
faa0708595
Improve/optimise logging
2025-11-12 03:46:18 +01:00
Dominik Jain
cb26c8c169
Do not augment existing symbol dictionaries from the LS, instead create new ones
...
because the raw cache would otherwise store the exact same objects
2025-11-12 03:46:18 +01:00
Dominik Jain
10c9cc33f0
Remove obsolete list of all symbols
2025-11-12 03:46:18 +01:00
Dominik Jain
c6a5c1aa57
Reinstate access to cache location (used by cli)
2025-11-12 03:46:18 +01:00
Dominik Jain
44d1a404cd
Remove include_body from interface of SolidLS.request_document_symbols
...
(body is always in data structure, callers can decide whether to use it)
2025-11-12 03:46:18 +01:00
Dominik Jain
7450fd73f6
Fix performance issue: Retrieving symbols with include_body=True
...
would re-read the respective file for every single symbol
2025-11-12 03:46:18 +01:00
Dominik Jain
7af490d0a2
Reintroduce (high-level) document symbols cache, now storing instance of DocumentSymbols
2025-11-12 03:46:18 +01:00
Dominik Jain
d8cac3aedb
Introduce abstraction DocumentSymbols, which is now returned by request_document_symbols
2025-11-12 03:46:18 +01:00
Dominik Jain
24ea449abf
Introduce "raw" document symbol cache, removing the high-level cache for the time being
...
(i.e. cache the raw LS result)
Reuse the legacy cache v23-06-25 as the raw symbol cache (the stored root symbols are
just augmented versions of the originally returned LS response)
2025-11-12 03:46:18 +01:00
Dominik Jain
83f4da5ff0
Add profiling script, add pyinstrument to dev dependencies
2025-11-12 03:46:18 +01:00
Dominik Jain
375bc18e38
Simplify name path and name path matching pattern descriptions,
...
properly separating the two concepts
2025-11-10 21:17:17 +01:00
Dominik Jain
47cdb297ed
Improve symbolic tool class docstrings to make the symbolic backend clear
2025-11-10 17:01:33 +01:00
Dominik Jain
3eda628eb6
SolidLanguageServer.request_document_symbols: Ensure file is opened while issuing documentSymbols request
2025-11-10 00:05:18 +01:00
Dominik Jain
d31cfab25d
Add overload_idx to name path matching, reifying NamePathMatcher for efficency
...
Implements #515
2025-11-09 23:00:57 +01:00
Dominik Jain
55b4a665fd
UnifiedSymbolInformation: Set overload_idx only if there are overloads #515
2025-11-09 22:19:28 +01:00
Dominik Jain
81052f7e9f
EclipseJDTLS: Remove type information from names, e.g. converting 'myMethod(int) <T>' to just 'myMethod'
...
handling overloads via SolidLSP's newly introduced overload_idx instead
Fixes #578
2025-11-09 22:15:39 +01:00
Dominik Jain
6f68b4d32c
UnifiedSymbolInformation: Add overload_idx to support overloads #515
...
Adapt SolidLanguageServer.request_document_symbols to fill overload_idx
Introduce symbol cache versioning within the saved file, avoiding
storage of old cache files.
2025-11-09 22:13:24 +01:00
Dominik Jain
3d1521798c
Do not naively join arguments; use list instead (fully robust on Windows)
...
Quoting of arguments containing spaces is now handled centrally
Fixes #735
2025-11-09 20:32:41 +01:00
Dominik Jain
12290821a0
When creating LS launch command from a list, quote args containing spaces
2025-11-09 20:32:41 +01:00
Dominik Jain
369d41b7f2
Fix typo
2025-11-09 20:32:36 +01:00
Dominik Jain
4ac6d59e6c
Use redirect instead of copy for index file
2025-11-09 14:23:01 +01:00
Dominik Jain
90f50fe638
Automate copying of 01-about/000_intro.md to index.md, and ignore index.md
2025-11-09 14:02:02 +01:00
Dominik Jain
98072d171f
Add 'About Serena' contents to the intro page of the first section
2025-11-09 07:14:15 +01:00
Dominik Jain
91dcbfa1bc
Remove unnecessary copies of logo images
2025-11-09 07:13:34 +01:00
Dominik Jain
97fe7144d0
Remove references to sensAI, update .gitignore [skip ci]
2025-11-09 06:39:51 +01:00
youM
b371d5bcf8
Use selection range in scala ( #733 )
...
* enable serection range
* rm dupricate row
2025-11-09 06:37:40 +01:00
Dominik Jain
2bc9d1b4a5
Add video tags
2025-11-09 06:19:25 +01:00
Michael Panchenko
0ddeab82ab
Docs: support for dark mode logo
2025-11-09 11:40:51 +07:00
Michael Panchenko
420df9dd93
Updated doc build dependencies
2025-11-09 11:40:31 +07:00
Michael Panchenko
85ce624063
Docs config: removed references to tianshou
2025-11-09 11:14:40 +07:00
Michael Panchenko
9cd221755d
Docs config: removed copy-paste
2025-11-09 11:11:44 +07:00
Dominik Jain
0b999e7762
Update configuration guide URL
2025-11-09 02:07:55 +01:00
Dominik Jain
21c88fe8b0
Use dedicated heartbeat function to auto-close dashboard
...
Fixes #734
2025-11-09 02:07:25 +01:00
Dominik Jain
875eb72c51
Add 'Copy Dashboard URL' function to GUI window
2025-11-09 01:47:31 +01:00
Dominik Jain
08d9488540
Improve Quick Start
2025-11-08 17:11:16 +01:00
Dominik Jain
fc8503f77b
Merge pull request #729 from oraios/docs
...
New documentation structure (outside of README)
2025-11-08 16:30:17 +01:00
Dominik Jain
5dc5f5e5f0
Build docs for main branch
2025-11-08 15:05:02 +01:00
Dominik Jain
ff5ac556dc
Add CLI command examples
2025-11-08 14:14:20 +01:00
Dominik Jain
55a041dffc
Clean up docs task
2025-11-08 13:12:35 +01:00
Dominik Jain
db01516894
Improve callouts
2025-11-08 13:10:53 +01:00
Dominik Jain
2b9a450559
Disable continuation on error
2025-11-08 12:43:17 +01:00
Dominik Jain
90e123726c
Fix heading levels in docs
2025-11-08 12:43:17 +01:00
Dominik Jain
e436fb3f59
Fix links in docs
2025-11-08 12:43:17 +01:00
Dominik Jain