Skip to main content

DanglingCalls

Struct DanglingCalls 

Source
pub struct DanglingCalls { /* private fields */ }
Expand description

The crash-recovery detection half of resume, fed one verified record at a time so it rides the pass that verifies the chain: a tool_called with no later tool_result in the same run is a call whose outcome is unknown, and so is a call its own run followed with another call before any result.

What it holds is the calls still open, one per run, and the calls already found dangling, never the ledger.

Implementations§

Source§

impl DanglingCalls

Source

pub fn observe(&mut self, record: &EventRecord)

Reads one record, in ledger order.

Source

pub fn into_calls(self) -> Vec<EventRecord>

The calls with no outcome, ascending by seq, once every record has been observed.

Trait Implementations§

Source§

impl Debug for DanglingCalls

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for DanglingCalls

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.