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
ConstructorsModifierConstructorDescriptionprotectedWrapperMap(Map<K, V> back) Constructs a newWrapperMapwith the given backing map. -
Method Summary
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods 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 newWrapperMapwith the given backing map.
-
-
Method Details
-
clear
public void clear() -
containsKey
- Specified by:
containsKeyin interfaceMap<K,V>
-
containsValue
- Specified by:
containsValuein interfaceMap<K,V>
-
entrySet
-
get
-
isEmpty
public boolean isEmpty() -
keySet
-
put
-
putAll
-
remove
-
size
public int size() -
values
-
equals
-
hashCode
public int hashCode() -
toString
-