Struct StateData

pub struct StateData { /* private fields */ }

Store a set of Vars and corresponding Values.

Internally the Value is wrapped in a ValidVal to keep knowledge that this value has been validated for a specific Var already.

Implementations

impl StateData

pub fn new() -> Self

Create a new StateData instance

pub fn insert( &mut self, var: &Box<dyn Var + Send + Sync>, state_val: Box<dyn Value>, ) -> Result<(), InvalidValue>

Add a new value

pub fn get(&self, var_id: &VarId) -> Option<&ValidVal>

Get the value based on its VarId. Returns a ValidVal to keep knowledge that the value has already been validated for the specific Var.

pub fn contains(&self, var_id: &VarId) -> bool

pub fn contains_only(&self, contains_only: &HashSet<&VarId>) -> bool

Confirm that the StateData only contains the set of VarIds listed

pub fn merge_from(&mut self, src: StateData)

Merge the data from another StateData into this one.

pub fn iter_val(&self) -> impl Iterator<Item = (&VarId, &Box<dyn Value>)>

pub fn from_vals<'a, T>(iter: T) -> Result<Self, InvalidVars>

where T: IntoIterator<Item = (&'a Box<dyn Var + Send + Sync + 'static>, Box<dyn Value>)>,

Create a StateData instance from an iterator of values

Trait Implementations

impl Clone for StateData

fn clone(&self) -> StateData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateData

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

Formats the value using the given formatter.

impl PartialEq for StateData

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