mers_lib/program/parsed/
if.rs

1use crate::{
2    errors::{CheckError, SourceRange},
3    program::{self},
4};
5
6use super::{CompInfo, MersStatement};
7
8#[derive(Debug)]
9pub struct If {
10    pub pos_in_src: SourceRange,
11    pub condition: Box<dyn MersStatement>,
12    pub on_true: Box<dyn MersStatement>,
13    pub on_false: Option<Box<dyn MersStatement>>,
14}
15
16impl MersStatement for If {
17    fn has_scope(&self) -> bool {
18        true
19    }
20    fn compile_custom(
21        &self,
22        info: &mut crate::info::Info<super::Local>,
23        comp: CompInfo,
24    ) -> Result<Box<dyn program::run::MersStatement>, CheckError> {
25        Ok(Box::new(program::run::r#if::If {
26            pos_in_src: self.pos_in_src.clone(),
27            condition: self.condition.compile(info, comp)?,
28            on_true: self.on_true.compile(info, comp)?,
29            on_false: if let Some(v) = &self.on_false {
30                Some(v.compile(info, comp)?)
31            } else {
32                None
33            },
34        }))
35    }
36    fn source_range(&self) -> SourceRange {
37        self.pos_in_src.clone()
38    }
39    fn inner_statements(&self) -> Vec<&dyn MersStatement> {
40        if let Some(on_false) = &self.on_false {
41            vec![
42                self.condition.as_ref(),
43                self.on_true.as_ref(),
44                on_false.as_ref(),
45            ]
46        } else {
47            vec![self.condition.as_ref(), self.on_true.as_ref()]
48        }
49    }
50    fn as_any(&self) -> &dyn std::any::Any {
51        self
52    }
53}
mers_lib/program/parsed/if.rs

mers_lib/program/parsed/
if.rs
