Method entries

src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java:120–122

@return all entries (key-value mappings) in this fact.

()

     * @return all entries (key-value mappings) in this fact.
     */
    public Stream<Map.Entry<K, V>> entries() {
        return map.entrySet().stream();
    }

    /**
     * Performs the given action for each entry(key-value mapping) in this fact