Class CheckedMap_RD<D,R>

java.lang.Object
eu.bandm.tools.umod.runtime.MapProxy<D,R>
eu.bandm.tools.umod.runtime.CheckedMap_RD<D,R>
All Implemented Interfaces:
Map_checkedLeft<D,R>, Map_checkedRight<D,R>, Serializable, Map<D,R>

public class CheckedMap_RD<D,R> extends MapProxy<D,R> implements Map_checkedLeft<D,R>, Map_checkedRight<D,R>
Implements a map which is strict in its range (=right of arrow) and 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_RD

      public CheckedMap_RD()
    • CheckedMap_RD

      public CheckedMap_RD(MapProxy.implementations implementation)
    • CheckedMap_RD

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

    • empty

      public static <DD, RR> CheckedMap_RD<DD,RR> empty()
    • put

      public R put(D key, R value)
      Specified by:
      put in interface Map<D,R>
      Overrides:
      put in class MapProxy<D,R>
    • putAll

      public void putAll(Map<? extends D,? extends R> t)
      Specified by:
      putAll in interface Map<D,R>
      Overrides:
      putAll in class MapProxy<D,R>
    • entrySet

      public Set<Map.Entry<D,R>> entrySet()
      Needs special implementation of entrySet, Iterator and Map.Entry for prohibiting "setValue(null)"!
      Specified by:
      entrySet in interface Map<D,R>
      Overrides:
      entrySet in class MapProxy<D,R>