Class PersistentMap.DeletedKey
- java.lang.Object
-
- jadex.binary.persistent.collections.PersistentMap.DeletedKey
-
- Enclosing class:
- PersistentMap<K,V>
protected static class PersistentMap.DeletedKey extends java.lang.Object
Marker for deleted entries.
-
-
Field Summary
Fields Modifier and Type Field Description protected java.lang.Object
key
The key.
-
Constructor Summary
Constructors Constructor Description DeletedKey()
Creates the marker.DeletedKey(java.lang.Object key)
Creates the marker.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Object
getKey()
Gets the key.void
setKey(java.lang.Object key)
Sets the key.
-