Struct cwe_checker_lib::abstract_domain::IntersectMergeStrategy

pub struct IntersectMergeStrategy { /* private fields */ }

A MapMergeStrategy where the merge function only keeps keys that are present in both input maps.

Furthermore, keys whose values are merged to the Top value are also removed from the merged map.

The strategy is meant to be used for maps, where keys not present in the map have an implicit Top value associated to them. The strategy implicitly assumes that the Top value of the value abstract domain is an actual maximal value of the domain.

Trait Implementations

impl Clone for IntersectMergeStrategy

fn clone(&self) -> IntersectMergeStrategy

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IntersectMergeStrategy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for IntersectMergeStrategy

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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

fn merge_map_with(map: &mut BTreeMap<K, V>, other: &BTreeMap<K, V>)

Merges map with other by modifying map in-place.

fn merge_map( map_left: &BTreeMap<K, V>, map_right: &BTreeMap<K, V> ) -> BTreeMap<K, V>

This function determines how two DomainMap instances are merged as abstract domains.

impl PartialEq for IntersectMergeStrategy

fn eq(&self, other: &IntersectMergeStrategy) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for IntersectMergeStrategy

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for IntersectMergeStrategy

impl StructuralEq for IntersectMergeStrategy

impl StructuralPartialEq for IntersectMergeStrategy