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

use super::*;

impl Scope {
    pub(super) fn convert_member_expression(
        self_: &Arc<RefCell<Scope>>,
        expr: &ast::MemberExpression,
        _expected_type: PartialType,
    ) -> AsgResult<MemberExpression> {
        let target = Scope::convert_expr(self_, &expr.target, PartialType::Any)?;
        let type_ = target.get_type().ok_or_else(|| AsgError::UninferredType(*expr.target.span()))?;
        let member = match &*type_.resolved() {
            Type::Bitfield(bitfield) => {
                bitfield.items.get(&expr.member.name)
                    .cloned()
                    .ok_or_else(|| AsgError::BitfieldMemberUndefined(expr.member.name.clone(), expr.member.span))?
            },
            t => return Err(AsgError::UnexpectedType(t.to_string(), "bitfield".to_string(), *expr.target.span()))?,
        };
        
        Ok(MemberExpression {
            target: Box::new(target),
            member,
            span: expr.span,
        })
    }
}