blues-lsp 0.1.0

LSP language server for the Bluespec SystemVerilog language
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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134

use crate::{
    project::{PkgHandle, Project},
    syntax::cst::{
        tree::{NodeHandle, NodeRef},
        view::View,
    },
};

use super::{
    name::SymName,
    node::{node_is_def, node_is_implicit_def, node_is_ref},
};

pub fn find_references_for(
    proj: &Project,
    this_pkg: PkgHandle,
    node: NodeRef<'_>,
    project_wide: bool,
    include_declaration: bool,
) -> Option<Vec<(PkgHandle, NodeHandle)>> {
    if node_is_ref(node) {
        if let Some((pkg, node)) = find_definition(proj, this_pkg, node.handle()) {
            Some(find_references(
                proj,
                pkg,
                node,
                // TODO: better API for fetching referneces for a specific pkg.
                project_wide || this_pkg != pkg,
                include_declaration,
            ))
        } else {
            None
        }
    } else if node_is_def(node) {
        Some(find_references(
            proj,
            this_pkg,
            node.handle(),
            project_wide,
            include_declaration,
        ))
    } else if let Some(name) = node_is_implicit_def(node) {
        let (pkg, node) = find_definition(proj, this_pkg, name.syntax().handle())
            .unwrap_or((this_pkg, node.handle()));
        Some(find_references(proj, pkg, node, false, include_declaration))
    } else {
        return None;
    }
}

pub fn definition_for(
    proj: &Project,
    pkg: PkgHandle,
    node: NodeRef<'_>,
) -> Option<(PkgHandle, NodeHandle)> {
    if node_is_ref(node) {
        find_definition(proj, pkg, node.handle())
    } else if node_is_def(node) {
        Some((pkg, node.handle()))
    } else {
        None
    }
}

pub fn find_definition(
    proj: &Project,
    pkg: PkgHandle,
    node: NodeHandle,
) -> Option<(PkgHandle, NodeHandle)> {
    let bindings = proj.bindings.get(proj, pkg);
    bindings.get(node)
}

pub fn find_references(
    proj: &Project,
    pkg: PkgHandle,
    node: NodeHandle,
    project_wide: bool,
    include_declaration: bool,
) -> Vec<(PkgHandle, NodeHandle)> {
    let bindings = proj.bindings.get(proj, pkg);
    let mut out = Vec::new();

    if include_declaration {
        out.push((pkg, node));
    }

    for (n, def) in bindings.iter() {
        if def == (pkg, node) {
            out.push((pkg, n));
        }
    }

    if !project_wide {
        return out;
    }

    let exports = proj.exports.get(proj, pkg);
    if !exports.defs.iter().any(|(_, v)| *v == (pkg, node)) {
        return out;
    }

    let this_pkg = pkg;
    let Some(this_pkg_name) = proj.get_pkg(this_pkg).name.clone() else {
        // Dummy package, couldn't possibly be referenced elsewhere
        return out;
    };

    for pkg in proj.iter_packages() {
        if pkg == this_pkg {
            continue;
        }

        if exports
            .defs
            .get(&SymName::Pkg(this_pkg_name.clone()))
            .map(|(pkg, _)| *pkg)
            != Some(this_pkg)
        {
            // Target pacakge not visible from here, skip.
            continue;
        }

        let bindings = proj.bindings.get(proj, pkg);

        for (n, def) in bindings.iter() {
            if def == (this_pkg, node) {
                out.push((pkg, n));
            }
        }
    }

    out
}