Trait EvalContextExt 

pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn open(
        &mut self,
        path_raw: &OpTy<'tcx>,
        flag: &OpTy<'tcx>,
        varargs: &[OpTy<'tcx>],
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn lseek64(
        &mut self,
        fd_num: i32,
        offset: i128,
        whence: i32,
        dest: &MPlaceTy<'tcx>,
    ) -> InterpResult<'tcx> { ... }
    fn unlink(&mut self, path_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn symlink(
        &mut self,
        target_op: &OpTy<'tcx>,
        linkpath_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn macos_fbsd_solarish_stat(
        &mut self,
        path_op: &OpTy<'tcx>,
        buf_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn macos_fbsd_solarish_lstat(
        &mut self,
        path_op: &OpTy<'tcx>,
        buf_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn macos_fbsd_solarish_fstat(
        &mut self,
        fd_op: &OpTy<'tcx>,
        buf_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn linux_statx(
        &mut self,
        dirfd_op: &OpTy<'tcx>,
        pathname_op: &OpTy<'tcx>,
        flags_op: &OpTy<'tcx>,
        mask_op: &OpTy<'tcx>,
        statxbuf_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn rename(
        &mut self,
        oldpath_op: &OpTy<'tcx>,
        newpath_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn mkdir(
        &mut self,
        path_op: &OpTy<'tcx>,
        mode_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn rmdir(&mut self, path_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn opendir(&mut self, name_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn readdir64(
        &mut self,
        dirent_type: &str,
        dirp_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn macos_fbsd_readdir_r(
        &mut self,
        dirp_op: &OpTy<'tcx>,
        entry_op: &OpTy<'tcx>,
        result_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn closedir(&mut self, dirp_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn ftruncate64(
        &mut self,
        fd_num: i32,
        length: i128,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn posix_fallocate(
        &mut self,
        fd_num: i32,
        offset: i64,
        len: i64,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn fsync(&mut self, fd_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn ffullsync_fd(&mut self, fd_num: i32) -> InterpResult<'tcx, Scalar> { ... }
    fn fdatasync(&mut self, fd_op: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn sync_file_range(
        &mut self,
        fd_op: &OpTy<'tcx>,
        offset_op: &OpTy<'tcx>,
        nbytes_op: &OpTy<'tcx>,
        flags_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn readlink(
        &mut self,
        pathname_op: &OpTy<'tcx>,
        buf_op: &OpTy<'tcx>,
        bufsize_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, i64> { ... }
    fn isatty(&mut self, miri_fd: &OpTy<'tcx>) -> InterpResult<'tcx, Scalar> { ... }
    fn realpath(
        &mut self,
        path_op: &OpTy<'tcx>,
        processed_path_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
    fn mkstemp(
        &mut self,
        template_op: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, Scalar> { ... }
}

Provided Methods

fn open( &mut self, path_raw: &OpTy<'tcx>, flag: &OpTy<'tcx>, varargs: &[OpTy<'tcx>], ) -> InterpResult<'tcx, Scalar>

fn lseek64( &mut self, fd_num: i32, offset: i128, whence: i32, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx>

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

fn symlink( &mut self, target_op: &OpTy<'tcx>, linkpath_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn macos_fbsd_solarish_stat( &mut self, path_op: &OpTy<'tcx>, buf_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn macos_fbsd_solarish_lstat( &mut self, path_op: &OpTy<'tcx>, buf_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn macos_fbsd_solarish_fstat( &mut self, fd_op: &OpTy<'tcx>, buf_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn linux_statx( &mut self, dirfd_op: &OpTy<'tcx>, pathname_op: &OpTy<'tcx>, flags_op: &OpTy<'tcx>, mask_op: &OpTy<'tcx>, statxbuf_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn rename( &mut self, oldpath_op: &OpTy<'tcx>, newpath_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn mkdir( &mut self, path_op: &OpTy<'tcx>, mode_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

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

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

fn readdir64( &mut self, dirent_type: &str, dirp_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn macos_fbsd_readdir_r( &mut self, dirp_op: &OpTy<'tcx>, entry_op: &OpTy<'tcx>, result_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

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

fn ftruncate64( &mut self, fd_num: i32, length: i128, ) -> InterpResult<'tcx, Scalar>

fn posix_fallocate( &mut self, fd_num: i32, offset: i64, len: i64, ) -> InterpResult<'tcx, Scalar>

NOTE: According to the man page of possix_fallocate, it returns the error code instead of setting errno.

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

fn ffullsync_fd(&mut self, fd_num: i32) -> InterpResult<'tcx, Scalar>

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

fn sync_file_range( &mut self, fd_op: &OpTy<'tcx>, offset_op: &OpTy<'tcx>, nbytes_op: &OpTy<'tcx>, flags_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

fn readlink( &mut self, pathname_op: &OpTy<'tcx>, buf_op: &OpTy<'tcx>, bufsize_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, i64>

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

fn realpath( &mut self, path_op: &OpTy<'tcx>, processed_path_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, Scalar>

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

Implementors

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