Trait EvalContextExtPrivate 

trait EvalContextExtPrivate<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn parse_utimens_timespec(
        &self,
        tp: &MPlaceTy<'tcx>,
    ) -> InterpResult<'tcx, Option<TimeUpdate>> { ... }
    fn parse_utimens_times(
        &self,
        times: &MPlaceTy<'tcx>,
    ) -> InterpResult<'tcx, Option<(TimeUpdate, TimeUpdate)>> { ... }
    fn write_stat_buf(
        &mut self,
        metadata: FileMetadata,
        buf_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, i32> { ... }
    fn dir_entry_fields(
        &self,
        entry: Either<DirEntry, &'static str>,
    ) -> InterpResult<'tcx, DirEntry> { ... }
    fn host_permissions_from_mode(
        &self,
        mode: u32,
        old_permissions: impl FnOnce() -> Result<Permissions>,
    ) -> InterpResult<'tcx, Result<Permissions>> { ... }
}

Provided Methods

fn parse_utimens_timespec( &self, tp: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx, Option<TimeUpdate>>

Decode one futimens timespec, handling the UTIME_NOW/UTIME_OMIT tv_nsec values. None means the timespec is invalid and the caller should report EINVAL.

fn parse_utimens_times( &self, times: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx, Option<(TimeUpdate, TimeUpdate)>>

Decode the times argument of futimens/utimensat: [atime, mtime], or NULL to set both to now, as (access, modified). None means a timespec is invalid and the caller should report EINVAL.

fn write_stat_buf( &mut self, metadata: FileMetadata, buf_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, i32>

fn dir_entry_fields( &self, entry: Either<DirEntry, &'static str>, ) -> InterpResult<'tcx, DirEntry>

fn host_permissions_from_mode( &self, mode: u32, old_permissions: impl FnOnce() -> Result<Permissions>, ) -> InterpResult<'tcx, Result<Permissions>>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx> EvalContextExtPrivate<'tcx> for MiriInterpCx<'tcx>