Struct InliningContext 

pub struct InliningContext {
    pub depth: u32,
    pub call_stack: Vec<String>,
    pub substitutions: HashMap<String, LcnfExpr>,
}

Tracks the current inlining call stack to detect and prevent cycles.

Fields

depth: u32

Current recursion depth of the inliner.

call_stack: Vec<String>

Stack of function names currently being inlined.

substitutions: HashMap<String, LcnfExpr>

Named-value substitutions active in the current scope.

Implementations

impl InliningContext

pub fn new() -> Self

Create a fresh context at depth 0.

pub fn push_call(&mut self, name: &str) -> bool

Attempt to push name onto the call stack.

Returns false (and does NOT push) when name is already on the stack, indicating a recursive cycle.

pub fn pop_call(&mut self)

Pop the most recently pushed call from the stack.

pub fn has_cycle(&self, name: &str) -> bool

Returns true when name is already present in the call stack.

Trait Implementations

impl Clone for InliningContext

fn clone(&self) -> InliningContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InliningContext

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

Formats the value using the given formatter.

impl Default for InliningContext

fn default() -> Self

Returns the “default value” for a type.