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

pub trait FileDescriptor: Debug + Any {
    // Required methods
    fn name(&self) -> &'static str;
    fn dup(&mut self) -> Result<Box<dyn FileDescriptor>>;

    // Provided methods
    fn read<'tcx>(
        &mut self,
        _communicate_allowed: bool,
        _bytes: &mut [u8],
        _tcx: TyCtxt<'tcx>
    ) -> InterpResult<'tcx, Result<usize>> { ... }
    fn write<'tcx>(
        &self,
        _communicate_allowed: bool,
        _bytes: &[u8],
        _tcx: TyCtxt<'tcx>
    ) -> 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 is_tty(&self) -> bool { ... }
    fn as_unix_host_fd(&self) -> Option<i32> { ... }
}

Required Methods

fn name(&self) -> &'static str

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

Provided Methods

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

fn write<'tcx>( &self, _communicate_allowed: bool, _bytes: &[u8], _tcx: TyCtxt<'tcx> ) -> 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 is_tty(&self) -> bool

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

Implementations

impl dyn FileDescriptor

pub fn downcast_ref<T: Any>(&self) -> Option<&T>

pub fn downcast_mut<T: Any>(&mut self) -> Option<&mut T>

Implementations on Foreign Types

impl FileDescriptor for Stderr

fn name(&self) -> &'static str

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

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

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

fn is_tty(&self) -> bool

impl FileDescriptor for Stdin

fn name(&self) -> &'static str

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

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

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

fn is_tty(&self) -> bool

impl FileDescriptor for Stdout

fn name(&self) -> &'static str

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

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

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

fn is_tty(&self) -> bool

Implementors

impl FileDescriptor for Epoll

impl FileDescriptor for Event

impl FileDescriptor for SocketPair

impl FileDescriptor for FileHandle

impl FileDescriptor for NullOutput