Trait RunReadAlg 

pub trait RunReadAlg: SessionSorts {
    // Required methods
    fn run_is_over(&self, run: &Self::Run) -> bool;
    fn read_run(&self, run: &mut Self::Run) -> Vec<Self::Report>;
    fn end_run(&self, run: Self::Run) -> Result<Self::Ending, Self::Refusal>;
}

Specifies reading one run while it happens, and ending it once it is over.

Required Methods

fn run_is_over(&self, run: &Self::Run) -> bool

States whether the run is over.

fn read_run(&self, run: &mut Self::Run) -> Vec<Self::Report>

States everything the run has said since it was last read, without waiting for more.

fn end_run(&self, run: Self::Run) -> Result<Self::Ending, Self::Refusal>

Waits for a run that is over, and states how it ended.

Errors

Returns the interpreter’s own refusal, when the run ended by refusing.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors