Struct TempEnvScope 

pub struct TempEnvScope<'a> { /* private fields */ }

A scope guard for temporarily adding declarations to an environment.

Useful for checking declarations in a hypothetical context (e.g., inside a section or namespace) without permanently mutating the environment.

NOTE: This struct borrows the environment mutably and removes the added declarations when dropped. This is a lightweight simulation for testing.

Implementations

impl<'a> TempEnvScope<'a>

pub fn new(env: &'a mut Environment) -> Self

Create a new temporary scope backed by env.

pub fn add(&mut self, decl: Declaration) -> Result<(), KernelError>

Add a declaration to the scope. Returns true on success.

pub fn env(&self) -> &Environment

Get a reference to the underlying environment.

pub fn env_mut(&mut self) -> &mut Environment

Get a mutable reference to the underlying environment.

pub fn num_added(&self) -> usize

Return the number of declarations added in this scope.