Method MapFact

src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java:51–53

Constructs a new MapFact with the same mappings as specified Map. @param map the map whose mappings are to be placed in this map.

(Map<K, V> map)

     * @param map the map whose mappings are to be placed in this map.
     */
    public MapFact(Map<K, V> map) {
        this.map = Maps.newHybridMap(map);
    }

    /**
     * @return the value to which the specified key is mapped,