valkyrie-parser 0.2.5

The hand write parser 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 crate::DefineUnionNode {
    pub(crate) fn build(&self, ctx: &mut ProgramState) -> Result<UnionDeclaration> {
        Ok(UnionDeclaration {
            annotations: self.annotation_head.annotations(ctx),
            name: self.identifier.build(ctx.file),
            inherits: vec![],
            implements: self.type_hint.build(ctx),
            body: self.terms(ctx),
            span: self.span.clone(),
        })
    }

    fn terms(&self, ctx: &mut ProgramState) -> Vec<UnionTerm> {
        let mut terms = Vec::with_capacity(self.union_term.len());
        for term in &self.union_term {
            match term.build(ctx) {
                Ok(o) => terms.extend(o),
                Err(e) => {
                    ctx.add_error(e);
                }
            }
        }
        terms
    }
}

impl crate::KwUnionNode {
    // pub(crate) fn build(&self) -> FunctionType {
    //     match self {
    //
    //     }
    // }
}
impl crate::UnionTermNode {
    pub(crate) fn build(&self, ctx: &mut ProgramState) -> Result<Option<UnionTerm>> {
        let value = match self {
            Self::ProceduralCall(v) => v.build(ctx).into(),
            Self::DefineVariant(v) => v.build(ctx)?.into(),
            Self::DefineMethod(v) => v.build(ctx)?.into(),
            Self::EosFree(_) => return Ok(None),
        };
        Ok(Some(value))
    }
}
impl crate::DefineVariantNode {
    pub(crate) fn build(&self, ctx: &mut ProgramState) -> Result<VariantDeclaration> {
        Ok(VariantDeclaration {
            name: self.identifier.build(ctx.file),
            annotations: build_annotation_terms(&self.annotation_term, ctx).into(),
            body: self.domain(ctx),
            span: self.span.clone(),
        })
    }
    fn domain(&self, ctx: &mut ProgramState) -> Vec<ClassTerm> {
        match &self.class_block {
            Some(body) => body.build(ctx),
            None => vec![],
        }
    }
}