summaryrefslogtreecommitdiff
path: root/support/texlab/src/symbol/latex_section/theorem.rs
blob: 1f2190ea470050d27da943719047db15aaff5b5e (plain)
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
use super::{label_name, selection_range};
use crate::symbol::{LatexSymbol, LatexSymbolKind};
use crate::syntax::*;
use crate::workspace::*;

pub fn symbols(view: &DocumentView, tree: &LatexSyntaxTree) -> Vec<LatexSymbol> {
    tree.env
        .environments
        .iter()
        .filter_map(|env| make_symbol(view, tree, env))
        .collect()
}

fn make_symbol(
    view: &DocumentView,
    main_tree: &LatexSyntaxTree,
    environment: &LatexEnvironment,
) -> Option<LatexSymbol> {
    let environment_name = environment.left.name().map(LatexToken::text)?;

    for document in &view.related_documents {
        if let SyntaxTree::Latex(tree) = &document.tree {
            for definition in &tree.math.theorem_definitions {
                if environment_name == definition.name().text() {
                    let kind = definition
                        .command
                        .args
                        .get(definition.index + 1)
                        .map(|content| extract_group(content))
                        .unwrap_or_else(|| titlelize(environment_name));

                    let description = environment
                        .left
                        .command
                        .options
                        .get(0)
                        .map(|content| extract_group(content));

                    let label = main_tree.find_label_by_environment(environment);
                    let number = label
                        .as_ref()
                        .and_then(|label| OutlineContext::find_number(view, label));

                    let name = match (description, number) {
                        (Some(desc), Some(num)) => format!("{} {} ({})", kind, num, desc),
                        (Some(desc), None) => format!("{} ({})", kind, desc),
                        (None, Some(num)) => format!("{} {}", kind, num),
                        (None, None) => kind,
                    };

                    let symbol = LatexSymbol {
                        name,
                        label: label_name(label),
                        kind: LatexSymbolKind::Theorem,
                        deprecated: false,
                        full_range: environment.range(),
                        selection_range: selection_range(environment.range(), label),
                        children: Vec::new(),
                    };
                    return Some(symbol);
                }
            }
        }
    }
    None
}