Struct FakeState

pub struct FakeState { /* private fields */ }

The CPU state for FakeArch.

Trait Implementations

impl Clone for FakeState

fn clone(&self) -> FakeState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CpuState<FakeArch> for FakeState

type DiffMask = ()

The type of the difference mask used in CpuState::find_dataflows_masked.

fn gpreg(&self, reg: FakeReg) -> u64

Returns the value of reg.

fn reg(&self, reg: <FakeArch as Arch>::Reg) -> Value<'_>

Returns the value of reg.

fn modify_reg<F: FnOnce(MutValue<'_>)>( &mut self, reg: <FakeArch as Arch>::Reg, update: F, )

Modifies the value of reg using update function update.

fn flag(&self, flag: FakeFlag) -> bool

Returns the value of flag.

fn set_gpreg(&mut self, reg: FakeReg, value: u64)

Sets the value of reg.

fn set_flag(&mut self, flag: FakeFlag, value: bool)

Sets the value of flag.

fn size() -> usize

Returns the size (in bytes) of the CPU state.

fn state_byte_to_reg(byte: StateByte) -> (<FakeArch as Arch>::Reg, usize)

Converts a state byte to a register. Inverse of CpuState::reg_to_state_byte.

fn reg_to_state_byte(reg: <FakeArch as Arch>::Reg, byte: usize) -> StateByte

Converts a (register, byte index) tuple to a state byte. Inverse of CpuState::state_byte_to_reg.

fn find_differences<F: FnMut(StateByte)>(&self, other: &Self, found: &mut F)

Enumerates over all differences between the two state pairs. Calls found for each state byte that differs between self and other. The call order is unspecified.

fn create_diff_mask<I: Iterator<Item = StateByte>>(_items: I) -> Self::DiffMask

Creates a mask of state bytes whose differences can be ignored.

fn create<R: FnMut(A::Reg, MutValue<'_>)>(regval: R) -> Self

Creates a new CPU state using regval to determine the values of the registers.

fn default_with_pc(pc: u64) -> Self

Creates a default state with the program counter set to pc.

fn get_state_byte(&self, byte: StateByte) -> u8

Returns the value of the byte byte in the CPU state.

fn set_state_byte(&mut self, byte: StateByte, value: u8)

Sets the value of the byte byte in the CPU state.

fn state_bytes_unequal(&self, dest: StateByte, other: &Self) -> bool

Returns true if the value of the specified state byte in self is not equal to the value in other.

fn state_bytes_equal(&self, dest: StateByte, other: &Self) -> bool

Returns true if the value of the specified state byte in self is equal to the value in other.

fn find_dataflows_masked<F: FnMut(StateByte)>( b: SystemStateIoPair<'_, A>, a: SystemStateIoPair<'_, A>, dest_diff_mask: &Self::DiffMask, diff_mask: &Self::DiffMask, found: &mut F, )

Enumerates over all differences between the two state pairs. Calls found for each state byte that differs between self and other. diff_mask is a hint of differences that can be ignored. Therefore, this function may call found even for state bytes that can be ignored according to diff_mask.

impl Debug for FakeState

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

Formats the value using the given formatter.

impl Default for FakeState

fn default() -> FakeState

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FakeState

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for FakeState

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

Formats the value using the given formatter.

impl Hash for FakeState

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl JsonSchema for FakeState

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(gen: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Ord for FakeState

fn cmp(&self, other: &FakeState) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for FakeState

fn eq(&self, other: &FakeState) -> 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 PartialOrd for FakeState

fn partial_cmp(&self, other: &FakeState) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for FakeState

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for FakeState

impl Eq for FakeState

impl StructuralPartialEq for FakeState