cairo-lang-syntax 2.18.0

Cairo syntax representation.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

use std::marker::PhantomData;

use salsa::Database;

use crate::node::{SyntaxNode, TypedSyntaxNode};

// A typed view of an element list node.
// STEP=1 means a sequence of elements (e.g. sequence of trivia elements).
// STEP=2 means a separated sequence (e.g. argument list separated by `,`).
#[derive(Clone, Debug, Eq, Hash, PartialEq, salsa::Update)]
pub struct ElementList<'db, T: TypedSyntaxNode<'db>, const STEP: usize> {
    pub node: SyntaxNode<'db>,
    phantom: PhantomData<T>,
}
impl<'db, T: TypedSyntaxNode<'db>, const STEP: usize> ElementList<'db, T, STEP> {
    pub fn new(node: SyntaxNode<'db>) -> Self {
        Self { node, phantom: PhantomData {} }
    }
}
impl<'db, T: TypedSyntaxNode<'db>> ElementList<'db, T, 1> {
    pub fn elements_vec(&self, db: &'db dyn Database) -> Vec<T> {
        self.elements(db).collect()
    }
    pub fn elements(
        &self,
        db: &'db dyn Database,
    ) -> impl ExactSizeIterator<Item = T> + DoubleEndedIterator + Clone + use<'db, T> {
        self.node.get_children(db).iter().copied().map(move |x| T::from_syntax_node(db, x))
    }
    pub fn has_tail(&self, _db: &dyn Database) -> bool {
        false
    }
}
impl<'db, T: TypedSyntaxNode<'db>> ElementList<'db, T, 2> {
    pub fn elements_vec(&self, db: &'db dyn Database) -> Vec<T> {
        self.elements(db).collect()
    }
    pub fn elements(
        &self,
        db: &'db dyn Database,
    ) -> impl ExactSizeIterator<Item = T> + DoubleEndedIterator + Clone + use<'db, T> {
        self.node
            .get_children(db)
            .iter()
            .copied()
            .step_by(2)
            .map(move |x| T::from_syntax_node(db, x))
    }
    pub fn has_tail(&self, db: &dyn Database) -> bool {
        !self.node.get_children(db).len().is_multiple_of(2)
    }
}