Trait cwe_checker_lib::abstract_domain::MapMergeStrategy

source · 
pub trait MapMergeStrategy<K: Ord + Clone, V: AbstractDomain> {
    // Required method
    fn merge_map_with(map: &mut BTreeMap<K, V>, other: &BTreeMap<K, V>);

    // Provided method
    fn merge_map(
        map_left: &BTreeMap<K, V>,
        map_right: &BTreeMap<K, V>
    ) -> BTreeMap<K, V> { ... }
}
Expand description

A MapMergeStrategy determines how the merge-method for a DomainMap works.

The possible strategies are:

Required Methods§

source

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

Merges map with other by modifying map in-place.

Provided Methods§

source

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.

Default

Clones the left side and uses MapMergeStrategy::merge_map_with to combine it with the right side.

Object Safety§

This trait is not object safe.

Implementors§