|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectbibliothek.gui.dock.station.support.PlaceholderListMapping
public abstract class PlaceholderListMapping
A generic PlaceholderMapping that operates by accessing a PlaceholderList.
| Constructor Summary | |
|---|---|
PlaceholderListMapping(DockStation station,
DockablePlaceholderList<?> placeholders)
Creates a new PlaceholderListMapping. |
|
| Method Summary | |
|---|---|
void |
addPlaceholder(Dockable dockable,
Path placeholder)
First searches the location of dockable, then adds placeholder to that
location. |
Dockable |
getDockableAt(Path placeholder)
Searches for the placeholder placeholder and gets the Dockable that is currently sitting
at the location described by placeholder. |
DockStation |
getStation()
Gets the DockStation which created this mapping in its DockStation.getPlaceholderMapping(). |
boolean |
hasPlaceholder(Path placeholder)
Tells whether the station has any reference to placeholder. |
void |
removePlaceholder(Path placeholder)
Removes all occurrences of placeholder from this station. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface bibliothek.gui.dock.station.PlaceholderMapping |
|---|
getLocationAt |
| Constructor Detail |
|---|
public PlaceholderListMapping(DockStation station,
DockablePlaceholderList<?> placeholders)
PlaceholderListMapping. This constructor should not be called by clients
directly, instead they should call DockStation.getPlaceholderMapping()
station - the station that created and owns this mappingplaceholders - the placeholders that are used by station| Method Detail |
|---|
public DockStation getStation()
PlaceholderMappingDockStation which created this mapping in its DockStation.getPlaceholderMapping().
getStation in interface PlaceholderMapping
public void addPlaceholder(Dockable dockable,
Path placeholder)
PlaceholderMappingdockable, then adds placeholder to that
location. If another dockable is dropped on this station, and that item is associated with placeholder,
then it will be put at the same position as dockable.
This method will remove placeholder from any other position on the station.
addPlaceholder in interface PlaceholderMappingdockable - a child of this station, must not be nullplaceholder - the placeholder to add, must not be nullpublic void removePlaceholder(Path placeholder)
PlaceholderMappingplaceholder from this station.
removePlaceholder in interface PlaceholderMappingplaceholder - the placeholder to remove, must not be nullpublic boolean hasPlaceholder(Path placeholder)
PlaceholderMappingstation has any reference to placeholder.
hasPlaceholder in interface PlaceholderMappingplaceholder - the placeholder to search
true if placeholder was foundpublic Dockable getDockableAt(Path placeholder)
PlaceholderMappingplaceholder and gets the Dockable that is currently sitting
at the location described by placeholder.
getDockableAt in interface PlaceholderMappingplaceholder - the placeholder to search
placeholder, or null either because placeholder
could not be found, or because placeholder describes a position that does currently not contain
a Dockable
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||