pub trait AccessPathMap<T: AbstractDomain> {
    // Required methods
    fn get_access_path(&self, ap: AccessPath) -> Option<&T>;
    fn remove_access_path(&mut self, ap: AccessPath) -> Option<T>;
}
Expand description

Trait for a domain that can be viewed as a partial map from access paths to values and values can be deleted using their access paths

Required Methods§

Implementors§