Struct MachineStateDiff 

pub struct MachineStateDiff {
    pub last: Option<usize>,
    pub stack_push: Vec<MachineValue>,
    pub stack_pop: usize,
    pub reg_diff: Vec<(RegisterIndex, MachineValue)>,
    pub prev_frame_diff: BTreeMap<usize, Option<MachineValue>>,
    pub wasm_stack_push: Vec<WasmAbstractValue>,
    pub wasm_stack_pop: usize,
    pub wasm_stack_private_depth: usize,
    pub wasm_inst_offset: usize,
}

A diff of two MachineStates.

Fields

last: Option<usize>

Last.

stack_push: Vec<MachineValue>

Stack push.

stack_pop: usize

Stack pop.

reg_diff: Vec<(RegisterIndex, MachineValue)>

Register diff.

prev_frame_diff: BTreeMap<usize, Option<MachineValue>>

Previous frame diff.

wasm_stack_push: Vec<WasmAbstractValue>

Wasm stack push.

wasm_stack_pop: usize

Wasm stack pop.

wasm_stack_private_depth: usize

Private depth of the wasm stack.

wasm_inst_offset: usize

Wasm instruction offset.

Implementations

impl MachineStateDiff

pub fn build_state(&self, m: &FunctionStateMap) -> MachineState

Creates a MachineState from the given &FunctionStateMap.

Trait Implementations

impl BorshDeserialize for MachineStateDiff

fn deserialize_reader<__R: Read>(reader: &mut __R) -> Result<Self, Error>

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

fn try_from_reader<R>(reader: &mut R) -> Result<Self, Error>

where R: Read,

impl BorshSerialize for MachineStateDiff

fn serialize<__W: Write>(&self, writer: &mut __W) -> Result<(), Error>

impl Clone for MachineStateDiff

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MachineStateDiff

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

Formats the value using the given formatter.

impl Default for MachineStateDiff

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MachineStateDiff

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for MachineStateDiff

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

where __S: Serializer,

Serialize this value into the given Serde serializer.