summaryrefslogtreecommitdiff
path: root/support/texlab/src/symbol/latex_section/theorem.rs
blob: dac231fbfa77f32094cd8ff3766f11ddf4847ee6 (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
67
68
69
70
use super::{label_name, selection_range};
use crate::{
    feature::DocumentView,
    outline::OutlineContext,
    symbol::types::{LatexSymbol, LatexSymbolKind},
    syntax::latex,
    workspace::DocumentContent,
};
use titlecase::titlecase;

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

fn make_symbol(
    view: &DocumentView,
    main_table: &latex::SymbolTable,
    env: latex::Environment,
) -> Option<LatexSymbol> {
    let env_name = env.left.name(&main_table).map(latex::Token::text)?;

    for document in &view.related {
        if let DocumentContent::Latex(table) = &document.content {
            for definition in &table.theorem_definitions {
                if definition.name(&table).text() == env_name {
                    let kind = table
                        .print_group_content(
                            definition.parent,
                            latex::GroupKind::Group,
                            definition.arg_index + 1,
                        )
                        .unwrap_or_else(|| titlecase(env_name));

                    let desc = main_table.print_group_content(
                        env.left.parent,
                        latex::GroupKind::Options,
                        0,
                    );

                    let label = main_table.find_label_by_environment(env);
                    let number = label
                        .and_then(|label| OutlineContext::find_number(view, &main_table, *label));

                    let name = match (desc, 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(main_table, label),
                        kind: LatexSymbolKind::Theorem,
                        deprecated: false,
                        full_range: env.range(&main_table),
                        selection_range: selection_range(main_table, env.range(&main_table), label),
                        children: Vec::new(),
                    };
                    return Some(symbol);
                }
            }
        }
    }
    None
}