Struct Environment 

pub struct Environment { /* private fields */ }

Scoped variable environment with push/pop semantics.

Variables are looked up from innermost scope outward. define always creates in the current (innermost) scope. set updates the first scope where the variable exists.

Implementations

impl Environment

pub fn new() -> Self

Create a new environment with one global scope.

pub fn push_scope(&mut self)

Push a new scope (for action bodies, let blocks, etc.).

pub fn pop_scope(&mut self)

Pop the innermost scope.

pub fn define(&mut self, name: &str, value: Value)

Define a variable in the current (innermost) scope.

pub fn get(&self, name: &str) -> Option<&Value>

Look up a variable, searching from innermost to outermost scope.

pub fn set(&mut self, name: &str, value: Value) -> bool

Update a variable in the first scope where it exists. Returns true if found and updated, false if not found.

pub fn global_bindings(&self) -> &BTreeMap<String, Value>

Get all bindings in the global (outermost) scope. Used for capturing state.

pub fn restore_global(&mut self, bindings: BTreeMap<String, Value>)

Replace all bindings in the global scope (for rollback).

Trait Implementations

impl Clone for Environment

fn clone(&self) -> Environment

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Environment

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Environment

fn default() -> Self

Returns the “default value” for a type.