|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.AbstractMap
common.AbstractMapWithPreimages
common.MapWithPreimagesDiff
public class MapWithPreimagesDiff
Represents a map with preimages as a set of differences relative to an underlying map with preimages. Uses a HashMapDiff for the forward mapping and a HashMultiMapDiff for the reverse mapping.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class java.util.AbstractMap |
---|
java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V> |
Nested classes/interfaces inherited from interface java.util.Map |
---|
java.util.Map.Entry<K,V> |
Nested classes/interfaces inherited from interface common.MapWithPreimages |
---|
MapWithPreimages.EmptyMapWithPreimages |
Field Summary |
---|
Fields inherited from class common.AbstractMapWithPreimages |
---|
map, preimages |
Fields inherited from interface common.MapWithPreimages |
---|
EMPTY_MAP_WITH_PREIMAGES |
Constructor Summary | |
---|---|
MapWithPreimagesDiff(MapWithPreimages underlying)
Creates a MapWithPreimagesDiff with the given underlying MapWithPreimages. |
Method Summary | |
---|---|
void |
changeUnderlying()
Changes the underlying map so it is equal to this map. |
void |
clearChanges()
Resets this map so it is equal to the underlying map. |
java.util.Set |
getChangedKeys()
Returns the set of keys that map to different values in this map than in the underlying map. |
Methods inherited from class common.AbstractMapWithPreimages |
---|
clear, containsKey, containsValue, entrySet, get, getPreimage, getPreimages, isCorefPair, isEmpty, keySet, numCorefPairs, put, remove, size, values, valueSet |
Methods inherited from class java.util.AbstractMap |
---|
clone, equals, hashCode, putAll, toString |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.Map |
---|
clear, containsKey, containsValue, entrySet, equals, get, hashCode, isEmpty, keySet, put, putAll, remove, size, values |
Constructor Detail |
---|
public MapWithPreimagesDiff(MapWithPreimages underlying)
Method Detail |
---|
public java.util.Set getChangedKeys()
MapDiff
The returned set may or may not be kept up to date as changes are made to this MapDiff.
getChangedKeys
in interface MapDiff
public void changeUnderlying()
MapDiff
changeUnderlying
in interface MapDiff
public void clearChanges()
MapDiff
clearChanges
in interface MapDiff
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |