bibliothek.gui.dock.station.support
Interface PlaceholderMap.Key

Enclosing class:

PlaceholderMap

public static interface PlaceholderMap.Key

A key is a set of Paths, it is used to identify entries in a PlaceholderMap.

Author:

Benjamin Sigg

Method Summary

Path[]	getPlaceholders() Gets the placeholders which make up this key.
boolean	isShared() Tells whether this key is shared.

Method Detail

getPlaceholders

Path[] getPlaceholders()

Gets the placeholders which make up this key.

Returns:

the placeholders, this array may be empty but not null

isShared

boolean isShared()

Tells whether this key is shared. Two shared keys are equal if they have the same array of placeholders, two non-shared keys are equal only if they are the same object, a shared and a non-shared key are never equal.

Returns:

whether this is a shared key