summaryrefslogtreecommitdiff
path: root/support/texlab/src/completion/latex/theorem.rs
diff options
context:
space:
mode:
Diffstat (limited to 'support/texlab/src/completion/latex/theorem.rs')
-rw-r--r--support/texlab/src/completion/latex/theorem.rs70
1 files changed, 70 insertions, 0 deletions
diff --git a/support/texlab/src/completion/latex/theorem.rs b/support/texlab/src/completion/latex/theorem.rs
new file mode 100644
index 0000000000..993ef5c7e8
--- /dev/null
+++ b/support/texlab/src/completion/latex/theorem.rs
@@ -0,0 +1,70 @@
+use super::combinators;
+use crate::completion::factory::{self, LatexComponentId};
+use crate::syntax::*;
+use crate::workspace::*;
+use futures_boxed::boxed;
+use lsp_types::{CompletionItem, CompletionParams, TextEdit};
+
+#[derive(Debug, PartialEq, Eq, Clone, Copy)]
+pub struct LatexTheoremEnvironmentCompletionProvider;
+
+impl FeatureProvider for LatexTheoremEnvironmentCompletionProvider {
+ type Params = CompletionParams;
+ type Output = Vec<CompletionItem>;
+
+ #[boxed]
+ async fn execute<'a>(&'a self, request: &'a FeatureRequest<Self::Params>) -> Self::Output {
+ combinators::environment(request, |context| {
+ async move {
+ let mut items = Vec::new();
+ for document in request.related_documents() {
+ if let SyntaxTree::Latex(tree) = &document.tree {
+ for theorem in &tree.math.theorem_definitions {
+ let name = theorem.name().text().to_owned();
+ let text_edit = TextEdit::new(context.range, name.clone());
+ let item = factory::environment(
+ request,
+ name,
+ text_edit,
+ &LatexComponentId::User,
+ );
+ items.push(item);
+ }
+ }
+ }
+ items
+ }
+ })
+ .await
+ }
+}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+ use crate::range::RangeExt;
+ use lsp_types::{Position, Range};
+ use std::borrow::Cow;
+
+ #[test]
+ fn test() {
+ let items = test_feature(
+ LatexTheoremEnvironmentCompletionProvider,
+ FeatureSpec {
+ files: vec![FeatureSpec::file(
+ "foo.tex",
+ "\\newtheorem{theorem}{Theorem}\n\\begin{th}",
+ )],
+ main_file: "foo.tex",
+ position: Position::new(1, 8),
+ ..FeatureSpec::default()
+ },
+ );
+ assert_eq!(items.len(), 1);
+ assert_eq!(items[0].label, Cow::from("theorem"));
+ assert_eq!(
+ items[0].text_edit.as_ref().map(|edit| edit.range),
+ Some(Range::new_simple(1, 7, 1, 9))
+ );
+ }
+}