|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectbibliothek.gui.dock.station.split.SplitDockPlaceholderMapping
public class SplitDockPlaceholderMapping
A PlaceholderMapping representing the placeholders on a SplitDockStation.
| Constructor Summary | |
|---|---|
SplitDockPlaceholderMapping(SplitDockStation station)
Creates a new mapping for station. |
|
| 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. |
DockableProperty |
getLocationAt(Path placeholder)
Gets a DockableProperty that describes the location of placeholder. |
SplitDockStation |
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 |
| Constructor Detail |
|---|
public SplitDockPlaceholderMapping(SplitDockStation station)
station. Clients should not call this method, instead they
should call SplitDockStation.getPlaceholderMapping().
station - the source of the mapping| Method Detail |
|---|
public SplitDockStation 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 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 Dockablepublic DockableProperty getLocationAt(Path placeholder)
PlaceholderMappingDockableProperty that describes the location of placeholder. The result of this
method is undefined if placeholder is not found.
getLocationAt in interface PlaceholderMappingplaceholder - the placeholder whose location is searched
null if placeholder is not foundpublic boolean hasPlaceholder(Path placeholder)
PlaceholderMappingstation has any reference to placeholder.
hasPlaceholder in interface PlaceholderMappingplaceholder - the placeholder to search
true if placeholder was found
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||