Environment - Rc<RefCell<...>> to store the parent

This commit is contained in:
Emmanuel BENOîT 2022-12-31 17:26:40 +01:00
parent 7d22b15854
commit d9e3ef2623

View file

@ -1,28 +1,26 @@
use std::collections::HashMap; use std::{cell::RefCell, collections::HashMap, rc::Rc};
use crate::{errors::InterpreterError, tokens::Token}; use crate::{errors::InterpreterError, tokens::Token};
use super::{InterpreterResult, Value}; use super::{InterpreterResult, Value};
/// A mutable reference to an environment.
pub type EnvironmentRef = Rc<RefCell<Environment>>;
/// The execution environment. /// The execution environment.
#[derive(Debug, Default)] #[derive(Debug, Default)]
pub struct Environment { pub struct Environment {
enclosing: Option<Box<Environment>>, enclosing: Option<EnvironmentRef>,
values: HashMap<String, Value>, values: HashMap<String, Value>,
} }
impl Environment { impl Environment {
/// Create an environment enclosed in another. /// Create an environment enclosed in another.
pub fn create_child(parent: Self) -> Self { pub fn create_child(parent: &Rc<RefCell<Self>>) -> Rc<RefCell<Self>> {
Self { Rc::new(RefCell::new(Self {
enclosing: Some(Box::new(parent)), enclosing: Some(parent.clone()),
values: HashMap::default(), values: HashMap::default(),
} }))
}
/// Restore an environment's parent.
pub fn restore_parent(self) -> Self {
*self.enclosing.unwrap()
} }
/// Define a new variable. /// Define a new variable.
@ -38,7 +36,7 @@ impl Environment {
name, name,
&format!("undefined variable '{}'", name.lexeme), &format!("undefined variable '{}'", name.lexeme),
)), )),
Some(parent) => parent.get(name), Some(parent) => parent.borrow().get(name),
}, },
Some(value) => Ok(value.clone()), Some(value) => Ok(value.clone()),
} }
@ -55,7 +53,7 @@ impl Environment {
name, name,
&format!("undefined variable '{}'", name.lexeme), &format!("undefined variable '{}'", name.lexeme),
)), )),
Some(parent) => parent.assign(name, value), Some(parent) => parent.borrow_mut().assign(name, value),
} }
} }
} }