Trait bytecode::access_path::FootprintDomain
source · 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§
sourcefn make_footprint(ap: AccessPath) -> Option<Self>
fn make_footprint(ap: AccessPath) -> Option<Self>
Create a footprint value for access path ap