Struct AbstractState 

pub struct AbstractState {
    pub values: HashMap<String, AbstractValue>,
}

Abstract state at a program point: mapping from variables to abstract values.

Represents the known information about all variables at a specific point in the program. This is the dataflow fact for abstract interpretation.

Immutable Update Pattern

AbstractState uses an immutable update pattern where set() returns a new state rather than mutating in place. This makes dataflow analysis easier to reason about.

Default Values

Variables not in the map are treated as top() (unknown).

Fields

values: HashMap<String, AbstractValue>

Mapping from variable names to their abstract values

Implementations

impl AbstractState

pub fn new() -> Self

Create a new empty state

pub fn get(&self, var: &str) -> AbstractValue

Get abstract value for variable, defaulting to top (unknown)

Returns

The abstract value for the variable if known, otherwise top().

pub fn set(&self, var: &str, value: AbstractValue) -> Self

Return new state with updated variable value (immutable style)

Creates a new AbstractState with the variable set to the given value. The original state is unchanged.

Example

let state1 = AbstractState::new();
let state2 = state1.set("x", AbstractValue::from_constant(ConstantValue::Int(5)));
// state1 is unchanged
// state2 has x = 5

pub fn copy(&self) -> Self

Create a copy of this state

Equivalent to clone() but with explicit semantics.

Trait Implementations

impl Clone for AbstractState

fn clone(&self) -> AbstractState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractState

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

Formats the value using the given formatter.

impl Default for AbstractState

fn default() -> AbstractState

Returns the “default value” for a type.

impl PartialEq for AbstractState

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

impl StructuralPartialEq for AbstractState