fix(types): объявленные типы пересобираются после наполнения области

[nixel2007]

Проблема

Имя типа в описании метода (// Возвращаемое значение: см. Модуль.Метод, имя типа конфигурации) разрешается в момент разбора его документа. Пока рабочая область наполняется, до части модулей очередь ещё не дошла — такое имя никуда не ведёт, и объявленный тип выходит беднее написанного.

Кому не повезло, решает порядок обхода файлов. То есть это прямая причина того, что результат анализа зависит от порядка: один и тот же код при повторном запуске даёт другой набор замечаний.

Что сделано

По событию наполнения рабочей области объявленные типы пересобираются целиком — теперь все имена разрешаются при одинаковом состоянии реестра.

Разбор документов для этого не нужен: объявленные типы читаются по дереву символов, которое переживает освобождение вторичных данных. Слушатель идёт раньше MethodReturnTypeIndexer (@Order(100)): расчёт типов по телу читает объявленные типы вызванных методов, поэтому пересобрать их надо до него.

Замеры на ssl_3_1

Пакетный анализ, репортер SARIF, mode: only с UnknownMember + EventHandlerInvalidSignature. Метрика — расхождение отсортированной подписи замечаний между прогонами одной и той же сборки на одной и той же кодовой базе; в идеале ноль.

Прогоны вперемежку, по три на сборку:

	расхождения между прогонами
develop	590 / 408 / 450
ветка	50 / 247 / 217

Отдельная серия по четыре прогона на сборку, там же считалось устойчивое ядро (замечания, встретившиеся во всех четырёх):

	ядро	мерцающих	расхождения
develop	29841	1101	757 / 544 / 292 / 903
ветка	30511	295	232 / 227 / 44 / 113

Мерцание втрое меньше, расхождения — вчетверо. Направление воспроизвелось в обеих сериях.

Замечаний становится больше (30200 → 30600): объявленные типы теперь разрешаются полнее, и диагностика судит там, где раньше молчала из-за невыведенного типа. Полнота выводимых наборов полей — отдельная задача, здесь она не решается.

По времени вывода нет: на моей машине результаты противоречивы (в одной серии разницы нет, в другой ветка на 9–23 секунды медленнее из ~75), а машина шумит — прогоны одной сборки давали от 35 до 98 секунд. Ориентируюсь на бенчмарк CI.

Тесты

SymbolTypeIndexDeclaredTypesTest: документ разобран, когда имя типа реестру ещё неизвестно; после наполнения области объявленный тип пересобран по нынешнему состоянию реестра. Отдельно закреплено, что перечитывание того же текста объявленные типы не роняет.

Связанные задачи

Часть работы по #4429.

Summary by CodeRabbit

• Bug Fixes
  • Improved return-type resolution after workspace initialization.
  • Previously unresolved return types are now correctly recognized when platform types become available.
  • Existing resolved return types remain stable when documents are reread.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro Plus

Run ID: 313ad3f8-c06f-4204-8b9e-ed87cb000b1a

📥 Commits

Reviewing files that changed from the base of the PR and between 35998ac and 11b2067.

📒 Files selected for processing (2)

• src/main/java/com/github/_1c_syntax/bsl/languageserver/types/index/SymbolTypeIndex.java
• src/test/java/com/github/_1c_syntax/bsl/languageserver/types/index/SymbolTypeIndexDeclaredTypesTest.java

---

📝 Walkthrough

Walkthrough

SymbolTypeIndex now reindexes declared method return types after ServerContextPopulatedEvent. Tests cover platform-type resolution after workspace population and preservation of resolved types during document rereads.

Changes

Declared return-type indexing

Layer / File(s)	Summary
Context population reindexing src/main/java/com/github/_1c_syntax/bsl/languageserver/types/index/SymbolTypeIndex.java	SymbolTypeIndex handles ServerContextPopulatedEvent and reindexes declared return types for all documents with listener order 100.
Declared type resolution tests src/test/java/com/github/_1c_syntax/bsl/languageserver/types/index/SymbolTypeIndexDeclaredTypesTest.java	Tests verify rebuilding unresolved user types as platform types and preserving resolved declared types during document rereads.

Estimated code review effort: 2 (Simple) | ~10 minutes

Possibly related PRs

• 1c-syntax/bsl-language-server#4441: Extends related SymbolTypeIndex handling for document changes and declared type preservation.

Suggested reviewers: claude

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title clearly describes the main change: rebuilding declared types after workspace context population.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

✨ Finishing Touches

📝 Generate docstrings

• Create stacked PR
• Commit on current branch

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch fix/declared-types-after-populate

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
100.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[github-actions]

Test Results

 4 074 files  + 6   4 074 suites  +6   53m 51s ⏱️ - 5m 35s
 4 230 tests + 2   4 159 ✅ + 2   71 💤 ±0  0 ❌ ±0 
25 380 runs  +12  24 950 ✅ +12  430 💤 ±0  0 ❌ ±0 

Results for commit 11b2067. ± Comparison against base commit 35998ac.

♻️ This comment has been updated with latest results.