Struct cwe_checker_lib::abstract_domain::UnionMergeStrategy

pub struct UnionMergeStrategy { /* private fields */ }

A MapMergeStrategy where key-value pairs whose key is only present in one input map are added to the merged map. Top values and their corresponding keys are also preserved in the merged map.

The strategy is meant to be used for maps where the values associated to keys not present in the map have an implicit bottom value of the value abstract domain associated to them.

Trait Implementations

impl Clone for UnionMergeStrategy

fn clone(&self) -> UnionMergeStrategy

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UnionMergeStrategy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UnionMergeStrategy

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 UnionMergeStrategy

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 UnionMergeStrategy

fn eq(&self, other: &UnionMergeStrategy) -> 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 UnionMergeStrategy

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 UnionMergeStrategy

impl StructuralEq for UnionMergeStrategy

impl StructuralPartialEq for UnionMergeStrategy