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> { ... }
fn GetTempPathW(
&mut self,
buflen: &OpTy<'tcx>,
buf: &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>
fn GetTempPathW( &mut self, buflen: &OpTy<'tcx>, buf: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".