microcad-lang 0.5.0

µcad 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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78

// Copyright © 2025-2026 The µcad authors <info@microcad.xyz>
// SPDX-License-Identifier: AGPL-3.0-or-later

//! Parameter evaluation entity

mod parameter_value;
mod parameter_value_list;

pub use parameter_value::ParameterValue;
pub use parameter_value_list::ParameterValueList;

use microcad_lang_base::SrcReferrer;

use crate::{eval::*, lower::ir, ty::*, value::*};

impl Eval<ParameterValue> for ir::Parameter {
    /// Evaluate [Parameter] into [ParameterValue].
    fn eval(&self, context: &mut EvalContext) -> EvalResult<ParameterValue> {
        use crate::lower::Identifiable;

        match (&self.specified_type, &self.default_value) {
            // Type and value are specified
            (Some(specified_type), Some(default_value)) => {
                let default_value: Value = default_value.eval(context)?;
                if specified_type.ty() != default_value.ty() {
                    context.error(
                        self,
                        EvalError::TypeMismatch {
                            id: self.id(),
                            expected: specified_type.ty(),
                            found: default_value.ty(),
                        },
                    )?;
                    // Return an invalid parameter value in case evaluation failed
                    Ok(ParameterValue::invalid(self.src_ref()))
                } else {
                    Ok(ParameterValue {
                        specified_type: Some(specified_type.ty()),
                        default_value: Some(default_value),
                        src_ref: self.src_ref(),
                    })
                }
            }
            // Only type is specified
            (Some(t), None) => Ok(ParameterValue {
                specified_type: Some(t.ty()),
                src_ref: self.src_ref(),
                ..Default::default()
            }),
            // Only value is specified
            (None, Some(expr)) => {
                let default_value: Value = expr.eval(context)?;

                Ok(ParameterValue {
                    specified_type: Some(default_value.ty().clone()),
                    default_value: Some(default_value),
                    src_ref: self.src_ref(),
                })
            }
            // Neither type nor value is specified
            (None, None) => Ok(ParameterValue::invalid(self.src_ref())),
        }
    }
}

impl Eval<ParameterValueList> for ir::ParameterList {
    /// Evaluate [ParameterList] into [ParameterValueList].
    fn eval(&self, context: &mut EvalContext) -> EvalResult<ParameterValueList> {
        use crate::lower::Identifiable;

        let mut values = ParameterValueList::default();
        for parameter in self.iter() {
            values.insert(parameter.id(), parameter.eval(context)?)?;
        }

        Ok(values)
    }
}