Class PersistentMap.DeletedKey
java.lang.Object
jadex.binary.persistent.collections.PersistentMap.DeletedKey
- Enclosing class:
PersistentMap<K,
V>
Marker for deleted entries.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
key
The key.
-
-
Constructor Details
-
DeletedKey
public DeletedKey()Creates the marker. -
DeletedKey
Creates the marker.
-
-
Method Details
-
getKey
Gets the key.- Returns:
- The key.
-
setKey
Sets the key.- Parameters:
key
- The key.
-