Package org.sosy_lab.common.collect

Class MapsDifference

java.lang.Object

org.sosy_lab.common.collect.MapsDifference

public final class MapsDifference
extends Object

Utilities for handling differences between maps.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	MapsDifference.DefaultVisitor<K,V>	Default implementation of MapsDifference.Visitor with empty methods.
static final record	MapsDifference.Entry<K,V>	Class representing the difference between two maps for a given key.
static interface	MapsDifference.Visitor<K,V>	Interface for visiting map entries differing between two maps.

Method Summary

Modifier and Type	Method	Description
static <K, V> MapsDifference.Visitor<K,V>	collectMapsDifferenceTo(Collection<MapsDifference.Entry<K,V>> target)	Returns a MapsDifference.Visitor that collects all map differences as MapsDifference.Entry objects into a given collection.
static <K, V> MapsDifference.Visitor<K,V>	ignoreMapsDifference()	Returns a default MapsDifference.Visitor that does nothing.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

ignoreMapsDifference

public static <K,
V> MapsDifference.Visitor<K,V> ignoreMapsDifference()

Returns a default MapsDifference.Visitor that does nothing. Use this if a method requires a visitor to be passed but you are not interested in the elements.

collectMapsDifferenceTo

public static <K,
V> MapsDifference.Visitor<K,V> collectMapsDifferenceTo(Collection<MapsDifference.Entry<K,V>> target)

Returns a MapsDifference.Visitor that collects all map differences as MapsDifference.Entry objects into a given collection.