Trait miri::shims::env::EvalContextExt

source · [−]
pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {

Show 14 methods    fn getenv(
        &mut self,
        name_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> { ... }
    fn GetEnvironmentVariableW(
        &mut self,
        name_op: &OpTy<'tcx, Provenance>,
        buf_op: &OpTy<'tcx, Provenance>,
        size_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, u32> { ... }
    fn GetEnvironmentStringsW(
        &mut self
    ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> { ... }
    fn FreeEnvironmentStringsW(
        &mut self,
        env_block_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, i32> { ... }
    fn setenv(
        &mut self,
        name_op: &OpTy<'tcx, Provenance>,
        value_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, i32> { ... }
    fn SetEnvironmentVariableW(
        &mut self,
        name_op: &OpTy<'tcx, Provenance>,
        value_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, i32> { ... }
    fn unsetenv(
        &mut self,
        name_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, i32> { ... }
    fn getcwd(
        &mut self,
        buf_op: &OpTy<'tcx, Provenance>,
        size_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> { ... }
    fn GetCurrentDirectoryW(
        &mut self,
        size_op: &OpTy<'tcx, Provenance>,
        buf_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, u32> { ... }
    fn chdir(
        &mut self,
        path_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, i32> { ... }
    fn SetCurrentDirectoryW(
        &mut self,
        path_op: &OpTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, i32> { ... }
    fn update_environ(&mut self) -> InterpResult<'tcx> { ... }
    fn getpid(&mut self) -> InterpResult<'tcx, i32> { ... }
    fn GetCurrentProcessId(&mut self) -> InterpResult<'tcx, u32> { ... }

}

Provided Methods

Updates the environ static. The first time it gets called, also initializes extra.environ.

Implementors