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
}
|