Package | Description |
---|---|
bibliothek.gui.dock |
The five basic classes implementing
Dockable and
DockStation plus some supporting elements. |
bibliothek.gui.dock.facile.station.split |
Support classes for
SplitDockStation . |
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 |
---|---|
SplitNode |
SplitDockStation.getNode(long id)
Searches the node whose
id equals id . |
Modifier and Type | Method and Description |
---|---|
protected Tuple<Integer,SplitNode> |
SplitDockStation.getLowestNode(SplitDockPathProperty property)
Searches the lowest node whose
identifier is equal to
an identifier from property . |
Modifier and Type | Method and Description |
---|---|
boolean |
SplitDockStation.Access.drop(Dockable dockable,
SplitDockProperty property,
SplitNode root) |
protected boolean |
SplitDockStation.dropAside(SplitNode neighbor,
PutInfo.Put put,
Dockable dockable,
Leaf leaf,
double divider,
DockHierarchyLock.Token token)
Adds
dockable at the side put of
neighbor . |
protected bibliothek.gui.dock.SplitDockStation.DropInfo |
SplitDockStation.getDropInfo(SplitDockProperty property,
Dockable dockable,
SplitNode root)
Searches for the best place for
dockable such that its boundaries met
property . |
void |
SplitDockStation.Access.repositioned(SplitNode node) |
Modifier and Type | Method and Description |
---|---|
protected ResizeElement<T> |
LockedResizeLayoutManager.asyncToElement(ResizeElement<T> parent,
SplitNode node)
Called by
LockedResizeLayoutManager.toElement(ResizeElement, SplitNode) , tries to create a ResizeElement out of
node in an environment where race conditions are possible. |
ResizeElement<T> |
LockedResizeLayoutManager.toElement(ResizeElement<T> parent,
SplitNode node)
Transforms a
SplitNode into the matching kind of ResizeElement . |
Modifier and Type | Class and Description |
---|---|
class |
Leaf
Represents a leaf in the tree that is the structure of a
SplitDockStation . |
class |
Node
A Node represents an element in the tree of a
SplitDockStation . |
class |
Placeholder
|
class |
Root
The root of the tree that represents the internal structure of a
SplitDockStation . |
class |
SpanSplitNode
|
class |
VisibleSplitNode
Represents a
SplitNode that is visible to the user. |
Modifier and Type | Method and Description |
---|---|
protected SplitNode |
SplitNode.create(SplitDockTree.Key key,
boolean checkValidity,
Map<Leaf,Dockable> linksToSet)
Creates a new node using the contents of
key . |
SplitNode |
Root.getChild()
Gets the child of this root.
|
SplitNode |
Leaf.getChild(int location) |
SplitNode |
Node.getChild(int location) |
SplitNode |
Placeholder.getChild(int location) |
SplitNode |
Root.getChild(int location) |
abstract SplitNode |
SplitNode.getChild(int location)
Gets the child at
location . |
SplitNode |
Node.getLeft()
Gets the left child of this node.
|
protected SplitNode |
SplitPlaceholderConverter.getLeftChild(SplitNode node) |
SplitNode |
PutInfo.getNode()
Gets the future neighbor or parent.
|
SplitNode |
SplitNode.getParent()
Gets the parent of this node.
|
SplitNode |
SplitNode.getPlaceholderNode(Path placeholder)
Searches and returns the first
SplitNode which contains placeholder . |
SplitNode |
Node.getRight()
Gets the right child of this node.
|
protected SplitNode |
SplitPlaceholderConverter.getRightChild(SplitNode node) |
protected SplitNode |
SplitPlaceholderConverter.getRoot(SplitDockStation station) |
protected SplitNode |
SplitPlaceholderConverter.getRootChild(SplitNode root) |
SplitNode |
Leaf.getVisible() |
SplitNode |
Node.getVisible() |
SplitNode |
Placeholder.getVisible() |
SplitNode |
Root.getVisible() |
abstract SplitNode |
SplitNode.getVisible()
Gets the root of a subtree such that the root is visible and such that the
is the uppermost visible node.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SplitDockAccess.drop(Dockable dockable,
SplitDockProperty property,
SplitNode root)
Tries to add
Dockable such that the boundaries given
by property are full filled. |
int |
Leaf.getChildLocation(SplitNode child) |
int |
Node.getChildLocation(SplitNode child) |
int |
Placeholder.getChildLocation(SplitNode child) |
int |
Root.getChildLocation(SplitNode child) |
abstract int |
SplitNode.getChildLocation(SplitNode child)
Gets the location of a child.
|
protected double |
SplitPlaceholderConverter.getDivider(SplitNode node) |
protected Dockable |
SplitPlaceholderConverter.getDockable(SplitNode leaf) |
protected long |
SplitPlaceholderConverter.getId(SplitNode node) |
protected SplitNode |
SplitPlaceholderConverter.getLeftChild(SplitNode node) |
protected SplitDockStation.Orientation |
SplitPlaceholderConverter.getOrientation(SplitNode node) |
protected PlaceholderMap |
SplitPlaceholderConverter.getPlaceholderMap(SplitNode node) |
protected Path[] |
SplitPlaceholderConverter.getPlaceholders(SplitNode node) |
protected SplitNode |
SplitPlaceholderConverter.getRightChild(SplitNode node) |
protected SplitNode |
SplitPlaceholderConverter.getRootChild(SplitNode root) |
protected void |
SplitNodeAdapter.handle(SplitNode node) |
protected boolean |
SplitPlaceholderConverter.isLeaf(SplitNode node) |
protected boolean |
SplitPlaceholderConverter.isNode(SplitNode node) |
protected boolean |
SplitPlaceholderConverter.isPlaceholder(SplitNode node) |
protected boolean |
SplitPlaceholderConverter.isRoot(SplitNode node) |
void |
SplitNode.movePlaceholderMap(SplitNode destination)
Moves the current
PlaceholderMap to destination , overriding
its old value. |
void |
SplitPlaceholderSet.removeDoublePlaceholders(SplitNode node,
PlaceholderMap map)
Removes any placeholder from
placeholderMap that is stored in another node
than node . |
void |
SplitNode.replace(SplitNode node)
Replaces this node with
node . |
void |
SplitDockAccess.repositioned(SplitNode node)
Invoked whenever a node changes its shape.
|
void |
SplitPlaceholderSet.set(SplitNode node,
Dockable dockable,
SplitNode... protectedNodes)
Ensures that
node is associated with the placeholder for dockable . |
void |
SplitPlaceholderSet.set(SplitNode node,
Dockable dockable,
SplitNode... protectedNodes)
Ensures that
node is associated with the placeholder for dockable . |
void |
SplitPlaceholderSet.set(SplitNode node,
Path placeholder,
SplitNode... protectedNodes)
Ensures that
node is associated with placeholder
but no other node has placeholder . |
void |
SplitPlaceholderSet.set(SplitNode node,
Path placeholder,
SplitNode... protectedNodes)
Ensures that
node is associated with placeholder
but no other node has placeholder . |
void |
Root.setChild(SplitNode child)
Sets the child of this root.
|
void |
Leaf.setChild(SplitNode child,
int location) |
void |
Node.setChild(SplitNode child,
int location) |
void |
Placeholder.setChild(SplitNode child,
int location) |
void |
Root.setChild(SplitNode child,
int location) |
abstract void |
SplitNode.setChild(SplitNode child,
int location)
Adds a child to this node at a given location.
|
void |
Node.setLeft(SplitNode left)
Sets the left child of this node.
|
void |
PutInfo.setNode(SplitNode node)
Sets the node which might become neighbor or parent of the new child.
|
void |
SplitNode.setParent(SplitNode parent)
Sets the parent of this node.
|
void |
Node.setRight(SplitNode right)
Sets the right child of this node.
|
protected void |
SplitNode.split(SplitDockPathProperty property,
int depth,
SplitNode newChild)
Splits this node into two nodes, a new parent
Node is created and inserted. |
protected void |
SplitNode.split(SplitDockPathProperty property,
int depth,
SplitNode newChild,
long newNodeId)
Splits this node into two nodes, a new parent
Node is created and inserted. |
SplitDockProperty |
SplitDockPathProperty.toLocation(SplitNode onPath)
Calculates which bounds the element accessed through this path would have.
|
DockableProperty |
SplitDockPlaceholderProperty.toLocation(SplitNode target)
Gets some
DockableProperty that works as backup property
if the referenced placeholder is not found. |
SplitDockProperty |
SplitDockPlaceholderProperty.toSplitLocation(SplitNode target)
Gets a
SplitDockProperty that works as backup property
if the referenced placeholder is not found. |
Constructor and Description |
---|
Node(SplitDockAccess access,
SplitNode left,
SplitNode right)
Constructs a new node.
|
Node(SplitDockAccess access,
SplitNode left,
SplitNode right,
long id)
Constructs a new node.
|
Node(SplitDockAccess access,
SplitNode left,
SplitNode right,
SplitDockStation.Orientation orientation)
Constructs a new node.
|
Node(SplitDockAccess access,
SplitNode left,
SplitNode right,
SplitDockStation.Orientation orientation,
long id)
Constructs a new node.
|
PutInfo(SplitNode node,
PutInfo.Put put,
Dockable dockable,
boolean combining)
Creates a new PutInfo.
|