pub struct StateMachineStats {
    pub reads_modified: RefCell<u64>,
    pub bytes_read_modified: RefCell<u64>,
    pub writes_overlay: RefCell<u64>,
    pub bytes_writes_overlay: RefCell<u64>,
}
Expand description

Accumulated usage statistics specific to state machine crate.

Fields

reads_modified: RefCell<u64>

Number of read query from runtime that hit a modified value (in state machine overlay).

bytes_read_modified: RefCell<u64>

Size in byte of read queries that hit a modified value.

writes_overlay: RefCell<u64>

Number of time a write operation occurs into the state machine overlay.

bytes_writes_overlay: RefCell<u64>

Size in bytes of the writes overlay operation.

Implementations

Accumulates some registered stats.

Tally one read modified operation, of some length.

Tally one write overlay operation, of some length.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

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

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Calls U::from(self).

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

Get a reference to the inner from the outer.

Get a mutable reference to the inner from the outer.

Should always be Self

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

The counterpart to unchecked_from.