Class PersistentMap.DeletedKey

java.lang.Object
jadex.binary.persistent.collections.PersistentMap.DeletedKey
Enclosing class:
PersistentMap<K,V>

protected static class PersistentMap.DeletedKey extends Object
Marker for deleted entries.
  • Field Details

    • key

      protected Object key
      The key.
  • Constructor Details

    • DeletedKey

      public DeletedKey()
      Creates the marker.
    • DeletedKey

      public DeletedKey(Object key)
      Creates the marker.
  • Method Details

    • getKey

      public Object getKey()
      Gets the key.
      Returns:
      The key.
    • setKey

      public void setKey(Object key)
      Sets the key.
      Parameters:
      key - The key.