Struct HarnessRun 

pub struct HarnessRun<'a> { /* private fields */ }

A harness run between its opening and its freeze.

Implementations

impl<'a> HarnessRun<'a>

pub fn open( charter: Charter<'a>, ledger: &mut dyn Ledger, now: &mut dyn FnMut() -> Result<TimeMs, AxError>, ) -> Result<HarnessRun<'a>, AxError>

Writes the dispatch pair, as a model run’s dispatch does.

Errors

Propagates the clock and the ledger.

pub fn report( &self, ledger: &mut dyn Ledger, reported: &HarnessReported, t: TimeMs, ) -> Result<(), AxError>

Books one thing the harness reported, after it said it.

Errors

Propagates a payload that will not encode and the ledger.

pub fn cancel( &mut self, ledger: &mut dyn Ledger, cut: Cut, t: TimeMs, ) -> Result<(), AxError>

Books the cancel the city is about to send, the first time the turn is cut; a later cut writes nothing and the first one is the one the ending reads.

Errors

Propagates the ledger.

pub fn conclude( self, ledger: &mut dyn Ledger, conclusion: Conclusion<'_>, t: TimeMs, ) -> Result<Completion, AxError>

The harness answered: the tree, then the answer, then the freeze, and the completion the answer and the first cut decide.

Errors

Propagates the ledger, and refuses a t at the end of u64.

pub fn abandon( self, ledger: &mut dyn Ledger, handoff: &Handoff, t: TimeMs, ) -> Result<Completion, AxError>

The session ended with no answer: there is nothing to record as one, so the run freezes cancelled.

Errors

Propagates the ledger, and refuses a t at the end of u64.