airlang 0.28.0

Air is a universal, reliable, and lean programming 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

use crate::semantics::cfg::Cfg;

pub trait DynCtx<Key, Value> {
    fn ref_(&self, cfg: &mut Cfg, key: Key) -> Option<&Value>;
    fn ref_mut(&mut self, cfg: &mut Cfg, key: Key) -> Option<&mut Value>;
    fn set(&mut self, cfg: &mut Cfg, key: Key, value: Value) -> Option<()>;
}

pub struct Ctx<'a, Value> {
    pub val: &'a mut Value,
    pub const_: bool,
}

impl<'a, Value> Ctx<'a, Value> {
    pub fn new_mut(val: &'a mut Value) -> Self {
        Ctx { val, const_: false }
    }

    pub fn new_const(val: &'a mut Value) -> Self {
        Ctx { val, const_: true }
    }

    pub fn reborrow(&mut self) -> Ctx<'_, Value> {
        Ctx { val: self.val, const_: self.const_ }
    }
}