Trait miri::shims::unix::fs::FileDescriptor

trait FileDescriptor: Debug {
    fn as_file_handle<'tcx>(&self) -> InterpResult<'tcx, &FileHandle>;
    fn read<'tcx>(
        &mut self,
        communicate_allowed: bool,
        bytes: &mut [u8]
    ) -> InterpResult<'tcx, Result<usize>>;
    fn write<'tcx>(
        &self,
        communicate_allowed: bool,
        bytes: &[u8]
    ) -> InterpResult<'tcx, Result<usize>>;
    fn seek<'tcx>(
        &mut self,
        communicate_allowed: bool,
        offset: SeekFrom
    ) -> InterpResult<'tcx, Result<u64>>;
    fn close<'tcx>(
        self: Box<Self>,
        _communicate_allowed: bool
    ) -> InterpResult<'tcx, Result<i32>>;
    fn dup(&mut self) -> Result<Box<dyn FileDescriptor>>;
    fn as_unix_host_fd(&self) -> Option<i32>;
}

Required Methods

fn as_file_handle<'tcx>(&self) -> InterpResult<'tcx, &FileHandle>

fn read<'tcx>(
    &mut self,
    communicate_allowed: bool,
    bytes: &mut [u8]
) -> InterpResult<'tcx, Result<usize>>

fn write<'tcx>(
    &self,
    communicate_allowed: bool,
    bytes: &[u8]
) -> InterpResult<'tcx, Result<usize>>

fn seek<'tcx>(
    &mut self,
    communicate_allowed: bool,
    offset: SeekFrom
) -> InterpResult<'tcx, Result<u64>>

fn close<'tcx>(
    self: Box<Self>,
    _communicate_allowed: bool
) -> InterpResult<'tcx, Result<i32>>

fn dup(&mut self) -> Result<Box<dyn FileDescriptor>>

fn as_unix_host_fd(&self) -> Option<i32>

Implementations on Foreign Types

impl FileDescriptor for Stdin

fn as_file_handle<'tcx>(&self) -> InterpResult<'tcx, &FileHandle>

fn read<'tcx>(
    &mut self,
    communicate_allowed: bool,
    bytes: &mut [u8]
) -> InterpResult<'tcx, Result<usize>>

fn write<'tcx>(
    &self,
    _communicate_allowed: bool,
    _bytes: &[u8]
) -> InterpResult<'tcx, Result<usize>>

fn seek<'tcx>(
    &mut self,
    _communicate_allowed: bool,
    _offset: SeekFrom
) -> InterpResult<'tcx, Result<u64>>

fn close<'tcx>(
    self: Box<Self>,
    _communicate_allowed: bool
) -> InterpResult<'tcx, Result<i32>>

fn dup(&mut self) -> Result<Box<dyn FileDescriptor>>

fn as_unix_host_fd(&self) -> Option<i32>

impl FileDescriptor for Stdout

fn as_file_handle<'tcx>(&self) -> InterpResult<'tcx, &FileHandle>

fn read<'tcx>(
    &mut self,
    _communicate_allowed: bool,
    _bytes: &mut [u8]
) -> InterpResult<'tcx, Result<usize>>

fn write<'tcx>(
    &self,
    _communicate_allowed: bool,
    bytes: &[u8]
) -> InterpResult<'tcx, Result<usize>>

fn seek<'tcx>(
    &mut self,
    _communicate_allowed: bool,
    _offset: SeekFrom
) -> InterpResult<'tcx, Result<u64>>

fn close<'tcx>(
    self: Box<Self>,
    _communicate_allowed: bool
) -> InterpResult<'tcx, Result<i32>>

fn dup(&mut self) -> Result<Box<dyn FileDescriptor>>

fn as_unix_host_fd(&self) -> Option<i32>

impl FileDescriptor for Stderr

fn as_file_handle<'tcx>(&self) -> InterpResult<'tcx, &FileHandle>

fn read<'tcx>(
    &mut self,
    _communicate_allowed: bool,
    _bytes: &mut [u8]
) -> InterpResult<'tcx, Result<usize>>

fn write<'tcx>(
    &self,
    _communicate_allowed: bool,
    bytes: &[u8]
) -> InterpResult<'tcx, Result<usize>>

fn seek<'tcx>(
    &mut self,
    _communicate_allowed: bool,
    _offset: SeekFrom
) -> InterpResult<'tcx, Result<u64>>

fn close<'tcx>(
    self: Box<Self>,
    _communicate_allowed: bool
) -> InterpResult<'tcx, Result<i32>>

fn dup(&mut self) -> Result<Box<dyn FileDescriptor>>

fn as_unix_host_fd(&self) -> Option<i32>

Implementors

impl FileDescriptor for DummyOutput

impl FileDescriptor for FileHandle