概要
ScopeStore の宣言・参照情報を使って LSP の go-to-definition と find-references を実装する。
変更内容
unlaxer-dsl 側 (0.3.1)
ScopeStore.java:
getAllDeclarations(ctx) — 宣言一覧を flat list で返す（スコープが閉じた後も参照可能）addReference(ctx, name, offset, length) — @backref ルールが参照を記録getAllReferences(ctx) — 参照一覧を返すReferenceInfo(name, offset, length) record 追加
ParserGenerator.java:
@backref scope mode の onCommit で ScopeStore.addReference(ctx, refName, offset, refName.length()) を追加生成
tinyexpression 側 (0.2.2)
TinyExpressionP4LanguageServerExt.java:
parseAndEnrich で allDeclarations + allReferences をキャプチャして ExtDocumentState に保存ExtTextDocumentService.definition() — カーソル位置のシンボル名を解決 → SymbolInfo.sourceOffset → Location を返すExtTextDocumentService.references() — カーソル位置のシンボル名 → ReferenceInfo リストを Location[] で返す
期待動作
$varName を Ctrl+click → 変数宣言行にジャンプcall methodName(...) を Ctrl+click → メソッド定義行にジャンプ- find-references → エディタ上のすべての参照箇所をハイライト
概要
ScopeStoreの宣言・参照情報を使って LSP の go-to-definition と find-references を実装する。変更内容
unlaxer-dsl 側 (0.3.1)
ScopeStore.java:
getAllDeclarations(ctx)— 宣言一覧を flat list で返す（スコープが閉じた後も参照可能）addReference(ctx, name, offset, length)— @backref ルールが参照を記録getAllReferences(ctx)— 参照一覧を返すReferenceInfo(name, offset, length)record 追加ParserGenerator.java:
@backrefscope mode の onCommit でScopeStore.addReference(ctx, refName, offset, refName.length())を追加生成tinyexpression 側 (0.2.2)
TinyExpressionP4LanguageServerExt.java:
parseAndEnrichでallDeclarations+allReferencesをキャプチャしてExtDocumentStateに保存ExtTextDocumentService.definition()— カーソル位置のシンボル名を解決 →SymbolInfo.sourceOffset→Locationを返すExtTextDocumentService.references()— カーソル位置のシンボル名 →ReferenceInfoリストをLocation[]で返す期待動作
$varNameを Ctrl+click → 変数宣言行にジャンプcall methodName(...)を Ctrl+click → メソッド定義行にジャンプ