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>, ) -> Self

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 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) -> bool

Assign to an existing variable. Returns true if found and updated.

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. Builds the full qualified name from the effect export chain: e.g. SetupDb.db.Db.db.mydb for a 2-level effect chain with alias mydb.

pub fn reset_for_export(&mut self, new_scope: Scope)

Reset for shell export (effect → test/parent effect). Accumulates the current scope+shell name into the name prefix chain.

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 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.