Struct StaticState 

pub struct StaticState {
    pub known: HashMap<String, Value>,
    pub unknown_keys: HashSet<String>,
}

Symbolic state for static analysis.

Fields

known: HashMap<String, Value>

unknown_keys: HashSet<String>

Implementations

impl StaticState

pub fn new() -> Self

pub fn from_map(map: HashMap<String, Value>) -> Self

pub fn get(&self, key: &str) -> Option<&Value>

pub fn exists(&self, key: &str) -> bool

pub fn is_unknown(&self, key: &str) -> bool

pub fn set(&mut self, key: &str, value: Value)

Trait Implementations

impl Clone for StaticState

fn clone(&self) -> StaticState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StaticState

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

Formats the value using the given formatter.

impl Default for StaticState

fn default() -> Self

Returns the “default value” for a type.

impl StateView for StaticState

fn get_value(&self, key: &str) -> Option<Value>

Get a value by key. Returns None if the key doesn’t exist.

fn key_exists(&self, key: &str) -> bool

Check if a key exists in state.

fn is_unknown(&self, key: &str) -> bool

Whether a key’s value is unknown (symbolic analysis only). Returns false by default — runtime state is always known.