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