Crate bynkc_lsp 

bynkc-lsp — Bynk Language Server.

Implements the LSP capabilities listed in design/bynk-lsp-spec.md §4.3: synchronisation (Full), diagnostics, hover, go-to-definition, formatting, range formatting, document symbols, references, rename, code actions, workspace symbols, document highlights, and file watching. Built on tower-lsp.

Architecture:

• Backend holds the project state: root path (the directory containing bynk.toml), parsed configuration, and an in-memory map of open files. State is guarded by a tokio::sync::RwLock.
• Document changes trigger recompile_and_publish which re-runs the compiler (via bynk_ide::diagnose) and publishes resulting diagnostics.
• Hover and definition consult the parsed AST for the file under the cursor; both are best-effort (return None for unrecognised positions).
• Formatting delegates to bynk_fmt::format_source.

Modules

code_actions 🔒

v0.26 (ADR 0054): pure codeAction computation — quick-fixes from the structured bynk_syntax::error::Suggestions riding on a cached analysis round’s diagnostics.

completion 🔒

Completion for the cursor, keyed off the line up to it.

document_symbols 🔒

Document-symbol tree for the LSP textDocument/documentSymbol request (v1.1; LSP spec §3.7).

index_queries 🔒

v0.25 (ADR 0053): pure queries over the project binding index.

inlay_hints 🔒

v0.27 (ADR 0056): pure inlayHint computation — inferred-type hints from a cached analysis round’s harvested hint set.

locals_nav 🔒

v0.31 (ADR 0064): locals navigation — resolve the local binding under the cursor and all its sites (its definition plus every use that resolves to it), for references, go-to-definition, and documentHighlight.

position 🔒

Byte-offset ↔ LSP position conversion.

project 🔒

Bynk project configuration (bynk.toml).

publish 🔒

v0.24 (ADR 0052): the project-wide publish plan — a pure function so the clear semantics are unit-tested without an LSP transport (the JSON-RPC harness is deferred to the first interactive feature; recorded in the v0.24 proposal).

signature_help 🔒

v0.32 (ADR 0065): signature help — textDocument/signatureHelp.

structure 🔒

v0.37 (ADR 0070): structural ranges — textDocument/foldingRange and textDocument/selectionRange.

symbols 🔒

Symbol lookups for hover and go-to-definition.

Structs

Analysis 🔒

v0.25 (ADR 0053): one analysis round’s retained outputs — the binding index plus the snapshots its spans are offsets into, and the open-doc versions captured when the overlay was built (rename emits versioned edits against exactly these versions).

Backend 🔒

DocumentState 🔒

In-memory document state.

SerKey 🔒

v0.34 (ADR 0067): a serializable mirror of bynk_check::index::SymbolKey for round-tripping through CallHierarchyItem.data — the index kind isn’t Serialize, so the kind travels as its display() string.

State 🔒

Mutable project state.

Constants

SERVER_NAME 🔒

SERVER_VERSION 🔒

Functions

cursor_byte_offset 🔒

The byte offset of an LSP (line, character) position in text. Mirrors the line_prefix computation (character as a byte index — ASCII-faithful).

lsp_symbol_kind 🔒

main 🔒

make_diagnostic 🔒

server_capabilities 🔒

The advertised capability set — design/bynk-lsp-spec.md §4.3. Split out of initialize so the advertisement is unit-testable without transport.

stamp_resolve_data 🔒

Index symbol kind → LSP symbol kind, aligned with the document-symbol outline’s choices (capability=INTERFACE, service/agent=CLASS, provider=OBJECT). The index does not distinguish type shapes, so every type maps to STRUCT. Map a completion::Completion to an LSP CompletionItem. Stash the document URI in each item’s data so completion_resolve can look the symbol up — a resolve request carries only the item, not a position.

to_completion_item 🔒