Trait EvalContextExt

Source
pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
Show 13 methods // Provided methods fn clock_gettime( &mut self, clk_id_op: &OpTy<'tcx>, tp_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx> { ... } fn gettimeofday( &mut self, tv_op: &OpTy<'tcx>, tz_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar> { ... } fn localtime_r( &mut self, timep: &OpTy<'tcx>, result_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Pointer> { ... } fn GetSystemTimeAsFileTime( &mut self, shim_name: &str, LPFILETIME_op: &OpTy<'tcx>, ) -> InterpResult<'tcx> { ... } fn QueryPerformanceCounter( &mut self, lpPerformanceCount_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar> { ... } fn QueryPerformanceFrequency( &mut self, lpFrequency_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar> { ... } fn system_time_since_windows_epoch( &self, time: &SystemTime, ) -> InterpResult<'tcx, Duration> { ... } fn windows_ticks_for(&self, duration: Duration) -> InterpResult<'tcx, u64> { ... } fn mach_absolute_time(&self) -> InterpResult<'tcx, Scalar> { ... } fn mach_timebase_info( &mut self, info_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar> { ... } fn nanosleep( &mut self, duration: &OpTy<'tcx>, rem: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar> { ... } fn clock_nanosleep( &mut self, clock_id: &OpTy<'tcx>, flags: &OpTy<'tcx>, timespec: &OpTy<'tcx>, rem: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar> { ... } fn Sleep(&mut self, timeout: &OpTy<'tcx>) -> InterpResult<'tcx> { ... }
}

Provided Methods§

Source

fn clock_gettime( &mut self, clk_id_op: &OpTy<'tcx>, tp_op: &OpTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>

Source

fn gettimeofday( &mut self, tv_op: &OpTy<'tcx>, tz_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

Source

fn localtime_r( &mut self, timep: &OpTy<'tcx>, result_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Pointer>

Source

fn GetSystemTimeAsFileTime( &mut self, shim_name: &str, LPFILETIME_op: &OpTy<'tcx>, ) -> InterpResult<'tcx>

Source

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

Source

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

Source

fn system_time_since_windows_epoch( &self, time: &SystemTime, ) -> InterpResult<'tcx, Duration>

Source

fn windows_ticks_for(&self, duration: Duration) -> InterpResult<'tcx, u64>

Source

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

Source

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

Source

fn nanosleep( &mut self, duration: &OpTy<'tcx>, rem: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

Source

fn clock_nanosleep( &mut self, clock_id: &OpTy<'tcx>, flags: &OpTy<'tcx>, timespec: &OpTy<'tcx>, rem: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

Source

fn Sleep(&mut self, timeout: &OpTy<'tcx>) -> InterpResult<'tcx>

Implementors§

Source§

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