blob: 70047362d17260a0720b115b731ed94f7452f171 (
plain)
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(())
}
|