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 of MapsDifference.Visitor with empty methods.

Constructor Summary

Constructors

Constructor	Description
DefaultVisitor()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Details

DefaultVisitor

public DefaultVisitor()

Method Details

leftValueOnly

public void leftValueOnly(K pKey,
 V pLeftValue)

Specified by:

leftValueOnly in interface MapsDifference.Visitor<K,V>

rightValueOnly

public void rightValueOnly(K key,
 V rightValue)

Specified by:

rightValueOnly in interface MapsDifference.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 interface MapsDifference.Visitor<K,V>

Parameters:

pKey - The key.

pLeftValue - The left value.

pRightValue - The right value.