Struct CtfeContext 

pub struct CtfeContext {
    pub constants: HashMap<String, CtfeValue>,
    pub recursion_depth: u32,
    pub max_depth: u32,
    pub fuel: u64,
    pub fuel_used: u64,
    /* private fields */
}

Evaluation context: maps names / variable IDs to their current values.

Fields

constants: HashMap<String, CtfeValue>

Global constant bindings (function name → value).

recursion_depth: u32

Current recursion depth.

max_depth: u32

Maximum recursion depth.

fuel: u64

Remaining evaluation fuel.

fuel_used: u64

Total fuel consumed so far.

Implementations

impl CtfeContext

pub fn new() -> Self

Create a new context with default limits.

pub fn with_fuel(fuel: u64) -> Self

Create a context with a custom fuel budget.

pub fn bind_local(&mut self, id: LcnfVarId, value: CtfeValue)

Bind a local variable.

pub fn lookup_local(&self, id: LcnfVarId) -> Option<&CtfeValue>

Look up a local variable.

pub fn consume_fuel(&mut self) -> Result<(), CtfeError>

Consume one unit of fuel, returning Err(Timeout) if exhausted.

pub fn push_frame(&mut self) -> Result<(), CtfeError>

Push a call frame, returning Err(StackOverflow) if too deep.

pub fn pop_frame(&mut self)

Pop a call frame.

pub fn child_context(&self) -> CtfeContext

Create a child context for evaluating a sub-expression with fresh locals.

pub fn merge_fuel_from(&mut self, child: &CtfeContext)

Merge fuel consumption back from a child context.

Trait Implementations

impl Clone for CtfeContext

fn clone(&self) -> CtfeContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CtfeContext

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

Formats the value using the given formatter.

impl Default for CtfeContext

fn default() -> Self

Returns the “default value” for a type.