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>

public class CheckedMap_D<D,R> extends MapProxy<D,R> implements Map_checkedLeft<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:
  • Constructor Details

    • CheckedMap_D

      public CheckedMap_D()
    • CheckedMap_D

      public CheckedMap_D(MapProxy.implementations implementation)
    • CheckedMap_D

      public CheckedMap_D(Map<D,R> peer)
  • Method Details