melodium-share 0.10.0

Mélodium language parsing and semantic analyser
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

use crate::{Attributes, DescribedType, Identifier, SharingError, SharingResult, Value};
use melodium_common::descriptor::{Collection, Identified, Identifier as CommonIdentifier};
use melodium_engine::{
    descriptor::Treatment as DesignedTreatment,
    design::{Parameter as DesignedParameter, TreatmentInstanciation},
    LogicError,
};
use serde::{Deserialize, Serialize};
use std::{
    collections::{BTreeMap, HashMap},
    sync::Arc,
};

#[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
#[cfg_attr(feature = "webassembly", derive(tsify::Tsify))]
#[cfg_attr(feature = "webassembly", tsify(into_wasm_abi, from_wasm_abi))]
pub struct TreatmentInstanciationDesign {
    pub identifier: Identifier,
    pub generics: BTreeMap<String, DescribedType>,
    pub models: BTreeMap<String, String>,
    pub parameters: BTreeMap<String, Value>,
    pub attributes: Attributes,
}

impl TreatmentInstanciationDesign {
    pub(crate) fn make_design(
        &self,
        collection: &Collection,
        scope: &Arc<DesignedTreatment>,
        name: &str,
    ) -> SharingResult<TreatmentInstanciation> {
        let mut result = SharingResult::new_success(());

        let identifier: CommonIdentifier = if let Ok(identifier) = (&self.identifier).try_into() {
            identifier
        } else {
            return SharingResult::new_failure(SharingError::invalid_identifier(
                17,
                self.identifier.clone(),
            ));
        };

        let treatment = if let Some(melodium_common::descriptor::Entry::Treatment(treatment)) =
            collection.get(&(&identifier).into())
        {
            treatment
        } else {
            return SharingResult::new_failure(
                LogicError::unexisting_treatment(
                    241,
                    scope.identifier().clone(),
                    identifier.into(),
                    None,
                )
                .into(),
            );
        };

        let mut generics = HashMap::with_capacity(self.generics.len());

        for (name, described_type) in &self.generics {
            if let Some(described_type) = result.merge_degrade_failure(
                described_type.to_described_type(collection, scope.identifier()),
            ) {
                generics.insert(name.clone(), described_type);
            }
        }

        let mut parameters = HashMap::with_capacity(self.parameters.len());

        for (name, value) in &self.parameters {
            if let Some(value) =
                result.merge_degrade_failure(value.to_value(collection, scope.identifier()))
            {
                parameters.insert(
                    name.clone(),
                    DesignedParameter {
                        name: name.clone(),
                        value,
                    },
                );
            }
        }

        result.and_then(|_| {
            SharingResult::new_success(TreatmentInstanciation {
                descriptor: Arc::downgrade(treatment),
                name: name.to_string(),
                attributes: (&self.attributes).into(),
                models: self
                    .models
                    .iter()
                    .map(|(param_name, local_name)| (param_name.clone(), local_name.clone()))
                    .collect(),
                generics,
                parameters,
            })
        })
    }
}

impl From<&TreatmentInstanciation> for TreatmentInstanciationDesign {
    fn from(value: &TreatmentInstanciation) -> Self {
        Self {
            identifier: value.descriptor.upgrade().unwrap().identifier().into(),
            generics: value
                .generics
                .iter()
                .map(|(name, dt)| (name.clone(), dt.into()))
                .collect(),
            models: value
                .models
                .iter()
                .map(|(param_name, local_name)| (param_name.clone(), local_name.clone()))
                .collect(),
            parameters: value
                .parameters
                .iter()
                .map(|(name, param)| (name.clone(), (&param.value).into()))
                .collect(),
            attributes: (&value.attributes).into(),
        }
    }
}