Package | Description |
---|---|
bibliothek.gui.dock.station.support |
Elements used by various
DockStation s to store
properties and to propagate events to other objects. |
Modifier and Type | Method and Description |
---|---|
PlaceholderMap.Key |
PlaceholderMap.copyKey(PlaceholderMap.Key key)
Creates a copy of
key . |
PlaceholderMap.Key[] |
PlaceholderMap.getPlaceholders()
Gets all placeholders that are known to this map in the order
they were
added to this map. |
PlaceholderMap.Key |
PlaceholderMap.newKey(Path... placeholders)
Creates a new shared key for any set of placeholders.
|
PlaceholderMap.Key |
PlaceholderMap.newKey(String anchor,
Path... placeholders)
Creates a new shared key for any set of placeholders.
|
PlaceholderMap.Key |
PlaceholderMap.newUniqueKey(Path... placeholders)
Creates a new non-shared key for any set of placeholders.
|
PlaceholderMap.Key |
PlaceholderMap.newUniqueKey(String anchor,
Path... placeholders)
Creates a new non-shared key for any set of placeholders.
|
Modifier and Type | Method and Description |
---|---|
void |
PlaceholderMap.add(PlaceholderMap.Key placeholder)
Adds the placeholder
placeholder to this map. |
boolean |
PlaceholderMap.contains(PlaceholderMap.Key placeholder,
String key)
Tells whether
key exists for placeholder . |
PlaceholderMap.Key |
PlaceholderMap.copyKey(PlaceholderMap.Key key)
Creates a copy of
key . |
Object |
PlaceholderMap.get(PlaceholderMap.Key placeholder,
String key)
Gets the data that is stored under
key . |
Object[] |
PlaceholderMap.getArray(PlaceholderMap.Key placeholder,
String key)
Gets the map that is stored under
key |
boolean |
PlaceholderMap.getBoolean(PlaceholderMap.Key placeholder,
String key)
Gets the boolean that is stored under
key |
double |
PlaceholderMap.getDouble(PlaceholderMap.Key placeholder,
String key)
Gets the double that is stored under
key |
int |
PlaceholderMap.getInt(PlaceholderMap.Key placeholder,
String key)
Gets the integer that is stored under
key |
String[] |
PlaceholderMap.getKeys(PlaceholderMap.Key placeholder)
Gets all keys that are in use for
placeholder in the order
they were first used to put an object into this map. |
long |
PlaceholderMap.getLong(PlaceholderMap.Key placeholder,
String key)
Gets the long that is stored under
key |
PlaceholderMap |
PlaceholderMap.getMap(PlaceholderMap.Key placeholder,
String key)
Gets the map that is stored under
key |
Path |
PlaceholderMap.getPath(PlaceholderMap.Key placeholder,
String key)
Gets the
Path that is stored under key |
String |
PlaceholderMap.getString(PlaceholderMap.Key placeholder,
String key)
Gets the string that is stored under
key |
void |
PlaceholderMap.put(PlaceholderMap.Key placeholder,
String key,
Object value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent.It is the clients responsibility not to introduce cycles of object references. |
void |
PlaceholderMap.putArray(PlaceholderMap.Key placeholder,
String key,
Object[] value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderMap.putBoolean(PlaceholderMap.Key placeholder,
String key,
boolean value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderMap.putDouble(PlaceholderMap.Key placeholder,
String key,
double value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderMap.putInt(PlaceholderMap.Key placeholder,
String key,
int value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderMap.putLong(PlaceholderMap.Key placeholder,
String key,
long value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderMap.putMap(PlaceholderMap.Key placeholder,
String key,
PlaceholderMap value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderMap.putPath(PlaceholderMap.Key placeholder,
String key,
Path value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderMap.putString(PlaceholderMap.Key placeholder,
String key,
String value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderMap.remove(PlaceholderMap.Key placeholder)
Removes
placeholder and all information that is associated with
placeholder from this map. |
Object |
PlaceholderMap.remove(PlaceholderMap.Key placeholder,
String key)
Removes the value that is stored at
key . |