Struct ExecutionContext 

pub struct ExecutionContext {
    pub scope: Scope,
    pub shell: ShellState,
    pub default_timeout: IrTimeout,
    pub env: Arc<LayeredEnv>,
    /* private fields */
}

Fields

scope: Scope

shell: ShellState

default_timeout: IrTimeout

env: Arc<LayeredEnv>

Implementations

impl ExecutionContext

pub fn new( scope: Scope, shell: ShellState, default_timeout: IrTimeout, env: Arc<LayeredEnv>, parent_span: SpanId, ) -> Self

pub fn current_span(&self) -> SpanId

The id of the innermost span currently active in this context. Used by every emission site so events reference the span they fired in.

pub fn push_span(&mut self, id: SpanId)

pub fn pop_span(&mut self)

pub fn set_block_span(&mut self, span: SpanId)

Reset the span stack so emissions are parented on span. Used when a shell is reused across shell blocks: each block opens a fresh ShellBlock span and the VM’s events should reference that one rather than the span from the shell’s original construction.

pub fn interp_chain<'a>( &'a self, scope_guard: &'a VarScope, ) -> (Vec<&'a VarScope>, &'a LayeredEnv)

The scope chain + env that reproduce lookup precedence for the current state, for the shared interpolation renderer. scope_guard is the already-locked scope.vars(). Inside a fn call the barrier hides shell/scope vars and the env fallback is the base env; outside a call, shell vars shadow scope vars and an effect scope consults its own (chained) env first.

pub async fn lookup(&self, key: &str) -> Option<String>

Look up a variable by name. Follows the lookup chain per RFC R005.

pub fn capture(&self, index: usize) -> Option<String>

Look up a capture reference (e.g. ${1}).

pub fn current_captures_map(&self) -> &HashMap<String, String>

The current capture frame as a raw map, for the interpolation renderer. Inside a fn call this is the call frame’s captures; otherwise the shell’s.

pub fn let_insert(&mut self, key: String, value: String)

Insert a let variable into the current context.

pub async fn assign(&mut self, key: &str, value: String) -> Option<String>

Assign to an existing variable. Returns Some(prev) with the prior value if found and updated, None if the key was not found in any scope.

pub fn push_call(&mut self, name: String, args: Vec<(String, String)>)

Push a function call frame.

pub fn pop_call(&mut self)

Pop the top function call frame.

pub fn timeout(&self) -> &IrTimeout

Get the effective timeout.

pub fn set_timeout(&mut self, t: IrTimeout)

Set the timeout on the current context.

pub fn fail_pattern(&self) -> Option<&FailPattern>

Get the current fail pattern.

pub fn set_fail_pattern(&mut self, pattern: Option<FailPattern>)

Set the fail pattern on the current context.

pub fn current_name(&self) -> String

Current display name for logging. Reflects the current scope’s view of the shell only - no chain accumulation across exports.

Format:

• <name> when no parent effect imported this shell (origin scope or directly at test scope without aliasing through an effect).
• <Effect>.<name> when the parent imported the source effect without aliasing it.
• <Alias>(<Effect>).<name> when the parent used start Effect as Alias.

pub fn reset_for_export( &mut self, new_scope: Scope, parent_alias: Option<String>, parent_effect_name: Option<String>, shell_local_name: String, )

Reset for shell export (effect -> test/parent effect). Replaces the shell’s view with how the new (parent) scope sees it: the parent’s alias for the source effect, the source effect’s original name, and the local key under which it was exposed.

pub fn set_captures(&mut self, captures: Captures)

Set captures on the current context.

pub fn in_call(&self) -> bool

Whether we’re inside a function call.

pub fn current_fn_name(&self) -> Option<&str>

The name of the innermost fn call frame, if we are inside one.

pub async fn snapshot_user_vars(&self) -> Vec<(String, String)>

Snapshot user-visible variables at the current point of execution, for failure diagnostics. Excludes the layered process env (already in events.json :: env.bootstrap) and matcher captures. Sorted by key for stable JSON output.

pub fn process_env(&self) -> Vec<(String, String)>

Build the environment variables map for spawning a shell process. For effects, the effect env already inherits the base env via LayeredEnv parent chain, so only the effect env is needed.