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

use lamcal::Environment;

use model::{AlphaRenamingStrategy, BetaReductionStrategy};

/// Context of the REPL.
#[allow(missing_copy_implementations)]
#[derive(Default, Debug, Clone, PartialEq)]
pub struct Context {
    env: Environment,
    alpha_renaming_strategy: AlphaRenamingStrategy,
    beta_reduction_strategy: BetaReductionStrategy,
    inspected_mode: bool,
}

impl Context {
    pub fn env(&self) -> &Environment {
        &self.env
    }

    pub fn env_mut(&mut self) -> &mut Environment {
        &mut self.env
    }

    pub fn alpha_renaming_strategy(&self) -> AlphaRenamingStrategy {
        self.alpha_renaming_strategy
    }

    pub fn set_alpha_renaming_strategy(&mut self, strategy: AlphaRenamingStrategy) {
        self.alpha_renaming_strategy = strategy;
    }

    pub fn beta_reduction_strategy(&self) -> BetaReductionStrategy {
        self.beta_reduction_strategy
    }

    pub fn set_beta_reduction_strategy(&mut self, strategy: BetaReductionStrategy) {
        self.beta_reduction_strategy = strategy;
    }

    pub fn inspected_mode(&self) -> bool {
        self.inspected_mode
    }

    pub fn set_inspected_mode(&mut self, inspected_mode: bool) {
        self.inspected_mode = inspected_mode
    }
}