Package eu.bandm.tools.umod.runtime
Class CheckedMap_D<D,R>
java.lang.Object
eu.bandm.tools.umod.runtime.MapProxy<D,R>
eu.bandm.tools.umod.runtime.CheckedMap_D<D,R>
- All Implemented Interfaces:
Map_checkedLeft<D,
,R> Serializable
,Map<D,
R>
Implements a map which is strict in its domain (=left of arrow).
The implementation is done by delegation to some peer object from a
predefined java runtime class. The kind of implementation (hash map or
tree map) can be selected by a parameter to the constructor.
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class eu.bandm.tools.umod.runtime.MapProxy
MapProxy.CheckedMapEntry<A,
B>, MapProxy.CheckedMapEntryIterator<A, B>, MapProxy.CheckedMapEntrySet<A, B>, MapProxy.implementations -
Field Summary
-
Constructor Summary
ConstructorDescriptionCheckedMap_D
(MapProxy.implementations implementation) CheckedMap_D
(Map<D, R> peer) -
Method Summary
Methods inherited from class eu.bandm.tools.umod.runtime.MapProxy
asSorted, clear, containsKey, containsValue, entrySet, equals, get, hashCode, isEmpty, keySet, remove, size, toString, values
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface java.util.Map
clear, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keySet, merge, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values