tree_sitter_macaulay2/
lib.rs1use tree_sitter::Language;
19
20extern "C" {
21 fn tree_sitter_macaulay2() -> Language;
22}
23
24pub fn language() -> Language {
28 unsafe { tree_sitter_macaulay2() }
29}
30
31pub const NODE_TYPES: &str = include_str!("../../src/node-types.json");
35
36pub const HIGHLIGHTS_QUERY: &str = include_str!("../../queries/highlights.scm");
38
39pub const INJECTIONS_QUERY: &str = include_str!("../../queries/injections.scm");
41
42pub const TAGS_QUERY: &str = include_str!("../../queries/tags.scm");
44
45pub const INDENTS_QUERY: &str = include_str!("../../queries/indents.scm");
47
48pub const FOLDS_QUERY: &str = include_str!("../../queries/folds.scm");
50
51#[cfg(test)]
52mod tests {
53 use tree_sitter::{InputEdit, Parser, Point};
54
55 #[test]
56 fn test_can_load_grammar() {
57 let mut parser = Parser::new();
58 parser
59 .set_language(&super::language())
60 .expect("Error loading Macaulay2 language");
61 }
62
63 #[test]
64 fn exports_every_configured_query() {
65 for query in [
66 super::HIGHLIGHTS_QUERY,
67 super::INJECTIONS_QUERY,
68 super::TAGS_QUERY,
69 super::INDENTS_QUERY,
70 super::FOLDS_QUERY,
71 ] {
72 assert!(!query.is_empty());
73 }
74 }
75
76 #[test]
77 fn incremental_edit_removes_zero_width_empty_components() {
78 fn empty_component_ranges(tree: &tree_sitter::Tree) -> Vec<std::ops::Range<usize>> {
79 let mut cursor = tree.walk();
80 let mut ranges = Vec::new();
81
82 loop {
83 let node = cursor.node();
84 if node.kind() == "empty_component" {
85 ranges.push(node.byte_range());
86 }
87
88 if cursor.goto_first_child() {
89 continue;
90 }
91 while !cursor.goto_next_sibling() {
92 if !cursor.goto_parent() {
93 return ranges;
94 }
95 }
96 }
97 }
98
99 let mut parser = Parser::new();
100 parser
101 .set_language(&super::language())
102 .expect("Error loading Macaulay2 language");
103
104 let mut tree = parser.parse("2,,\n", None).expect("initial parse failed");
105 assert!(!tree.root_node().has_error());
106 let ranges = empty_component_ranges(&tree);
107 assert_eq!(ranges.len(), 2);
108 assert!(ranges.iter().all(|range| range.is_empty()));
109
110 tree.edit(&InputEdit {
111 start_byte: 2,
112 old_end_byte: 3,
113 new_end_byte: 3,
114 start_position: Point::new(0, 2),
115 old_end_position: Point::new(0, 3),
116 new_end_position: Point::new(0, 3),
117 });
118
119 let tree = parser
120 .parse("2,3\n", Some(&tree))
121 .expect("incremental parse failed");
122 assert!(!tree.root_node().has_error());
123 assert!(empty_component_ranges(&tree).is_empty());
124 }
125}