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

use rowan::ast::AstNode;

use crate::syntax::latex::{self, HasCurly};

use super::{LatexAnalyzerContext, TheoremEnvironment};

pub fn analyze_theorem_definition(
    context: &mut LatexAnalyzerContext,
    node: latex::SyntaxNode,
) -> Option<()> {
    let theorem = latex::TheoremDefinition::cast(node)?;
    let name = theorem.name()?.key()?.to_string();
    let description = theorem.description()?;
    let description = description.content_text()?;

    context
        .extras
        .theorem_environments
        .push(TheoremEnvironment { name, description });

    Some(())
}