Trait miri::shims::env::EvalContextExt

source ·
pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn get_env_var(
        &mut self,
        name: &OsStr,
    ) -> InterpResult<'tcx, Option<OsString>> { ... }
    fn get_pid(&self) -> u32 { ... }
}

Provided Methods§

source

fn get_env_var(&mut self, name: &OsStr) -> InterpResult<'tcx, Option<OsString>>

Try to get an environment variable from the interpreted program’s environment. This is useful for implementing shims which are documented to read from the environment.

source

fn get_pid(&self) -> u32

Implementors§

source§

impl<'tcx> EvalContextExt<'tcx> for MiriInterpCx<'tcx>