bynk-lsp 0.230.0

bynkc-lsp — the Language Server for the Bynk DSL.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

//! Re-exports `bynk-ide`'s symbol logic (#808) — moved there so it's
//! reachable from `bynk-wasm` too, which can't depend on this crate's
//! `tower-lsp`/`tokio` stack. See `bynk_ide::symbols` for the real module.
//!
//! The one exception is the cross-file lookup trio below: `bynk-ide`'s
//! versions are `PathBuf`-keyed (wasm has no `Url`), so this crate re-wraps
//! them in the `Url` shape the LSP handlers actually use. Rust's shadowing
//! rule lets these locally-defined names win over the glob import.
pub use bynk_ide::symbols::*;

use std::collections::HashMap;
use std::path::{Path, PathBuf};

use bynk_syntax::span::Span;
use tower_lsp::lsp_types::Url;

/// A cross-file declaration lookup result: the URI of the file containing
/// the declaration, the declaration's source span, and the full source
/// text of that file (returned because callers need it to convert the
/// span to an LSP range and to build hover content).
pub struct CrossFileSymbol {
    pub uri: Url,
    pub span: Span,
    pub source: String,
}

/// Find `name`'s declaration in any project file other than `current_uri`.
/// See `bynk_ide::symbols::find_declaration_cross_file` for the pure logic.
pub fn find_declaration_cross_file(
    files: &[PathBuf],
    current_uri: &Url,
    name: &str,
) -> Option<CrossFileSymbol> {
    let current_path = current_uri.to_file_path().ok()?;
    let found = bynk_ide::symbols::find_declaration_cross_file(files, &current_path, name)?;
    Some(CrossFileSymbol {
        uri: Url::from_file_path(&found.path).ok()?,
        span: found.span,
        source: found.source,
    })
}

/// Markdown hover content for `name` from any project file other than
/// `current_uri`, plus the URI of the file that contributed it. See
/// `bynk_ide::symbols::describe_symbol_cross_file` for the pure logic.
pub fn describe_symbol_cross_file(
    files: &[PathBuf],
    current_uri: &Url,
    name: &str,
) -> Option<(Url, String)> {
    let current_path = current_uri.to_file_path().ok()?;
    let (path, desc) = bynk_ide::symbols::describe_symbol_cross_file(files, &current_path, name)?;
    Some((Url::from_file_path(&path).ok()?, desc))
}

/// #848: rewrite every resolvable intra-doc-link candidate in `content`
/// (hover Markdown — a ```bynk fenced signature, optionally followed by the
/// declaration's doc-comment prose) into a Markdown link, resolved against
/// `owner_unit`'s doc-link scope order (`crate::index_queries::resolve_doc_link`).
/// The fenced signature block (and any author example fence) is never
/// touched — `scan_doc_link_candidates` skips fenced regions itself. An
/// unresolved candidate is left exactly as authored — no diagnostic,
/// matching the render-only decision.
pub fn linkify_doc_links(
    content: &str,
    index: &bynk_check::index::ProjectIndex,
    doc_scope: &HashMap<String, Vec<String>>,
    project_root: &Path,
    owner_unit: &str,
) -> String {
    let candidates = bynk_ide::symbols::scan_doc_link_candidates(content);
    if candidates.is_empty() {
        return content.to_string();
    }
    let mut out = String::with_capacity(content.len());
    let mut last = 0;
    for cand in candidates {
        let Some(def) =
            crate::index_queries::resolve_doc_link(index, doc_scope, owner_unit, &cand.name)
        else {
            continue;
        };
        let Ok(url) = Url::from_file_path(project_root.join(&def.path)) else {
            continue;
        };
        out.push_str(&content[last..cand.span.start]);
        out.push_str(&format!("[{}]({url})", cand.display));
        last = cand.span.end;
    }
    out.push_str(&content[last..]);
    out
}