Method forEach

src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java:130–144

Performs the given action for each entry(key-value mapping) in this fact until all entries have been processed or the action throws an exception. @param action the action to be performed for each entry.

(BiConsumer<K, V> action)

     * @param action the action to be performed for each entry.
     */
    public void forEach(BiConsumer<K, V> action) {
        Objects.requireNonNull(action);
        entries().forEach(entry -> {
            K k;
            V v;
            try {
                k = entry.getKey();
                v = entry.getValue();
            } catch (IllegalStateException ise) {
                // this usually means the entry is no longer in the map.
                throw new ConcurrentModificationException(ise);
            }
            action.accept(k, v);
        });
    }

    @Override
    public boolean equals(Object o) {