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