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