Struct SystemState

pub struct SystemState<A: Arch> {
    pub use_trap_flag: bool,
    pub contains_valid_addrs: bool,
    /* private fields */
}

A CPU state consisting of the architecture-specific state part and memory mappings.

Fields

use_trap_flag: bool

True if the trap flag should be used to observe this system state.

contains_valid_addrs: bool

True if the state’s memory mapping contains valid addresses.

Implementations

impl<A: Arch> SystemState<A>

pub fn cpu(&self) -> &A::CpuState

Returns the CPU state

pub fn memory(&self) -> &MemoryState

Returns the memory mappings

pub fn cpu_mut(&mut self) -> &mut A::CpuState

Returns a mutable reference to the CPU state

pub fn memory_mut(&mut self) -> &mut MemoryState

Returns a mutable reference to the memory mappings

pub fn new(cpu: A::CpuState, memory: MemoryState) -> SystemState<A>

Creates a new SystemState.

Sets use_trap_flag and contains_valid_addrs to true.

pub fn new_without_memory(cpu: A::CpuState) -> SystemState<A>

Creates a new SystemState without any memory mappings.

Sets use_trap_flag and contains_valid_addrs to true.

pub fn with_new_memory( self, _num_memory: usize, _num_bytes: usize, memory: MemoryState, ) -> SystemState<A>

Returns a new SystemState with all memory mappings replaced by memory.

Sets use_trap_flag and contains_valid_addrs to true.

pub fn with_location(&self, loc: &Location<A>, value: Value<'_>) -> Self

Returns a new SystemState with storage location loc set to value.

pub fn get_dest(&self, dest: &Dest<A>) -> Value<'_>

Returns the value of dest.

pub fn set_dest(&mut self, dest: &Dest<A>, new_value: &Value<'_>)

Writes the value of dest.

pub fn modify_dest(&mut self, dest: &Dest<A>, modify: impl FnOnce(MutValue<'_>))

Allows the value of dest to be modified through a MutValue.

pub fn set_reg(&mut self, reg: A::Reg, new_value: Value<'_>)

Writes the value of reg.

pub fn with_dest(&self, dest: &Dest<A>, v: &Value<'_>) -> Self

Returns a new SystemState where dest is set to v.

pub fn set_flag(&mut self, flag: A::Flag, value: bool)

Writes value to the flag flag.

pub fn set_location(&mut self, loc: &Location<A>, value: Value<'_>)

Writes the value of loc.

pub fn location(&self, loc: &Location<A>) -> Value<'_>

Returns the value of loc.

pub fn get_location(&self, loc: &Location<A>) -> Option<Value<'_>>

Returns the value of loc, or returns None if loc refers to a non-existant memory access.

Trait Implementations

impl<A: Arch> AsRef<SystemState<A>> for ComplexStateRef<'_, A>

fn as_ref(&self) -> &SystemState<A>

Converts this type into a shared reference of the (usually inferred) input type.

impl<A: Arch> AsRef<SystemState<A>> for GpRegStateRef<'_, A>

fn as_ref(&self) -> &SystemState<A>

Converts this type into a shared reference of the (usually inferred) input type.

impl<A: Arch> AsRef<SystemState<A>> for MaybeRef<'_, A>

fn as_ref(&self) -> &SystemState<A>

Converts this type into a shared reference of the (usually inferred) input type.

impl<A: Arch> AsRef<SystemState<A>> for Ref<'_, SystemState<A>>

fn as_ref(&self) -> &SystemState<A>

Converts this type into a shared reference of the (usually inferred) input type.

impl<A: Arch> AsRef<SystemState<A>> for SimpleStateRef<'_, A>

fn as_ref(&self) -> &SystemState<A>

Converts this type into a shared reference of the (usually inferred) input type.

impl<A: Arch> AsRef<SystemState<A>> for SystemState<A>

fn as_ref(&self) -> &SystemState<A>

Converts this type into a shared reference of the (usually inferred) input type.

impl<A: Arch> AsSystemState<A> for &SystemState<A>

type Output<'a> = &'a SystemState<A> where Self: 'a

The output type of Self::as_system_state.

fn as_system_state(&self) -> Self::Output<'_>

Returns a type that implements AsRef<SystemState<A>>. Should be a cheap operation, as it may be called often.

fn num_memory_mappings(&self) -> usize

Returns the number of memory mappings in the state that Self::as_system_state will return.

impl<A: Arch> AsSystemState<A> for Box<SystemState<A>>

type Output<'a> = &'a SystemState<A>

The output type of Self::as_system_state.

fn as_system_state(&self) -> Self::Output<'_>

Returns a type that implements AsRef<SystemState<A>>. Should be a cheap operation, as it may be called often.

fn num_memory_mappings(&self) -> usize

Returns the number of memory mappings in the state that Self::as_system_state will return.

impl<A: Arch> AsSystemState<A> for SystemState<A>

type Output<'a> = &'a SystemState<A>

The output type of Self::as_system_state.

fn as_system_state(&self) -> Self::Output<'_>

Returns a type that implements AsRef<SystemState<A>>. Should be a cheap operation, as it may be called often.

fn num_memory_mappings(&self) -> usize

Returns the number of memory mappings in the state that Self::as_system_state will return.

impl<A: Clone + Arch> Clone for SystemState<A>

where A::CpuState: Clone,

fn clone(&self) -> SystemState<A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Arch> Debug for SystemState<A>

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

Formats the value using the given formatter.

impl<A: Arch> Default for SystemState<A>

fn default() -> Self

Returns the “default value” for a type.

impl<A: Arch> From<SystemState<A>> for MaybeJitState<'_, A>

fn from(value: SystemState<A>) -> Self

Converts to this type from the input type.

impl<A: PartialEq + Arch> PartialEq for SystemState<A>

where A::CpuState: PartialEq,

fn eq(&self, other: &SystemState<A>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: Eq + Arch> Eq for SystemState<A>

where A::CpuState: Eq,

impl<A: Arch> StructuralPartialEq for SystemState<A>