Trait EvalContextExt

pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn GetEnvironmentVariableW(
        &mut self,
        name_op: &OpTy<'tcx>,
        buf_op: &OpTy<'tcx>,
        size_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn GetEnvironmentStringsW(&mut self) -> InterpResult<'tcx, Pointer> { ... }
    fn FreeEnvironmentStringsW(
        &mut self,
        env_block_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn SetEnvironmentVariableW(
        &mut self,
        name_op: &OpTy<'tcx>,
        value_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn GetCurrentDirectoryW(
        &mut self,
        size_op: &OpTy<'tcx>,
        buf_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn SetCurrentDirectoryW(
        &mut self,
        path_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn GetCurrentProcessId(&mut self) -> InterpResult<'tcx, Scalar> { ... }
    fn GetUserProfileDirectoryW(
        &mut self,
        token: &OpTy<'tcx>,
        buf: &OpTy<'tcx>,
        size: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
}

Provided Methods

fn GetEnvironmentVariableW( &mut self, name_op: &OpTy<'tcx>, buf_op: &OpTy<'tcx>, size_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn GetEnvironmentStringsW(&mut self) -> InterpResult<'tcx, Pointer>

fn FreeEnvironmentStringsW( &mut self, env_block_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn SetEnvironmentVariableW( &mut self, name_op: &OpTy<'tcx>, value_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn GetCurrentDirectoryW( &mut self, size_op: &OpTy<'tcx>, buf_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn SetCurrentDirectoryW( &mut self, path_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn GetCurrentProcessId(&mut self) -> InterpResult<'tcx, Scalar>

fn GetUserProfileDirectoryW( &mut self, token: &OpTy<'tcx>, buf: &OpTy<'tcx>, size: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

Implementors

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