Struct LogicalStateProjection 

pub struct LogicalStateProjection {
    pub root_kind: Option<RootKind>,
    pub focus: Option<ExecutionFocus>,
    pub syscall: SyscallState,
    pub scheduler: SchedulerState,
    pub context_vm: ContextVmState,
}

What the semantic driver contributes to a checkpoint.

Three of the four partitions plus the two transition fields the driver — not the transaction — owns. It is a value, not a borrow of the driver: the checkpoint is built from an explicit projection, never from a live reference into the engine.

Fields

root_kind: Option<RootKind>

focus: Option<ExecutionFocus>

syscall: SyscallState

scheduler: SchedulerState

context_vm: ContextVmState

Trait Implementations

impl Clone for LogicalStateProjection

fn clone(&self) -> LogicalStateProjection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicalStateProjection

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

Formats the value using the given formatter.

impl PartialEq for LogicalStateProjection

fn eq(&self, other: &LogicalStateProjection) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for LogicalStateProjection