summaryrefslogtreecommitdiff
path: root/support/texlab/crates/texlab/src/features/completion/theorem.rs
blob: a0ff71c9f46e75363751fdd94b74ae80f8b7072a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
use base_db::DocumentData;

use crate::util::cursor::CursorContext;

use super::builder::CompletionBuilder;

pub fn complete<'db>(
    context: &'db CursorContext,
    builder: &mut CompletionBuilder<'db>,
) -> Option<()> {
    let range = context.find_environment_name()?;

    for document in &context.project.documents {
        let DocumentData::Tex(data) = &document.data else { continue };
        for theorem in &data.semantics.theorem_definitions {
            builder.user_environment(range, &theorem.name.text);
        }
    }

    Some(())
}