fix(definition): переход к определению члена через source-defined символ дескриптора

[nixel2007]

Проблема

F12 (go-to-definition) на члене платформенного/конфигурационного типа, разрешённом через TypeService.memberAt в синтетический PlatformMemberSymbol, не срабатывал — хотя hover на нём работает.

Пример (библиотека asserts, fluent-цепочка):

Ожидаем.Что(Переменная).ИмеетТип("ДанныеСоставнойФормы");

Клик F12 на ИмеетТип молча ничего не делал.

Причина

Ссылку отдаёт PlatformMemberReferenceFinder (@order(200)), оборачивая член в синтетический PlatformMemberSymbol (он implements Symbol, но не SourceDefinedSymbol). DefinitionProvider фильтрует ссылки через Reference::isSourceDefinedSymbolReference → такой символ отсекается → F12 возвращает пустой список.

При этом для метода OneScript-класса дескриптор уже несёт source-defined символ-источник: OScriptModuleMembersProvider.toMemberDescriptor(...) вешает .withSourceSymbol(method). То есть данные для перехода уже на руках в момент запроса — DefinitionProvider их просто не читал.

Решение

Маленький Reference → Reference map (unwrapPlatformMemberSource) перед фильтром: если символ — PlatformMemberSymbol и у его дескриптора есть source-defined sourceSymbol, ссылка перенаправляется на источник; иначе возвращается без изменений. Основной пайплайн перехода не меняется.

Платформенные члены без символа-источника (например ТаблицаЗначений.Добавить) остаются PlatformMemberSymbol, отсекаются прежним фильтром → hover-only сохранён (у них нет объявления в исходниках).

Область

Только навигация (F12). Это подмножество более крупного обсуждения про индексацию type-inferred member-обращений для find-references/rename — см. #4197 (там анализ и дизайн, кода нет).

Тесты

DefinitionProviderUnitTest (Mockito, без подъёма ServerContext):

• переход ведёт к символу-источнику (targetUri/targetRange/targetSelectionRange, origin = диапазон обращения к члену);
• платформенный член без источника → перехода нет.

Прогон: DefinitionProviderUnitTest 2/2 ✅, DefinitionProviderTest 6/6 ✅ (поведение не сломано).

🤖 Generated with Claude Code

---

Generated by Claude Code

Summary by CodeRabbit

• Bug Fixes
  • “Go to definition” now resolves platform/configuration members to their underlying source location when one is available.
  • If no source-backed location exists, definition lookup correctly returns no result.
• Tests
  • Added coverage for definition resolution with and without an associated source-defined symbol.

[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

Run ID: 11aad47a-0c26-4373-b59f-08589542ac35

📥 Commits

Reviewing files that changed from the base of the PR and between 3b180d5 and f5526cf.

📒 Files selected for processing (2)

• src/main/java/com/github/_1c_syntax/bsl/languageserver/providers/DefinitionProvider.java
• src/test/java/com/github/_1c_syntax/bsl/languageserver/providers/DefinitionProviderUnitTest.java

---

📝 Walkthrough

Walkthrough

DefinitionProvider now unwraps platform member references to their source-defined symbols before resolving definitions. New unit tests cover the source-backed and source-missing platform member cases.

Changes

Definition source unwrapping

Layer / File(s)	Summary
Definition resolution unwrap src/main/java/com/github/_1c_syntax/bsl/languageserver/providers/DefinitionProvider.java	findLocationLinks unwraps PlatformMemberSymbol references to source-defined symbols before definition-link filtering.
DefinitionProvider tests src/test/java/com/github/_1c_syntax/bsl/languageserver/providers/DefinitionProviderUnitTest.java	Tests cover a platform member with an attached source symbol, a platform member without one, and the mocked provider setup used by both cases.

Estimated code review effort

🎯 2 (Simple) | ⏱️ ~10 minutes

Poem

🐇 I hopped through symbols, neat and true,
Found the source beneath the view.
One little unwrap, then tests did cheer,
Definition paths are bunny-clear.

🚥 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	Title clearly describes the definition-navigation fix and the source-defined descriptor symbol used in the implementation.
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.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ 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 claude/fix-definition-source-defined-member

---

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