Skip to main content

SourceFileDescription

miri::concurrency::blocking_io

Trait SourceFileDescription 

Source 
pub trait SourceFileDescription: FileDescription {
    // Required methods
    fn with_source(
        &self,
        f: &mut dyn FnMut(&mut dyn Source) -> Result<()>,
    ) -> Result<()>;
    fn get_readiness_mut(&self) -> RefMut<'_, BlockingIoSourceReadiness>;
}
Expand description

Trait for file descriptions that contain a mio [Source].

Required Methods§

Source

fn with_source( &self, f: &mut dyn FnMut(&mut dyn Source) -> Result<()>, ) -> Result<()>

Invoke f on the source inside self.

Source

fn get_readiness_mut(&self) -> RefMut<'_, BlockingIoSourceReadiness>

Get a mutable reference to the readiness of the source.

Implementors§