Trait miri::shims::time::EvalContextExt
source · pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {
fn clock_gettime(
&mut self,
clk_id_op: &OpTy<'tcx, Provenance>,
tp_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, Scalar<Provenance>> { ... }
fn gettimeofday(
&mut self,
tv_op: &OpTy<'tcx, Provenance>,
tz_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32> { ... }
fn GetSystemTimeAsFileTime(
&mut self,
LPFILETIME_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx> { ... }
fn QueryPerformanceCounter(
&mut self,
lpPerformanceCount_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32> { ... }
fn QueryPerformanceFrequency(
&mut self,
lpFrequency_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32> { ... }
fn mach_absolute_time(&self) -> InterpResult<'tcx, Scalar<Provenance>> { ... }
fn mach_timebase_info(
&mut self,
info_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, Scalar<Provenance>> { ... }
fn nanosleep(
&mut self,
req_op: &OpTy<'tcx, Provenance>,
_rem: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32> { ... }
fn Sleep(&mut self, timeout: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> { ... }
}
Provided Methods
sourcefn clock_gettime(
fn clock_gettime(
&mut self,
clk_id_op: &OpTy<'tcx, Provenance>,
tp_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, Scalar<Provenance>>
sourcefn gettimeofday(
fn gettimeofday(
&mut self,
tv_op: &OpTy<'tcx, Provenance>,
tz_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32>
sourcefn GetSystemTimeAsFileTime(
fn GetSystemTimeAsFileTime(
&mut self,
LPFILETIME_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx>
sourcefn QueryPerformanceCounter(
fn QueryPerformanceCounter(
&mut self,
lpPerformanceCount_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32>
sourcefn QueryPerformanceFrequency(
fn QueryPerformanceFrequency(
&mut self,
lpFrequency_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32>
source
fn mach_absolute_time(&self) -> InterpResult<'tcx, Scalar<Provenance>>
sourcefn mach_timebase_info(
fn mach_timebase_info(
&mut self,
info_op: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, Scalar<Provenance>>
sourcefn nanosleep(
fn nanosleep(
&mut self,
req_op: &OpTy<'tcx, Provenance>,
_rem: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, i32>
source