Struct gf::ai::state::SpaceStateMap

pub struct SpaceStateMap<'a, A, V, S> where
    V: Bottom,  { /* fields omitted */ }

🟢 Map-like structure for maintaining abstract state of all address spaces.

Implementations

impl<'a, A, V, S> SpaceStateMap<'a, A, V, S> where
    V: Bottom, 

pub fn new() -> Self

Create an empty state map.

pub fn get(&self, space: Space<'a>) -> Option<&S>

Return a shared reference to space state.

pub fn get_mut(&mut self, space: Space<'a>) -> Option<&mut S>

Return a mutable reference to space state.

pub fn set(&mut self, space: Space<'a>, state: S)

Set space state.

Trait Implementations

impl<'a, A, V, S> Clone for SpaceStateMap<'a, A, V, S> where
    V: Bottom,
    S: Clone, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, A, V, S> MultiConstSpaceState<'a, A, V> for SpaceStateMap<'a, A, V, S> where
    V: Bottom,
    S: ConstSpaceState<A, V>, 

fn load(&mut self, elt: SpaceElt<'a, A>) -> (V, V)

Load from a space.

fn load_result(&mut self, elt: SpaceElt<'a, A>) -> Result<V, V>

Load from a space returning a Result.

impl<'a, A, V, S> MultiSpaceState<'a, A, V> for SpaceStateMap<'a, A, V, S> where
    V: Bottom,
    S: SpaceState<A, V>, 

fn store(&mut self, elt: SpaceElt<'a, A>, value: V) -> (Option<()>, V)

Store to a space.

fn store_result(
    &mut self,
    span: SpaceElt<'a, A>,
    value: V
) -> Result<Option<()>, V>

Store to the space returning a Result.