protospec-build 0.3.0

One binary format language to rule them all, One binary format language to find them, One binary format language to bring them all and in the darkness bind them.
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

use crate::ConstDeclaration;

use super::*;

impl Scope {
    pub(super) fn convert_const_declaration(
        const_: &ConstDeclaration,
        program: &RefCell<Program>,
        scope: &Arc<RefCell<Scope>>,
    ) -> AsgResult<()> {
        if let Some(defined) = program.borrow().consts.get(&const_.name.name) {
            return Err(AsgError::ConstRedefinition(
                const_.name.name.clone(),
                const_.span,
                defined.span,
            ));
        }
        let type_ = Scope::convert_ast_type(&scope, &const_.type_.raw_type, true)?;
        match type_ {
            Type::Container(_) | Type::Enum(_) | Type::Bitfield(_) => {
                return Err(AsgError::ConstTypeDefinition(
                    const_.name.name.clone(),
                    const_.span,
                ));
            }
            _ => (),
        }
        let value = Scope::convert_expr(&scope, &const_.value, type_.clone().into())?;
        program.borrow_mut().consts.insert(
            const_.name.name.clone(),
            Arc::new(Const {
                name: const_.name.name.clone(),
                span: const_.span,
                type_,
                value,
            }),
        );
        Ok(())
    }
}