Package org.rumbledb.items

Class MapSameKeyWrapper

java.lang.Object

org.rumbledb.items.MapSameKeyWrapper

public final class MapSameKeyWrapper
extends Object

Hash/equals wrapper for map keys compatible with op:same-key.

Invariant: if MapAtomicSameKey.sameKey(Item, Item) holds for two keys, their wrappers must have equal hashCode() and equals(Object). Collisions only affect performance.

Constructor Summary

Constructors

Constructor	Description
MapSameKeyWrapper(Item key)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Item	getKey()
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MapSameKeyWrapper

public MapSameKeyWrapper(Item key)

Method Details

getKey

public Item getKey()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object