common
Class MapWithPreimages.EmptyMapWithPreimages

java.lang.Object
  extended by java.util.AbstractMap
      extended by common.AbstractMapWithPreimages
          extended by common.MapWithPreimages.EmptyMapWithPreimages
All Implemented Interfaces:
MapWithPreimages, java.util.Map
Enclosing interface:
MapWithPreimages

public static class MapWithPreimages.EmptyMapWithPreimages
extends AbstractMapWithPreimages


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 common.MapWithPreimages
MapWithPreimages.EmptyMapWithPreimages
 
Nested classes/interfaces inherited from interface java.util.Map
java.util.Map.Entry<K,V>
 
Field Summary
 
Fields inherited from class common.AbstractMapWithPreimages
map, preimages
 
Fields inherited from interface common.MapWithPreimages
EMPTY_MAP_WITH_PREIMAGES
 
Method Summary
 
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
equals, hashCode, putAll