Struct cwe_checker_lib::abstract_domain::MergeTopStrategy

pub struct MergeTopStrategy { /* private fields */ }

A MapMergeStrategy where for every key that only occurs in one input map of the merge function the corresponding value is merged with Top before being added to the merged map. Furthermore, keys whose values are merged to the Top value are removed from the merged map.

The strategy is an alternative to the IntersectMergeStrategy in cases where the Top value of the value domain is not a maximal element of the abstract domain and should instead be interpreted as a default element assigned to all keys not present in a domain map.

Trait Implementations

impl Clone for MergeTopStrategy

fn clone(&self) -> MergeTopStrategy

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MergeTopStrategy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MergeTopStrategy

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 + HasTop> MapMergeStrategy<K, V> for MergeTopStrategy

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 MergeTopStrategy

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

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 MergeTopStrategy

impl StructuralEq for MergeTopStrategy

impl StructuralPartialEq for MergeTopStrategy