Trait gf::ai::state::ConstSpaceState

pub trait ConstSpaceState<A, V: Bottom> {
    fn load(&mut self, span: SpaceSpan<A>) -> (V, V);

    fn load_result(&mut self, span: SpaceSpan<A>) -> Result<V, V> { ... }
}

🟢 An abstract state of a constant (i.e. read-only) address space with A for addresses and V for values.

Required methods

fn load(&mut self, span: SpaceSpan<A>) -> (V, V)

Load from the space.

This method returns a tuple where the first item is the successful load state, and the second one is the error context state.

Loading content...

Provided methods

fn load_result(&mut self, span: SpaceSpan<A>) -> Result<V, V>

Load from the space returning a Result.

This returns Ok when the error context state is ⊥, and otherwise the error context state wrapped in Err.

Loading content...

Implementors

impl ConstSpaceState<FlatLattice<BitVec>, FlatLattice<Expr>> for SymbolicSpaceState

fn load(
    &mut self,
    span: SpaceSpan<FlatLattice<BitVec>>
) -> (FlatLattice<Expr>, FlatLattice<Expr>)

impl ConstSpaceState<FlatLattice<BitVec>, FlatLattice<BitVec>> for ConcreteSpaceState

fn load(
    &mut self,
    span: SpaceSpan<FlatLattice<BitVec>>
) -> (FlatLattice<BitVec>, FlatLattice<BitVec>)

impl ConstSpaceState<BitVec, FlatLattice<Expr>> for SymbolicSpaceState

fn load(
    &mut self,
    span: SpaceSpan<BitVec>
) -> (FlatLattice<Expr>, FlatLattice<Expr>)

impl ConstSpaceState<BitVec, FlatLattice<BitVec>> for ConcreteSpaceState

fn load(
    &mut self,
    span: SpaceSpan<BitVec>
) -> (FlatLattice<BitVec>, FlatLattice<BitVec>)

impl<A: IntoU128> ConstSpaceState<A, FlatLattice<Expr>> for SymbolicSpaceState

fn load(&mut self, span: SpaceSpan<A>) -> (FlatLattice<Expr>, FlatLattice<Expr>)

impl<A: IntoU128> ConstSpaceState<A, FlatLattice<BitVec>> for ConcreteSpaceState

fn load(
    &mut self,
    span: SpaceSpan<A>
) -> (FlatLattice<BitVec>, FlatLattice<BitVec>)

Loading content...