Class WrapperMap<K,V>
java.lang.Object
org.checkerframework.afu.scenelib.util.coll.WrapperMap<K,V>
- All Implemented Interfaces:
Map<K,
V>
- Direct Known Subclasses:
ASTIndex
,VivifyingMap
A
WrapperMap
is a map all of whose methods delegate by default to those of a supplied
backing map. Subclasses can add or override methods. Compare to FilterInputStream
.-
Nested Class Summary
-
Field Summary
Fields -
Constructor Summary
ConstructorsModifierConstructorDescriptionprotected
WrapperMap
(Map<K, V> back) Constructs a newWrapperMap
with the given backing map. -
Method Summary
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface java.util.Map
compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAll
-
Field Details
-
back
The backing map.
-
-
Constructor Details
-
WrapperMap
Constructs a newWrapperMap
with the given backing map.
-
-
Method Details
-
clear
public void clear() -
containsKey
- Specified by:
containsKey
in interfaceMap<K,
V>
-
containsValue
- Specified by:
containsValue
in interfaceMap<K,
V>
-
entrySet
-
get
-
isEmpty
public boolean isEmpty() -
keySet
-
put
-
putAll
-
remove
-
size
public int size() -
values
-
equals
-
hashCode
public int hashCode() -
toString
-