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.Visitorwith empty methods.
-
-
Constructor Summary
Constructors Constructor Description DefaultVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voiddifferingValues(K pKey, V pLeftValue, V pRightValue)Accept a map difference.voidleftValueOnly(K pKey, V pLeftValue)voidrightValueOnly(K key, V rightValue)
-
-
-
Method Detail
-
leftValueOnly
public void leftValueOnly(K pKey, V pLeftValue)
- Specified by:
leftValueOnlyin interfaceMapsDifference.Visitor<K,V>
-
rightValueOnly
public void rightValueOnly(K key, V rightValue)
- Specified by:
rightValueOnlyin interfaceMapsDifference.Visitor<K,V>
-
differingValues
public void differingValues(K pKey, V pLeftValue, V pRightValue)
Description copied from interface:MapsDifference.VisitorAccept a map difference.- Specified by:
differingValuesin interfaceMapsDifference.Visitor<K,V>- Parameters:
pKey- The key.pLeftValue- The left value.pRightValue- The right value.
-
-