pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn read_handle(
&self,
handle: &OpTy<'tcx>,
function_name: &str,
) -> InterpResult<'tcx, Handle> { ... }
fn invalid_handle(&mut self, function_name: &str) -> InterpResult<'tcx, !> { ... }
fn GetStdHandle(&mut self, which: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
fn DuplicateHandle(
&mut self,
src_proc: &OpTy<'tcx>,
src_handle: &OpTy<'tcx>,
target_proc: &OpTy<'tcx>,
target_handle: &OpTy<'tcx>,
desired_access: &OpTy<'tcx>,
inherit: &OpTy<'tcx>,
options: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn CloseHandle(
&mut self,
handle_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
}
Provided Methods§
Sourcefn read_handle(
&self,
handle: &OpTy<'tcx>,
function_name: &str,
) -> InterpResult<'tcx, Handle>
fn read_handle( &self, handle: &OpTy<'tcx>, function_name: &str, ) -> InterpResult<'tcx, Handle>
Convert a scalar into a structured Handle
.
If the handle is invalid, or references a non-existent item, execution is aborted.