pub trait FootprintDomain: AbstractDomain + Clone + Debug + PartialEq + Sized {
    // Required method
    fn make_footprint(ap: AccessPath) -> Option<Self>;
}
Expand description

Trait for an abstract domain that can represent footprint values

Required Methods§

source

fn make_footprint(ap: AccessPath) -> Option<Self>

Create a footprint value for access path ap

Implementations on Foreign Types§

source§

impl FootprintDomain for Access

Implementors§