Trait miri::shims::unix::fs::EvalContextExt

source · [−]
pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {

Show 24 methods    fn open(&mut self, args: &[OpTy<'tcx, Tag>]) -> InterpResult<'tcx, i32> { ... }
    fn fcntl(&mut self, args: &[OpTy<'tcx, Tag>]) -> InterpResult<'tcx, i32> { ... }
    fn close(&mut self, fd_op: &OpTy<'tcx, Tag>) -> InterpResult<'tcx, i32> { ... }
    fn read(
        &mut self,
        fd: i32,
        buf: Pointer<Option<Tag>>,
        count: u64
    ) -> InterpResult<'tcx, i64> { ... }
    fn write(
        &mut self,
        fd: i32,
        buf: Pointer<Option<Tag>>,
        count: u64
    ) -> InterpResult<'tcx, i64> { ... }
    fn lseek64(
        &mut self,
        fd_op: &OpTy<'tcx, Tag>,
        offset_op: &OpTy<'tcx, Tag>,
        whence_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i64> { ... }
    fn unlink(&mut self, path_op: &OpTy<'tcx, Tag>) -> InterpResult<'tcx, i32> { ... }
    fn symlink(
        &mut self,
        target_op: &OpTy<'tcx, Tag>,
        linkpath_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn macos_stat(
        &mut self,
        path_op: &OpTy<'tcx, Tag>,
        buf_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn macos_lstat(
        &mut self,
        path_op: &OpTy<'tcx, Tag>,
        buf_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn macos_fstat(
        &mut self,
        fd_op: &OpTy<'tcx, Tag>,
        buf_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn linux_statx(
        &mut self,
        dirfd_op: &OpTy<'tcx, Tag>,
        pathname_op: &OpTy<'tcx, Tag>,
        flags_op: &OpTy<'tcx, Tag>,
        mask_op: &OpTy<'tcx, Tag>,
        statxbuf_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn rename(
        &mut self,
        oldpath_op: &OpTy<'tcx, Tag>,
        newpath_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn mkdir(
        &mut self,
        path_op: &OpTy<'tcx, Tag>,
        mode_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn rmdir(&mut self, path_op: &OpTy<'tcx, Tag>) -> InterpResult<'tcx, i32> { ... }
    fn opendir(
        &mut self,
        name_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, Scalar<Tag>> { ... }
    fn linux_readdir64(
        &mut self,
        dirp_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, Scalar<Tag>> { ... }
    fn macos_readdir_r(
        &mut self,
        dirp_op: &OpTy<'tcx, Tag>,
        entry_op: &OpTy<'tcx, Tag>,
        result_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn closedir(&mut self, dirp_op: &OpTy<'tcx, Tag>) -> InterpResult<'tcx, i32> { ... }
    fn ftruncate64(
        &mut self,
        fd_op: &OpTy<'tcx, Tag>,
        length_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn fsync(&mut self, fd_op: &OpTy<'tcx, Tag>) -> InterpResult<'tcx, i32> { ... }
    fn fdatasync(&mut self, fd_op: &OpTy<'tcx, Tag>) -> InterpResult<'tcx, i32> { ... }
    fn sync_file_range(
        &mut self,
        fd_op: &OpTy<'tcx, Tag>,
        offset_op: &OpTy<'tcx, Tag>,
        nbytes_op: &OpTy<'tcx, Tag>,
        flags_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i32> { ... }
    fn readlink(
        &mut self,
        pathname_op: &OpTy<'tcx, Tag>,
        buf_op: &OpTy<'tcx, Tag>,
        bufsize_op: &OpTy<'tcx, Tag>
    ) -> InterpResult<'tcx, i64> { ... }

}

Provided Methods

Implementors