Package | Description |
---|---|
bibliothek.gui.dock.station.split |
Elements which are needed by the
SplitDockStation ,
and which are needed to interact with the station. |
Modifier and Type | Method and Description |
---|---|
SplitDockTree.Key |
SplitDockTree.getBottom(SplitDockTree.Key key)
Gets the bottom element of the node
key . |
SplitDockTree.Key |
SplitDockTree.getLeft(SplitDockTree.Key key)
Gets the left element of the node
key . |
SplitDockTree.Key |
SplitDockTree.Key.getParent()
Gets the parent of this node or leaf.
|
SplitDockTree.Key |
SplitDockTree.getRight(SplitDockTree.Key key)
Gets the right element of the node
key . |
SplitDockTree.Key |
SplitDockTree.getRoot()
Gets the root of the tree.
|
SplitDockTree.Key |
SplitDockTree.getTop(SplitDockTree.Key key)
Gets the top element of the node
key . |
SplitDockTree.Key |
SplitDockTree.horizontal(D left,
D right)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(D left,
D right,
double divider)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
long nodeId)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTreeFactory.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible) |
SplitDockTree.Key |
SplitDockTreeFactory.leaf(Dockable dockable,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap) |
SplitDockTree.Key |
SplitDockTreeFactory.placeholder(long id,
Path[] placeholders,
PlaceholderMap placeholderMap) |
SplitDockTree.Key |
SplitDockTree.put(D... dockables)
Creates a key for the set
dockables . |
SplitDockTree.Key |
SplitDockTree.put(D[] dockables,
D selected)
Creates a key for the set
dockables . |
SplitDockTree.Key |
SplitDockTree.put(D[] dockables,
D selected,
long nodeId)
Creates a key for the set
dockables . |
SplitDockTree.Key |
SplitDockTree.put(D[] dockables,
D selected,
Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Creates a key for the set of
dockables or the set of
placeholders . |
SplitDockTree.Key |
SplitDockTree.put(D dockable,
long nodeId)
Creates a key for the leaf
dockable . |
SplitDockTree.Key |
SplitDockTree.put(Path[] placeholders,
PlaceholderMap placeholderMap)
Creates a key for a placeholder leaf.
|
SplitDockTree.Key |
SplitDockTree.put(Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Creates a key for a placeholder leaf.
|
SplitDockTree.Key |
AbstractSplitDockGrid.Node.put(SplitDockTree<D> tree)
Writes the contents of this node into
tree . |
SplitDockTree.Key |
SplitDockTree.root(D dockable)
Sets
dockable as root, and returns a key to the root. |
SplitDockTree.Key |
SplitDockTreeFactory.root(SplitDockTree.Key root,
long id) |
SplitDockTree.Key |
SplitDockTree.unroot()
Removes the root of this tree.
|
SplitDockTree.Key |
SplitDockTree.vertical(D top,
D bottom)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(D top,
D bottom,
double divider)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
long nodeId)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTreeFactory.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible) |
Modifier and Type | Method and Description |
---|---|
protected SplitNode |
SplitNode.create(SplitDockTree.Key key,
boolean checkValidity,
java.util.Map<Leaf,Dockable> linksToSet)
Creates a new node using the contents of
key . |
void |
Leaf.evolve(SplitDockTree.Key key,
boolean checkValidity,
java.util.Map<Leaf,Dockable> linksToSet) |
void |
Node.evolve(SplitDockTree.Key key,
boolean checkValidity,
java.util.Map<Leaf,Dockable> linksToSet) |
void |
Placeholder.evolve(SplitDockTree.Key key,
boolean checkValidity,
java.util.Map<Leaf,Dockable> linksToSet) |
void |
Root.evolve(SplitDockTree.Key key,
boolean checkValidity,
java.util.Map<Leaf,Dockable> linksToSet) |
abstract void |
SplitNode.evolve(SplitDockTree.Key key,
boolean checkValidity,
java.util.Map<Leaf,Dockable> linksToSet)
Creates or replaces children according to the values found in
key . |
SplitDockTree.Key |
SplitDockTree.getBottom(SplitDockTree.Key key)
Gets the bottom element of the node
key . |
double |
SplitDockTree.getDivider(SplitDockTree.Key key)
Gets the divider of the node
key . |
D[] |
SplitDockTree.getDockables(SplitDockTree.Key key)
Gets the elements that are represented by the leaf
key . |
SplitDockTree.Key |
SplitDockTree.getLeft(SplitDockTree.Key key)
Gets the left element of the node
key . |
PlaceholderMap |
SplitDockTree.getPlaceholderMap(SplitDockTree.Key key)
Gets the placeholder information of the child
DockStation of key . |
Path[] |
SplitDockTree.getPlaceholders(SplitDockTree.Key key)
Gets the placeholders which are associated with
key |
SplitDockTree.Key |
SplitDockTree.getRight(SplitDockTree.Key key)
Gets the right element of the node
key . |
D |
SplitDockTree.getSelected(SplitDockTree.Key key)
Gets the element that is selected in this leaf.
|
SplitDockTree.Key |
SplitDockTree.getTop(SplitDockTree.Key key)
Gets the top element of the node
key . |
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
long nodeId)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
long nodeId)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTree.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Adds two elements horizontally.
|
SplitDockTree.Key |
SplitDockTreeFactory.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible) |
SplitDockTree.Key |
SplitDockTreeFactory.horizontal(SplitDockTree.Key left,
SplitDockTree.Key right,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible) |
boolean |
SplitDockTree.isDockable(SplitDockTree.Key key)
Tells whether
key represents a leaf or not. |
boolean |
SplitDockTree.isHorizontal(SplitDockTree.Key key)
Tells whether the node
key represents a horizontal
or a vertical node. |
boolean |
SplitDockTree.isNode(SplitDockTree.Key key)
Tells whether
key represents a node or not. |
boolean |
SplitDockTree.isPlaceholder(SplitDockTree.Key key)
Tells whether
key contains placeholders |
SplitDockTree<D> |
SplitDockTree.root(SplitDockTree.Key key)
Sets
key as the root of the tree. |
SplitDockTree.Key |
SplitDockTreeFactory.root(SplitDockTree.Key root,
long id) |
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
long nodeId)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
long nodeId)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTree.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Adds two elements vertically.
|
SplitDockTree.Key |
SplitDockTreeFactory.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible) |
SplitDockTree.Key |
SplitDockTreeFactory.vertical(SplitDockTree.Key top,
SplitDockTree.Key bottom,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible) |