|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.javadocking.dock.docker.BorderDocker
public class BorderDocker
This docker tries to dock the Dockable
in the borders of an BorderDock
.
If the dockables that are docked by this docker are moved to other docks,
it tries to add the dockables to those other docks.
Constructor Summary | |
---|---|
BorderDocker()
|
Method Summary | |
---|---|
boolean |
dock(Dockable dockable)
Adds the dockable to the border dock. |
BorderDock |
getBorderDock()
Gets the dock in which the dockables with the minimized headers are docked. |
int[] |
getChildPositions()
Gets the positions where the child docks with dockables will be first put. |
void |
loadProperties(java.lang.String prefix,
java.util.Properties properties,
java.util.Map dockablesMap)
Loads the properties for this docker. |
void |
saveProperties(java.lang.String prefix,
java.util.Properties properties)
Saves the properties of this docker in the given properties object. |
void |
setBorderDock(BorderDock dock)
Sets the dock in which the dockables are docked. |
void |
setChildPositions(int[] childPositions)
Sets the positions where the child docks with dockables will be first put. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BorderDocker()
Method Detail |
---|
public boolean dock(Dockable dockable)
dock
in interface Docker
dockable
- The dockable that has to be docked.
java.lang.NullPointerException
- If the border dock is null.public void saveProperties(java.lang.String prefix, java.util.Properties properties)
Docker
Saves the properties of this docker in the given properties object.
The property names for this docker should start with the given prefix.
saveProperties
in interface Docker
prefix
- The prefix for the property names.properties
- The properties object to which the properties should be added.public void loadProperties(java.lang.String prefix, java.util.Properties properties, java.util.Map dockablesMap) throws java.io.IOException
Docker
Loads the properties for this docker. The properties can be found in the given properties object. The property names for this docker start with the given prefix.
This method should be called after the empty constructor to create the content of the docker. Don't call this method for a visualizer that already has a content.
loadProperties
in interface Docker
prefix
- The prefix of the names of the properties that have been intended for this docker.properties
- The properties object that contains the properties for this docker. It can contain also
properties for other objects, but they will have another prefix.dockablesMap
- A mapping that contains the available dockables.
Dockable
).java.io.IOException
- If an error occures while decoding the properties.public int[] getChildPositions()
public void setChildPositions(int[] childPositions)
childPositions
- The positions where the child docks with dockables will be first put.public BorderDock getBorderDock()
public void setBorderDock(BorderDock dock)
dock
- The dock in which the dockables are docked.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |