Trait bytecode::dataflow_domains::AbstractDomain

pub trait AbstractDomain {
    // Required method
    fn join(&mut self, other: &Self) -> JoinResult;
}

A trait to be implemented by domains which support a join.

Required Methods

fn join(&mut self, other: &Self) -> JoinResult

Implementations on Foreign Types

impl AbstractDomain for Access

fn join(&mut self, other: &Self) -> JoinResult

Implementors

impl AbstractDomain for BorrowInfo

impl AbstractDomain for ReadWriteSetState

impl AbstractDomain for MemoryUsage

impl AbstractDomain for UsageState

impl<E: Ord + Clone> AbstractDomain for SetDomain<E>

impl<K: Ord + Clone, V: AbstractDomain + Clone> AbstractDomain for MapDomain<K, V>

impl<T: FootprintDomain + PartialEq> AbstractDomain for AccessPathTrie<T>

impl<T: FootprintDomain> AbstractDomain for TrieNode<T>