texlab 4.3.2

LaTeX Language Server
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

mod bibtex;
mod latex;
mod project_order;
mod types;

use std::{cmp::Reverse, sync::Arc};

use lsp_types::{
    DocumentSymbolParams, DocumentSymbolResponse, PartialResultParams, SymbolInformation,
    TextDocumentIdentifier, WorkDoneProgressParams, WorkspaceSymbolParams,
};

use crate::{ClientCapabilitiesExt, Workspace};

use self::{
    bibtex::find_bibtex_symbols, latex::find_latex_symbols, project_order::ProjectOrdering,
    types::InternalSymbol,
};

use super::FeatureRequest;

#[must_use]
pub fn find_document_symbols(req: FeatureRequest<DocumentSymbolParams>) -> DocumentSymbolResponse {
    let mut buf = Vec::new();
    find_latex_symbols(&req, &mut buf);
    find_bibtex_symbols(&req, &mut buf);
    if req
        .workspace
        .environment
        .client_capabilities
        .has_hierarchical_document_symbol_support()
    {
        DocumentSymbolResponse::Nested(
            buf.into_iter()
                .map(InternalSymbol::into_document_symbol)
                .collect(),
        )
    } else {
        let mut new_buf = Vec::new();
        for symbol in buf {
            symbol.flatten(&mut new_buf);
        }
        let mut new_buf: Vec<_> = new_buf
            .into_iter()
            .map(|symbol| symbol.into_symbol_info(req.main_document().uri().as_ref().clone()))
            .collect();
        sort_symbols(&req.workspace, &mut new_buf);
        DocumentSymbolResponse::Flat(new_buf)
    }
}

#[derive(Debug, Clone)]
struct WorkspaceSymbol {
    info: SymbolInformation,
    search_text: String,
}

#[must_use]
pub fn find_workspace_symbols(
    workspace: &Workspace,
    params: &WorkspaceSymbolParams,
) -> Vec<SymbolInformation> {
    let mut symbols = Vec::new();

    for document in workspace.iter() {
        let request = FeatureRequest {
            uri: Arc::clone(document.uri()),
            params: DocumentSymbolParams {
                text_document: TextDocumentIdentifier::new(document.uri().as_ref().clone()),
                partial_result_params: PartialResultParams::default(),
                work_done_progress_params: WorkDoneProgressParams::default(),
            },
            workspace: workspace.slice(document.uri()),
        };

        let mut buf = Vec::new();
        find_latex_symbols(&request, &mut buf);
        find_bibtex_symbols(&request, &mut buf);
        let mut new_buf = Vec::new();

        for symbol in buf {
            symbol.flatten(&mut new_buf);
        }

        for symbol in new_buf {
            symbols.push(WorkspaceSymbol {
                search_text: symbol.search_text(),
                info: symbol.into_symbol_info(document.uri().as_ref().clone()),
            });
        }
    }

    let query_words: Vec<_> = params
        .query
        .split_whitespace()
        .map(str::to_lowercase)
        .collect();
    let mut filtered = Vec::new();
    for symbol in symbols {
        let mut included = true;
        for word in &query_words {
            if !symbol.search_text.contains(word) {
                included = false;
                break;
            }
        }

        if included {
            filtered.push(symbol.info);
        }
    }
    sort_symbols(workspace, &mut filtered);
    filtered
}

fn sort_symbols(workspace: &Workspace, symbols: &mut [SymbolInformation]) {
    let ordering = ProjectOrdering::from(workspace);
    symbols.sort_by(|left, right| {
        let left_key = (
            ordering.get(&left.location.uri),
            left.location.range.start,
            Reverse(left.location.range.end),
        );
        let right_key = (
            ordering.get(&right.location.uri),
            right.location.range.start,
            Reverse(right.location.range.end),
        );
        left_key.cmp(&right_key)
    });
}