valkyrie-ast 0.1.4

Strong typed abstract syntax tree of valkyrie language
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
53
54
55
56
57
58
59
60
61
62

use super::*;

impl Display for AnnotationKind {
    fn fmt(&self, f: &mut Formatter<'_>) -> core::fmt::Result {
        f.write_str(self.as_str())
    }
}

impl Display for AnnotationPathNode {
    fn fmt(&self, f: &mut Formatter<'_>) -> core::fmt::Result {
        Display::fmt(&self.path, f)?;
        for name in &self.names {
            f.write_char('.')?;
            Display::fmt(name, f)?;
        }
        Ok(())
    }
}

impl PrettyPrint for AnnotationKind {
    fn pretty(&self, theme: &PrettyProvider) -> PrettyTree {
        theme.annotation(self.as_str())
    }
}

impl PrettyPrint for AnnotationNode {
    fn pretty(&self, theme: &PrettyProvider) -> PrettyTree {
        let mut terms = PrettySequence::new(2);
        terms += self.kind.pretty(theme);
        terms += self.term.pretty(theme);
        terms.into()
    }
}

impl PrettyPrint for AnnotationList {
    fn pretty(&self, theme: &PrettyProvider) -> PrettyTree {
        let mut terms = PrettySequence::new(self.terms.len());
        terms += self.kind.pretty(theme);
        terms += theme.annotation("[");
        for term in &self.terms {
            terms += term.pretty(theme);
        }
        terms += theme.annotation("]");
        terms.into()
    }
}

impl PrettyPrint for AnnotationTerm {
    fn pretty(&self, theme: &PrettyProvider) -> PrettyTree {
        let mut terms = PrettySequence::new(3);
        terms += self.path.pretty(theme);
        terms += self.arguments.pretty(theme);
        terms += self.collects.pretty(theme);
        terms.into()
    }
}

impl PrettyPrint for AnnotationPathNode {
    fn pretty(&self, theme: &PrettyProvider) -> PrettyTree {
        theme.annotation(self.to_string())
    }
}