Package org.sosy_lab.common.collect
Class MapsDifference.DefaultVisitor<K,V>
- java.lang.Object
-
- org.sosy_lab.common.collect.MapsDifference.DefaultVisitor<K,V>
-
- All Implemented Interfaces:
MapsDifference.Visitor<K,V>
- Enclosing class:
- MapsDifference
public abstract static class MapsDifference.DefaultVisitor<K,V> extends Object implements MapsDifference.Visitor<K,V>
Default implementation ofMapsDifference.Visitor
with empty methods.
-
-
Constructor Summary
Constructors Constructor Description DefaultVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
differingValues(K pKey, V pLeftValue, V pRightValue)
Accept a map difference.void
leftValueOnly(K pKey, V pLeftValue)
void
rightValueOnly(K key, V rightValue)
-
-
-
Method Detail
-
leftValueOnly
public void leftValueOnly(K pKey, V pLeftValue)
- Specified by:
leftValueOnly
in interfaceMapsDifference.Visitor<K,V>
-
rightValueOnly
public void rightValueOnly(K key, V rightValue)
- Specified by:
rightValueOnly
in interfaceMapsDifference.Visitor<K,V>
-
differingValues
public void differingValues(K pKey, V pLeftValue, V pRightValue)
Description copied from interface:MapsDifference.Visitor
Accept a map difference.- Specified by:
differingValues
in interfaceMapsDifference.Visitor<K,V>
- Parameters:
pKey
- The key.pLeftValue
- The left value.pRightValue
- The right value.
-
-