Struct Snapshot 

pub struct Snapshot {
    pub exec_name: String,
    pub state_space: StateSpace,
    pub state_info: StateInfo,
    pub log: Log,
    pub panic_message: Option<String>,
    /* private fields */
}

A snapshot of the current state of machine-check.

Provided by the backend to the frontend.

Fields

exec_name: String

state_space: StateSpace

state_info: StateInfo

log: Log

panic_message: Option<String>

Implementations

impl Snapshot

pub fn new( exec_name: String, state_space: StateSpace, state_info: StateInfo, properties: Vec<SubpropertySnapshot>, log: Log, panic_message: Option<String>, ) -> Self

pub fn root_properties_iter(&self) -> impl Iterator<Item = &SubpropertySnapshot>

pub fn contains_subindex(&self, index: SubpropertyIndex) -> bool

pub fn select_root_property( &self, index: RootPropertyIndex, ) -> &SubpropertySnapshot

pub fn select_subproperty( &self, subindex: SubpropertyIndex, ) -> &SubpropertySnapshot

pub fn subindex_to_root_index( &self, subindex: SubpropertyIndex, ) -> RootPropertyIndex

pub fn root_index_to_subindex( &self, index: RootPropertyIndex, ) -> SubpropertyIndex

pub fn last_property_subindex(&self) -> Option<SubpropertyIndex>

Trait Implementations

impl Clone for Snapshot

fn clone(&self) -> Snapshot

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Snapshot

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Snapshot

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Snapshot

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.