mers_lib 0.9.29

library to use the mers language in other projects
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

use crate::{
    data::{self, Data, MersData, Type},
    errors::{CheckError, SourceRange},
};

use super::MersStatement;

#[derive(Debug)]
pub struct Function {
    pub pos_in_src: SourceRange,
    pub func_no_info: data::function::Function,
}

impl MersStatement for Function {
    fn check_custom(
        &self,
        info: &mut super::CheckInfo,
        init_to: Option<&Type>,
    ) -> Result<data::Type, CheckError> {
        if init_to.is_some() {
            return Err("can't init to statement type Function".to_string().into());
        }
        self.func_no_info.with_info_check(info.clone());
        Ok(self.func_no_info.as_type())
    }
    fn run_custom(&self, info: &mut super::Info) -> Result<Data, CheckError> {
        Ok(Data::new(self.func_no_info.with_info_run(info.duplicate())))
    }
    fn has_scope(&self) -> bool {
        true
    }
    fn source_range(&self) -> SourceRange {
        self.pos_in_src.clone()
    }
    fn inner_statements(&self) -> Vec<&dyn MersStatement> {
        if let Some((a, b)) = &self.func_no_info.inner_statements() {
            vec![a.as_ref().as_ref(), b.as_ref().as_ref()]
        } else {
            vec![]
        }
    }
    fn as_any(&self) -> &dyn std::any::Any {
        self
    }
}