Package | Description |
---|---|
bibliothek.extension.gui.dock |
Extensions to the
Core framework, including the BubbleTheme ,
EclipseTheme and the preference mechanism. |
bibliothek.extension.gui.dock.preference |
Generic collection of preferences used in this framework.
|
bibliothek.extension.gui.dock.preference.editor |
A set of
PreferenceEditor s
for types that are often used. |
bibliothek.extension.gui.dock.preference.model |
A set of
PreferenceModel s
that show properties of this framework. |
bibliothek.extension.gui.dock.preference.preferences |
Implementations of various
Preference s which
are used in the default set of preferences. |
bibliothek.extension.gui.dock.preference.preferences.choice |
A set of small classes containing choices the user can make.
|
bibliothek.extension.gui.dock.theme |
Contains some
DockTheme s. |
bibliothek.extension.gui.dock.theme.bubble |
Various graphical and logical components used when
BubbleTheme is
active. |
bibliothek.gui |
The high level interfaces of the framework and the most often used classes.
|
bibliothek.gui.dock |
The five basic classes implementing
Dockable and
DockStation plus some supporting elements. |
bibliothek.gui.dock.action |
The components dealing with the logic of
DockAction s. |
bibliothek.gui.dock.control.relocator |
Various implementations of
RelocateOperation . |
bibliothek.gui.dock.displayer |
Classes and interfaces that are needed by the
DockableDisplayer . |
bibliothek.gui.dock.dockable |
Some classes related to
Dockable . |
bibliothek.gui.dock.frontend |
Classes and interfaces needed by the
DockFrontend |
bibliothek.gui.dock.layout |
Elements dealing with the location of
Dockable s
on their DockStation and allowing to store the
whole layout of a set of Dockable s and stations. |
bibliothek.gui.dock.layout.location | |
bibliothek.gui.dock.perspective |
The perspective API allows clients to access and modify the layout without
actually creating any
Dockable s. |
bibliothek.gui.dock.station |
Elements needed by various implementations of the
DockStation interface. |
bibliothek.gui.dock.station.flap |
Elements that are related to the
FlapDockStation . |
bibliothek.gui.dock.station.screen |
Elements that are related to the
ScreenDockStation . |
bibliothek.gui.dock.station.screen.window |
Contains the window (
JDialog , JInternalDialog , etc..)
that shows the children of a ScreenDockStation and the classes required
to configure that window. |
bibliothek.gui.dock.station.split |
Elements which are needed by the
SplitDockStation ,
and which are needed to interact with the station. |
bibliothek.gui.dock.station.stack |
Elements which are related to the
StackDockStation . |
bibliothek.gui.dock.station.stack.tab |
This package contains a generic implementation of a "tabbed-pane".
|
bibliothek.gui.dock.station.support |
Elements used by various
DockStation s to store
properties and to propagate events to other objects. |
bibliothek.gui.dock.themes |
Contains an implementation of
DockTheme and
all classes which are neede by this theme. |
bibliothek.gui.dock.themes.border |
Contains classes required to modify the
Border of
various JComponent s. |
bibliothek.gui.dock.themes.color |
The color subsystem allows each kind of element to get its colors
from a central repository.
|
bibliothek.gui.dock.themes.font |
Implementations of
DockFont to be used
at different places (as described in the documentation for each item). |
bibliothek.gui.dock.title |
Elements needed to paint the title of a
Dockable . |
bibliothek.gui.dock.util |
Distribution of information in a global scale and methods available from
everywhere.
|
bibliothek.gui.dock.util.color |
The color subsystem, used by most of the components to search for the colors
they need to paint.
|
bibliothek.gui.dock.util.extension |
Contains classes to create and manage extensions.
|
bibliothek.gui.dock.util.font |
The font-subsystem is used to define the fonts that are used to paint
text.
|
bibliothek.gui.dock.util.icon |
Classes used by the
IconManager to set up the
default icons and allowing clients to configure the IconManager . |
bibliothek.gui.dock.util.text |
Classes used by the
TextManager to set up
the default texts based on the language in which the JRE is executed, and
classes allowing clients to modify these texts. |
bibliothek.util |
Some classes which are used in DockingFrames, but do not have any
importance.
|
Modifier and Type | Method and Description |
---|---|
protected <V> PreferenceEditor<V> |
PreferenceTable.createEditor(Path type)
Creates a new editor for
type . |
<V> PreferenceEditorFactory<V> |
PreferenceTable.getEditorFactory(Path type)
Gets the factory which is responsible to create editors for
type -objects. |
void |
PreferenceTable.setEditorFactory(Path type,
PreferenceEditorFactory<?> factory)
Sets the factory that should be used to create an editor for some
type of object.
|
void |
PreferenceTreePanel.setEditorFactory(Path type,
PreferenceEditorFactory<?> factory)
Sets an editor for some type.
|
Modifier and Type | Field and Description |
---|---|
static Path |
PreferenceOperationText.KIND_OPERATION
what kind of
UIValue this is |
static Path |
PreferenceText.KIND_PREFERENCE
the kind of
UIValue this is |
static Path |
PreferenceModelText.KIND_PREFERENCE_MODEL
what kind of
UIValue this is |
static Path |
PreferenceOperationIcon.KIND_PREFERENCE_OPERATION
The kind of
UIValue this is |
Modifier and Type | Method and Description |
---|---|
Path |
DefaultPreference.getPath() |
Path |
Preference.getPath()
Gets the unique path of this resource.
|
Path |
PreferenceTreeModel.Node.getPath()
Gets the path of this node.
|
Path |
DefaultPreferenceModel.getPath(int index) |
Path |
MergedPreferenceModel.getPath(int index) |
Path |
PreferenceModel.getPath(int index)
Gets the unique identifier of the
index 'th preference of
this model. |
Path |
PreferenceTreeModel.getPath(int index) |
Path |
DefaultPreference.getTypePath() |
Path |
Preference.getTypePath()
Gets the type of the value that this preferences uses.
|
Path |
DefaultPreferenceModel.getTypePath(int index) |
Path |
MergedPreferenceModel.getTypePath(int index) |
Path |
PreferenceModel.getTypePath(int index)
Tells what kind of type the
index 'th value is. |
Path |
PreferenceTreeModel.getTypePath(int index) |
Modifier and Type | Method and Description |
---|---|
void |
MergedPreferenceModel.add(PreferenceModel model,
Path path)
Adds
model at the end of this model. |
void |
PreferenceStorage.addFactory(Path type,
PreferenceFactory<?> factory)
Adds a new factory to this storage, the factory will be responsible to
write or read some kind of preferences.
|
void |
PreferenceTreeModel.delete(Path path)
Deletes the node at
path and all its children from the
tree. |
PreferenceModel |
MergedPreferenceModel.getModel(Path path)
Gets the model which was stored using the key
path . |
PreferenceModel |
PreferenceTreeModel.getModel(Path path)
Gets the model which was stored using
path as key. |
int |
MergedPreferenceModel.indexOf(Path path)
Gets the index of
path . |
void |
MergedPreferenceModel.insert(int index,
PreferenceModel model,
Path path)
Inserts a new submodel into this model.
|
void |
PreferenceTreeModel.put(Path path,
String name,
PreferenceModel model)
Sets name and model of a given node.
|
void |
PreferenceTreeModel.putLinked(Path path,
String nameId)
Sets the name of the node at
path . |
void |
PreferenceTreeModel.putLinked(Path path,
String nameId,
PreferenceModel model)
Sets name and model of a given node.
|
void |
PreferenceTreeModel.putModel(Path path,
PreferenceModel model)
Sets the model of the node at
path . |
void |
PreferenceTreeModel.putNode(Path path,
String name)
Sets the name of the node at
path . |
void |
MergedPreferenceModel.remove(Path path)
Removes the model with the path
path . |
void |
PreferenceDialog.setEditorFactory(Path type,
PreferenceEditorFactory<?> factory)
Sets an editor for some type of values.
|
void |
PreferenceTreeDialog.setEditorFactory(Path type,
PreferenceEditorFactory<?> factory)
Sets an editor for some type of values.
|
Constructor and Description |
---|
DefaultPreference(Path type,
Path path)
Creates a new preference.
|
DefaultPreference(String label,
Path type,
Path path)
Creates a new preference.
|
Modifier and Type | Field and Description |
---|---|
static Path |
EditorText.KIND_EDITOR
what kind of
UIValue this is |
Modifier and Type | Method and Description |
---|---|
Path |
ButtonContentPreferenceModel.getPath(int index) |
Path |
ButtonContentPreferenceModel.getTypePath(int index) |
Constructor and Description |
---|
ButtonContentPreference(DockProperties properties,
Path path)
Deprecated.
Creates a new preference.
|
ChoiceDockPropertyPreference(DockProperties properties,
PropertyKey<V> key,
Path path,
DefaultChoice<V> choice)
Creates a new preference.
|
DockPropertyPreference(DockProperties properties,
PropertyKey<V> key,
Path type,
Path path)
Creates a new preference.
|
DockPropertyPreference(DockProperties properties,
PropertyKey<V> key,
String label,
Path type,
Path path)
Creates a new preference.
|
DockPropertyPreference(String prefix,
DockProperties properties,
PropertyKey<V> key,
V defaultValue,
Path type,
Path path)
Creates a new preference.
|
Modifier and Type | Field and Description |
---|---|
static Path |
ChoiceExtension.CHOICE_EXTENSION
The name of this extension
|
static Path |
ChoiceText.KIND_CHOICE
the kind of this
UIValue |
static Path |
ChoiceEntryText.KIND_CHOICE_ENTRY
What kind of
UIValue this is |
Constructor and Description |
---|
ChoiceText(String id,
Choice choice,
Path kind)
Creates a new
ChoiceText . |
TabContentFilterPreference(DockProperties properties,
Path path)
Creates a new choice.
|
TabPlacementPreference(DockProperties properties,
Path path)
Creates a new choice.
|
Modifier and Type | Method and Description |
---|---|
ColorBridge |
IdentifiedColorScheme.getBridge(Path name,
UIProperties<Color,DockColor,ColorBridge> properties) |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractBubbleDockTitle.addColor(String id,
Path kind,
Color backup)
Registers a
TitleColor width identifier id at this
title. |
Modifier and Type | Field and Description |
---|---|
static Path |
DockFrontend.FRONTEND_EXTENSION
Name of an
DockFrontendExtension for the DockFrontend |
Modifier and Type | Field and Description |
---|---|
static Path |
ScreenDockStation.ATTRACTOR_STRATEGY_EXTENSION
Path of an
ExtensionName for creating additional AttractorStrategy |
static Path |
ScreenDockStation.STATION_EXTENSION
Path of an
ExtensionName for creating ScreenDockStationExtension s |
Modifier and Type | Method and Description |
---|---|
protected void |
StackDockStation.add(Dockable dockable,
int index,
Path placeholder)
Adds a child to this station at the location
index . |
protected void |
ScreenDockStation.addDockable(Dockable dockable,
Rectangle bounds,
Path placeholder,
boolean boundsIncludeWindow)
Adds a
Dockable on a newly created ScreenDockWindow to
the station. |
SplitDockPathProperty |
SplitDockStation.getDockablePathProperty(Path placeholder)
Creates a
DockableProperty pointing to the leaf containing placeholder . |
protected ScreenDockWindowHandle |
ScreenDockStation.register(Dockable dockable,
Path placeholder,
ScreenDockWindow window,
WindowConfiguration configuration)
Invoked after a new
ScreenDockWindow has been created. |
void |
SplitDockStation.removePlaceholder(Path placeholder)
Searches the entire tree for any occurence of
placeholder and
removes placeholder . |
Modifier and Type | Method and Description |
---|---|
void |
SplitDockStation.removePlaceholders(Set<Path> placeholders)
Searches the entire tree for all occurences of all placeholders in
placeholders . |
Modifier and Type | Field and Description |
---|---|
static Path |
ActionDockBorder.KIND
the kind of
UIValue this is |
static Path |
DockActionBackgroundComponent.KIND
the kind of
UIValue this is |
static Path |
DockActionIcon.KIND_DOCK_ACTION
the kind of value this
UIValue is |
static Path |
DockActionText.KIND_DOCK_ACTION
the kind of value this
UIValue is |
Constructor and Description |
---|
DockActionIcon(String id,
DockAction action,
Path kind)
Creates a new
DockActionIcon . |
DockActionText(String id,
DockAction action,
Path kind)
Creates a new
DockActionText . |
Modifier and Type | Field and Description |
---|---|
static Path |
DefaultDockRelocator.INSERTER_EXTENSION
Path of an
ExtensionName that adds new Inserter s |
static Path |
DefaultDockRelocator.MERGE_EXTENSION
Path of an
ExtensionName that adds new Merger s |
Modifier and Type | Field and Description |
---|---|
static Path |
DisplayerBackgroundComponent.KIND
the kind of
UIValue this is |
static Path |
DisplayerDockBorder.KIND
The type of this
UIValue |
Modifier and Type | Field and Description |
---|---|
static Path |
DefaultDockableMovingImageFactory.FACTORY_EXTENSION
The name of the
ExtensionName that loads additional DockableMovingImageFactory s as extension. |
static Path |
DockableBackgroundComponent.KIND
the kind of this
UIValue |
static Path |
DockableIcon.KIND_DOCKABLE
what kind of
UIValue this is |
Modifier and Type | Method and Description |
---|---|
Path |
DefaultDockablePerspective.getPlaceholder() |
Modifier and Type | Field and Description |
---|---|
static Path |
DefaultFrontendPerspectiveCache.CACHE_EXTENSION
Unique identifier to load extensions of type
FrontendPerspectiveCacheExtension |
Modifier and Type | Field and Description |
---|---|
static Path |
DockSituation.ADJACENT_DOCK_FACTORY_EXTENSION
Name for an
ExtensionName to load additional AdjacentDockFactory s |
static Path |
DockSituation.DOCK_FACTORY_EXTENSION
Name for an
ExtensionName to load additional DockFactory s |
static Path |
PropertyTransformer.FACTORY_EXTENSION
Name of the
ExtensionName that allows to load additional DockablePropertyFactory s |
Modifier and Type | Method and Description |
---|---|
Path |
DockLayoutInfo.getPlaceholder()
Gets the representation of this element as placeholder.
|
protected Path |
DockSituation.getPlaceholder(DockElement element)
Gets a placeholder for
element using the current PlaceholderStrategy . |
Modifier and Type | Method and Description |
---|---|
void |
DockLayoutInfo.setPlaceholder(Path placeholder)
Sets a placeholder which represents this element.
|
Modifier and Type | Method and Description |
---|---|
Path |
AsideRequest.getPlaceholder()
The placeholder that should be used for the new location.
|
Path |
DefaultAsideRequest.getPlaceholder() |
Constructor and Description |
---|
DefaultAsideRequest(DockableProperty location,
Path placeholder)
Creates a new
AsideRequest |
Modifier and Type | Method and Description |
---|---|
Path |
PerspectiveDockable.getPlaceholder()
Gets the placeholder which is associated with this
Dockable . |
Modifier and Type | Field and Description |
---|---|
static Path |
DisplayerFactory.DISPLAYER_EXTENSION
unique identifier of an
ExtensionName which allows extensions to insert high priority DisplayerFactory s |
static Path |
StationBackgroundComponent.KIND
The kind of
UIValue this is |
static Path |
DockStationIcon.KIND_DOCK_STATION |
Modifier and Type | Method and Description |
---|---|
void |
PlaceholderMapping.addPlaceholder(Dockable dockable,
Path placeholder)
First searches the location of
dockable , then adds placeholder to that
location. |
Dockable |
PlaceholderMapping.getDockableAt(Path placeholder)
Searches for the placeholder
placeholder and gets the Dockable that is currently sitting
at the location described by placeholder . |
DockableProperty |
PlaceholderMapping.getLocationAt(Path placeholder)
Gets a
DockableProperty that describes the location of placeholder . |
boolean |
PlaceholderMapping.hasPlaceholder(Path placeholder)
Tells whether the
station has any reference to placeholder . |
void |
PlaceholderMapping.removePlaceholder(Path placeholder)
Removes all occurrences of
placeholder from this station. |
Modifier and Type | Field and Description |
---|---|
static Path |
FlapWindowBackgroundComponent.KIND
The kind of
UIValue this is |
static Path |
FlapWindowBorder.KIND
the type of this
UIValue |
Modifier and Type | Method and Description |
---|---|
Path |
FlapDockPerspective.getPlaceholder() |
Path |
FlapDockProperty.getPlaceholder()
Gets the name of this location.
|
Modifier and Type | Method and Description |
---|---|
void |
FlapDockPerspective.addPlaceholder(Path placeholder)
Adds
placeholder at the end of the list of items. |
void |
FlapDockPerspective.insertPlaceholder(int index,
Path placeholder)
Adds
placeholder at location index in the list of items. |
void |
FlapDockProperty.setPlaceholder(Path placeholder)
Sets the name of this location.
|
Constructor and Description |
---|
FlapDockProperty(int index,
boolean holding,
int size,
Path placeholder)
Constructs a FlapDockProperty
|
Modifier and Type | Method and Description |
---|---|
Path |
ScreenDockProperty.getPlaceholder()
Gets the name of this location.
|
Modifier and Type | Method and Description |
---|---|
void |
ScreenDockPerspective.addPlaceholder(Path placeholder,
int x,
int y,
int width,
int height)
Adds
placeholder to this station. |
void |
ScreenDockPerspective.addPlaceholder(Path placeholder,
Rectangle bounds)
Adds
placeholder to this station. |
void |
ScreenDockProperty.setPlaceholder(Path placeholder)
Sets the name of this location.
|
Constructor and Description |
---|
ScreenDockProperty(int x,
int y,
int width,
int height,
Path placeholder)
Constructs a new property
|
ScreenDockProperty(int x,
int y,
int width,
int height,
Path placeholder,
boolean fullscreen)
Constructs a new property
|
Modifier and Type | Field and Description |
---|---|
static Path |
DefaultScreenDockWindowConfiguration.CONFIGURATION_EXTENSION
name of an
ExtensionName for adding additional ScreenDockWindowConfiguration s |
static Path |
ScreenDockWindowBackgroundComponent.KIND
The type of this
UIValue |
static Path |
ScreenDockWindowDockBorder.KIND
the type of this
UIValue |
static Path |
ScreenDockWindowColor.KIND_SCREEN_WINDOW_COLOR
the type of this
UIValue |
Modifier and Type | Field and Description |
---|---|
Path[] |
AbstractSplitDockGrid.Node.placeholders
all the placeholders associated with this location
|
Modifier and Type | Method and Description |
---|---|
Path |
SplitDockPerspective.getPlaceholder() |
Path |
SplitDockPlaceholderProperty.getPlaceholder()
Gets the placeholder this property references to.
|
protected abstract Path |
AbstractSplitPlaceholderConverter.getPlaceholderFor(D dockable)
Gets a placeholder that is to be used for
dockable . |
protected Path |
SplitPlaceholderConverter.getPlaceholderFor(Dockable dockable) |
protected Path |
SplitPerspectivePlaceholderConverter.getPlaceholderFor(PerspectiveDockable dockable) |
Path[] |
SplitDockStationLayout.Entry.getPlaceholders()
Gets all the placeholders that are associated with this entry.
|
Path[] |
SplitNode.getPlaceholders()
Gets all the keys that are stored in this placeholder
|
protected abstract Path[] |
AbstractSplitPlaceholderConverter.getPlaceholders(N node)
Gets all placeholders that are associated with
node . |
protected Path[] |
SplitPerspectivePlaceholderConverter.getPlaceholders(SplitDockPerspective.Entry node) |
Path[] |
SplitDockTree.getPlaceholders(SplitDockTree.Key key)
Gets the placeholders which are associated with
key |
protected Path[] |
SplitPlaceholderConverter.getPlaceholders(SplitNode node) |
Modifier and Type | Method and Description |
---|---|
List<Path> |
AbstractSplitDockGrid.Node.getPlaceholders() |
List<Path> |
GridNode.getPlaceholders()
Gets all the placeholders associated with this node.
|
Set<Path> |
SplitDockPerspective.Entry.getPlaceholders()
Gets all the placeholders that are associated with this entry.
|
Modifier and Type | Method and Description |
---|---|
void |
SplitDockPlaceholderMapping.addPlaceholder(Dockable dockable,
Path placeholder) |
void |
SplitNode.addPlaceholder(Path placeholder)
Stores an additional placeholder in this node.
|
void |
SplitDockPerspective.addPlaceholder(SplitDockPerspective.Entry destination,
Path placeholder)
Adds a placeholder to
destination and makes sure at the same time that
placeholder is not used by any other node. |
void |
AbstractSplitDockGrid.addPlaceholders(double x,
double y,
double width,
double height,
Path... placeholders)
Adds
placeholders to the grid. |
Dockable |
SplitDockPlaceholderMapping.getDockableAt(Path placeholder) |
DockableProperty |
SplitDockPlaceholderMapping.getLocationAt(Path placeholder) |
SplitNode |
SplitNode.getPlaceholderNode(Path placeholder)
Searches and returns the first
SplitNode which contains placeholder . |
boolean |
SplitDockPlaceholderMapping.hasPlaceholder(Path placeholder) |
boolean |
SplitNode.hasPlaceholder(Path placeholder)
Tells whether this node contains
placeholder . |
N |
SplitTreeFactory.horizontal(N left,
N right,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible)
Informs about a node that is divided vertically.
|
SplitDockPathProperty |
SplitTreePathFactory.horizontal(SplitDockPathProperty left,
SplitDockPathProperty right,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible) |
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) |
N |
SplitTreeFactory.leaf(Dockable dockable,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap)
Informs about a leaf of the tree.
|
SplitDockPathProperty |
SplitTreePathFactory.leaf(Dockable check,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap) |
SplitDockTree.Key |
SplitDockTreeFactory.placeholder(long id,
Path[] placeholders,
PlaceholderMap placeholderMap) |
N |
SplitTreeFactory.placeholder(long id,
Path[] placeholders,
PlaceholderMap placeholderMap)
Informs about a set of placeholder in the tree.
|
SplitDockPathProperty |
SplitTreePathFactory.placeholder(long id,
Path[] placeholders,
PlaceholderMap placeholderMap) |
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(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.
|
void |
SplitDockPlaceholderMapping.removePlaceholder(Path placeholder) |
boolean |
SplitNode.removePlaceholder(Path placeholder)
Removes a placeholder from this node.
|
void |
SplitPlaceholderSet.set(SplitNode node,
Path placeholder,
SplitNode... protectedNodes)
Ensures that
node is associated with placeholder
but no other node has placeholder . |
void |
SplitNode.setPlaceholders(Path[] placeholders)
Sets all the placeholders of this node
|
N |
SplitTreeFactory.vertical(N top,
N bottom,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible)
Informs about a node that is divided vertically.
|
SplitDockPathProperty |
SplitTreePathFactory.vertical(SplitDockPathProperty top,
SplitDockPathProperty bottom,
double divider,
long id,
Path[] placeholders,
PlaceholderMap placeholderMap,
boolean visible) |
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 |
---|---|
void |
SplitNode.removePlaceholders(Set<Path> placeholders)
Removes all placeholders in
placeholders from this node |
Constructor and Description |
---|
SplitDockPlaceholderProperty(Path placeholder)
Creates a new property.
|
SplitDockPlaceholderProperty(Path placeholder,
SplitDockPathProperty backup)
Creates a new property.
|
SplitDockPlaceholderProperty(Path placeholder,
SplitDockProperty backup)
Creates a new property.
|
SplitDockStationLayout.Entry(Path[] placeholders,
PlaceholderMap placeholderMap,
long id)
Create a new entry
|
SplitDockStationLayout.Leaf(int id,
Path[] placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Creates a new leaf
|
SplitDockStationLayout.Node(SplitDockStation.Orientation orientation,
double divider,
SplitDockStationLayout.Entry childA,
SplitDockStationLayout.Entry childB,
Path[] placeholders,
PlaceholderMap placeholderMap,
long id)
Creates a new node.
|
SplitDockTree.Key(Path[] placeholders,
PlaceholderMap placeholderMap,
long id)
Creates a new key
|
Constructor and Description |
---|
SplitDockPerspective.Entry(Set<Path> placeholders,
PlaceholderMap placeholderMap,
long id)
Create a new entry
|
SplitDockPerspective.Leaf(PerspectiveDockable dockable,
Set<Path> placeholders,
PlaceholderMap placeholderMap,
long nodeId)
Creates a new leaf
|
SplitDockPerspective.Node(SplitDockStation.Orientation orientation,
double divider,
SplitDockPerspective.Entry childA,
SplitDockPerspective.Entry childB,
Set<Path> placeholders,
PlaceholderMap placeholderMap,
long id)
Creates a new node.
|
Modifier and Type | Field and Description |
---|---|
static Path |
StackDockComponentBorder.KIND
The kind of
UIValue this is |
static Path |
StackDockComponentContentBorder.KIND
The type of this
UIValue |
Modifier and Type | Method and Description |
---|---|
Path |
StackDockPerspective.getPlaceholder() |
Path |
StackDockProperty.getPlaceholder()
Gets the placeholder naming this location.
|
Modifier and Type | Method and Description |
---|---|
void |
StackDockPerspective.addPlaceholder(Path placeholder)
Adds
placeholder at the end of the list of dockables. |
int |
StackDockPerspective.indexOf(Path placeholder)
Gets the location where
placeholder would be found if it were a
dockable . |
void |
StackDockPerspective.insertPlaceholder(int index,
Path placeholder,
PlaceholderList.Level level)
Adds
placeholder at location index . |
void |
StackDockProperty.setPlaceholder(Path placeholder)
Sets the placeholder name this location.
|
Constructor and Description |
---|
StackDockProperty(int index,
Path placeholder)
Constructs a property.
|
Modifier and Type | Field and Description |
---|---|
static Path |
TabPaneBackgroundComponent.KIND
the type of
UIValue this is |
static Path |
TabPaneChildBackgroundComponent.KIND
the type of this
UIValue |
static Path |
TabPaneMenuBackgroundComponent.KIND
the type of this
UIValue |
static Path |
TabPaneTabBackgroundComponent.KIND
the type of this
UIValue |
static Path |
TabMenuDockIcon.KIND_TAB_MENU
the kind of this
UIValue |
Modifier and Type | Field and Description |
---|---|
static Path |
PlaceholderList.PLACEHOLDER_MAP_FORMAT
The
format of the PlaceholderMap s that are created by this class. |
Modifier and Type | Method and Description |
---|---|
Path |
PlaceholderMap.getFormat()
Gets the format of this map, the meaning of the format depends on the client.
|
Path |
PlaceholderMap.getPath(PlaceholderMap.Key placeholder,
String key)
Gets the
Path that is stored under key |
Path |
ConvertedPlaceholderListItem.getPlaceholder()
Gets the placeholder that is associated with this item.
|
protected abstract Path |
PlaceholderList.getPlaceholder(D dockable)
Gets the placeholder which matches
dockable . |
protected Path |
DockablePlaceholderList.getPlaceholder(Dockable dockable) |
protected Path |
PerspectivePlaceholderList.getPlaceholder(PerspectiveDockable dockable) |
Path |
PlaceholderStrategy.getPlaceholderFor(Dockable dockable)
Gets the placeholder which represents
dockable . |
Path |
RootPlaceholderStrategy.getPlaceholderFor(Dockable dockable) |
Path[] |
PlaceholderMap.Key.getPlaceholders()
Gets the placeholders which make up this key.
|
Path |
PlaceholderList.remove(int index)
Removes the
index 'th Dockable from this list were
index is an index used in PlaceholderList.dockables() . |
Path |
PlaceholderList.remove(P dockable)
Searches for
dockable and replaces it by a placeholder. |
Modifier and Type | Method and Description |
---|---|
Set<Path> |
PlaceholderList.Item.getPlaceholderSet()
Returns the value of this placeholder.
|
PlaceholderList.Filter<Set<Path>> |
PlaceholderList.listPlaceholders()
Gets a mutable view of all elements of this list.
|
PlaceholderList.Filter<Set<Path>> |
PlaceholderList.purePlaceholders()
Gets a mutable view of all pure placeholders of this list.
|
Modifier and Type | Method and Description |
---|---|
void |
PlaceholderList.Item.add(Path placeholder)
Adds
placeholder to the set of placeholders of this entry. |
void |
PlaceholderListMapping.addPlaceholder(Dockable dockable,
Path placeholder) |
void |
PlaceholderList.addPlaceholder(D dockable,
Path placeholder)
Adds
placeholder at the location of dockable . |
void |
PlaceholderList.Filter.addPlaceholder(int index,
Path placeholder)
Adds a placeholder at location
index , ensures that this
placeholder is only present at index . |
boolean |
PlaceholderMap.Key.contains(Path placeholder)
Tells whether this key knows
placeholder . |
P |
PlaceholderList.getDockableAt(Path placeholder)
Searches the first occurrence of
placeholder and returns the Dockable
that is stored at that location. |
Dockable |
PlaceholderListMapping.getDockableAt(Path placeholder) |
int |
PlaceholderList.getDockableIndex(Path placeholder)
Emulates the insertion of a
Dockable at location placeholder and
returns the index that the inserted dockable would have in the dockable-list. |
PlaceholderList.Item |
PlaceholderList.getItem(Path placeholder)
Searches for the one
PlaceholderList.Item in the PlaceholderList.dockables list that contains
placeholder . |
int |
PlaceholderList.getListIndex(int index,
Path placeholder)
Searches for an index in
PlaceholderList.list() described by
placeholder or index .This method calls PlaceholderList.insertAllPlaceholders() if placeholder cannot
be found. |
int |
PlaceholderList.getListIndex(Path placeholder)
Searches the first occurance of
placeholder in a placeholder-set and returns
the index of that entry on the BASE level . |
PlaceholderMap |
PlaceholderList.getMap(Path placeholder)
Gets the
PlaceholderMap that was used for a station at location placeholder . |
PlaceholderMetaMap |
PlaceholderList.getMetaMap(Path placeholder)
Gets the meta-map that is associated with the set of placeholders that include
placeholder . |
int |
PlaceholderList.getNextListIndex(int index,
Path placeholder)
Searches for an index in
PlaceholderList.list() that follows the item described by
placeholder or index .This method calls PlaceholderList.insertAllPlaceholders() if placeholder cannot
be found. |
boolean |
PlaceholderList.hasPlaceholder(Path placeholder)
Tells whether this list contains a reference to
placeholder . |
boolean |
PlaceholderList.Item.hasPlaceholder(Path placeholder)
Tells whether
placeholder is known to this item or not. |
boolean |
PlaceholderListMapping.hasPlaceholder(Path placeholder) |
int |
PlaceholderList.Filter.indexOfPlaceholder(Path placeholder)
Searches the first occurence of
placeholder . |
void |
PlaceholderList.Filter.insertPlaceholder(int index,
Path placeholder)
Generates a new entry containing only
placeholder . |
boolean |
PlaceholderStrategy.isValidPlaceholder(Path placeholder)
Tells whether
placeholder is associated with any Dockable . |
boolean |
RootPlaceholderStrategy.isValidPlaceholder(Path placeholder) |
PlaceholderMap.Key |
PlaceholderMap.newKey(Path... placeholders)
Creates a new shared key for any set of placeholders.
|
PlaceholderMap.Key |
PlaceholderMap.newKey(String anchor,
Path... placeholders)
Creates a new shared key for any set of placeholders.
|
PlaceholderMap.Key |
PlaceholderMap.newUniqueKey(Path... placeholders)
Creates a new non-shared key for any set of placeholders.
|
PlaceholderMap.Key |
PlaceholderMap.newUniqueKey(String anchor,
Path... placeholders)
Creates a new non-shared key for any set of placeholders.
|
int |
PlaceholderList.put(Path placeholder,
P dockable)
Searches for the first occurrence of
placeholder and replaces
it with dockable . |
boolean |
PlaceholderList.put(P dockable,
Path placeholder)
Searches for the entry containing
dockable and adds placeholder to the
placeholder set. |
void |
PlaceholderMap.putPath(PlaceholderMap.Key placeholder,
String key,
Path value)
Stores the value
value in this map, adds
placeholder if necessary, overrides the value stored at
key if existent. |
void |
PlaceholderList.Item.remove(Path placeholder)
Removes
placeholder from this entry. |
void |
PlaceholderList.removeAll(Path placeholder)
Checks all entries of this list and removes all occurrences of all
placeholder . |
void |
PlaceholderMap.removeAll(Path placeholder,
boolean recursive)
Removes all occurrences of
placeholders . |
void |
PlaceholderListMapping.removePlaceholder(Path placeholder) |
void |
ConvertedPlaceholderListItem.setPlaceholder(Path placeholder)
Associates a placeholder with this item.
|
Modifier and Type | Method and Description |
---|---|
void |
PlaceholderStrategyListener.placeholderInvalidated(Set<Path> placeholders)
Informs this listener that a set of placeholders is no longer in use.
|
void |
PlaceholderList.removeAll(Set<Path> placeholders)
Checks all entries of this list and removes all occurrences of all
paths stored in
placeholders . |
void |
PlaceholderList.Item.removeAll(Set<Path> placeholders)
Removes all placeholders that are in
placeholders . |
void |
PlaceholderMap.removeAll(Set<Path> placeholders,
boolean recursive)
Removes all occurrences of all elements of
placeholders . |
void |
PlaceholderList.Item.setPlaceholderSet(Set<Path> placeholderSet)
Sets the set of placeholders that are associated with this entry.
|
Constructor and Description |
---|
PlaceholderMap(Path format,
int version)
Creates a new map.
|
Constructor and Description |
---|
PlaceholderList.Item(P dockable,
Set<Path> placeholderSet,
PlaceholderMap placeholderMap)
Creates a new item.
|
PlaceholderList.Item(Set<Path> placeholders)
Creates a new item.
|
Modifier and Type | Field and Description |
---|---|
static Path |
DockThemeExtension.DOCK_THEME_EXTENSION
The name of a
ExtensionName creating DockThemeExtension s. |
static Path |
ColorScheme.EXTENSION_NAME
The name used in a
ExtensionName to ask for an additional ColorScheme . |
static Path |
CombinerValue.KIND_COMBINER
the kind of
UIValue this is |
static Path |
DisplayerFactoryValue.KIND_DISPLAYER_FACTORY
the kind of
UIValue this is |
static Path |
SpanFactoryValue.KIND_SPAN_FACTORY
the kind of
UIValue this is |
static Path |
StationCombinerValue.KIND_STATION
What kind of
UIValue this is |
static Path |
StationSpanFactoryValue.KIND_STATION
What kind of
UIValue this is |
static Path |
StationPaintValue.KIND_STATION_PAINT
the kind of
UIValue this is |
static Path |
ThemeFactoryText.KIND_THEME_FACTORY
the kind of
UIValue this is |
Modifier and Type | Method and Description |
---|---|
void |
ThemeManager.setBackgroundPaintBridge(Path kind,
UIBridge<BackgroundPaint,UIValue<BackgroundPaint>> bridge)
|
void |
ThemeManager.setBorderModifierBridge(Path kind,
UIBridge<BorderModifier,UIValue<BorderModifier>> bridge)
|
void |
ThemeManager.setCombinerBridge(Path kind,
UIBridge<Combiner,UIValue<Combiner>> bridge)
|
void |
ThemeManager.setDisplayerFactoryBridge(Path kind,
UIBridge<DisplayerFactory,UIValue<DisplayerFactory>> bridge)
|
void |
ThemeManager.setSpanFactoryBridge(Path kind,
UIBridge<SpanFactory,UIValue<SpanFactory>> bridge)
|
void |
ThemeManager.setStationPaintBridge(Path kind,
UIBridge<StationPaint,UIValue<StationPaint>> bridge)
|
Constructor and Description |
---|
StationThemeItemValue(String id,
Path kind,
TypedUIProperties.Type<V> type,
DockStation station)
Creates a new object.
|
Modifier and Type | Field and Description |
---|---|
static Path |
DockBorder.KIND
the kind of
UIValue this is |
Constructor and Description |
---|
BorderForwarder(Path kind,
String id,
JComponent target)
Creates a new forwarder.
|
Modifier and Type | Field and Description |
---|---|
static Path |
ActionColor.KIND_ACTION_COLOR
the path describing this kind of color
|
static Path |
DisplayerColor.KIND_DISPLAYER_COLOR
the kind of color
DisplayerColor is |
static Path |
DockableSelectionColor.KIND_DOCKABLE_SELECTION_COLOR
the kind of color
DockableSelectionColor is |
static Path |
TitleColor.KIND_FLAP_BUTTON_COLOR
special kind of color for buttons on the
FlapDockStation |
static Path |
MenuColor.KIND_MENU_COLOR
the kind of color
TabColor is |
static Path |
StationColor.KIND_STATION_COLOR
the path describing this kind of color
|
static Path |
StationPaintColor.KIND_STATION_PAINT_COLOR
the kind of color
StationPaintColor is |
static Path |
TabColor.KIND_TAB_COLOR
the kind of color
TabColor is |
static Path |
TitleColor.KIND_TITLE_COLOR
the kind of color
TitleColor is |
Modifier and Type | Method and Description |
---|---|
ColorBridge |
DefaultColorScheme.getBridge(Path name,
UIProperties<Color,DockColor,ColorBridge> properties) |
ColorBridge |
ExtendingColorScheme.getBridge(Path name,
UIProperties<Color,DockColor,ColorBridge> properties) |
ColorBridgeFactory |
DefaultColorScheme.getBridgeFactory(Path kind)
Gets the factory that creates bridges for
kind . |
void |
DefaultColorScheme.setBridgeFactory(Path kind,
ColorBridgeFactory bridge)
Sets how to modify some
kind of DockColor s. |
Constructor and Description |
---|
ActionColor(String id,
Path kind,
Dockable dockable,
DockAction action,
Color backup)
Creates a new
DockColor . |
DisplayerColor(String id,
Path kind,
DockableDisplayer displayer,
Color backup)
Creates a new
DisplayerColor |
DockableSelectionColor(DockableSelection selection,
String id,
Path kind,
Color backup)
Creates a new
DockColor . |
MenuColor(String id,
Path kind,
DockStation station,
CombinedMenu menu,
Color backup)
Creates a new TabColor.
|
StationColor(String id,
Path kind,
DockStation station,
Color backup)
Creates a new
DockColor . |
StationPaintColor(String id,
Path kind,
StationPaint paint,
Color backup)
Creates a new
DockColor |
TabColor(String id,
Path kind,
DockStation station,
Dockable dockable,
Color backup)
Creates a new TabColor.
|
TitleColor(String id,
Path kind,
DockTitle title,
Color backup)
Creates a new
TitleColor . |
Modifier and Type | Field and Description |
---|---|
static Path |
ButtonFont.KIND_BUTTON_FONT
this kind describes a font that is used by a button
|
static Path |
TitleFont.KIND_FLAP_BUTTON_FONT
this kind describes a font that is used on a button title of a
FlapDockStation |
static Path |
TabFont.KIND_TAB_FONT
the identifier of this kind of font
|
static Path |
TitleFont.KIND_TAB_TITLE_FONT
this kind describes a font that is used for a title which then is used as tab
|
static Path |
TitleFont.KIND_TITLE_FONT
this kind describes a font that is used on a title
|
Constructor and Description |
---|
ButtonFont(String id,
Dockable dockable,
DockAction action,
Path kind,
FontModifier backup)
Creates a new font
|
TabFont(String id,
Path kind,
DockStation station,
Dockable dockable)
Creates a new font
|
TabFont(String id,
Path kind,
DockStation station,
Dockable dockable,
FontModifier backup)
Creates a new font
|
TitleFont(String id,
DockTitle title,
Path kind)
Creates a new title font.
|
TitleFont(String id,
DockTitle title,
Path kind,
FontModifier backup)
Creates a new title font.
|
Modifier and Type | Field and Description |
---|---|
static Path |
DockTitleVersion.DOCK_TITLE_VERSION_EXTENSION
|
static Path |
DockTitleBackgroundComponent.KIND
the kind of value this
UIValue is |
static Path |
TitleDockBorder.KIND
the type of this
UIValue |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractMultiDockTitle.addConditionalFont(String id,
Path kind,
Condition condition,
FontModifier backup)
Adds a new conditional font to this title, the conditional font will
be applied to
AbstractMultiDockTitle.setFont(Font) when its condition
is met. |
Modifier and Type | Field and Description |
---|---|
static Path |
BackgroundComponent.KIND
the type of this
UIValue |
static Path |
TextManager.TEXT_EXTENSION
Name of an
ExtensionName to load additional ResourceBundle s |
Modifier and Type | Method and Description |
---|---|
Path |
AbstractUIValue.getKind()
Gets the kind of this value.
|
Path |
TypedUIProperties.Type.getKind(Path kind)
|
static Path[] |
DockUtilities.mergePlaceholders(Path[] base,
Dockable dockable,
PlaceholderStrategy strategy)
Merges the array
base with the placeholder that is associated with dockable , but
only if that placeholder is not yet in base . |
Modifier and Type | Method and Description |
---|---|
Collection<Path> |
UISchemeEvent.changedBridges(Set<Path> names)
Checks which bridges have changed, assuming that
names are the
only identifiers that are used. |
Modifier and Type | Method and Description |
---|---|
<V> void |
TypedUIProperties.add(String id,
Path kind,
TypedUIProperties.Type<V> type,
UIValue<V> value)
Adds the listener
value to this manager. |
void |
UIProperties.add(String id,
Path path,
U value)
Installs a new
UIValue . |
void |
UIProperties.get(String id,
Path kind,
U key)
Call
UIValue.set(Object) with the matching value that is stored in this
map for id . |
UIBridge<Object,UIValue<Object>> |
TypedPropertyUIScheme.getBridge(Path name,
UIProperties<Object,UIValue<Object>,UIBridge<Object,UIValue<Object>>> properties) |
B |
UIScheme.getBridge(Path name,
UIProperties<V,U,B> properties)
Creates the
UIBridge that handles resources of type name . |
B |
UIProperties.getBridge(Priority priority,
Path path)
|
protected B |
UIProperties.getBridgeFor(Path path)
Searches a bridge that can be used for
path . |
Path |
TypedUIProperties.Type.getKind(Path kind)
|
boolean |
UIProperties.isObserved(Path path)
Tells whether the bridge with id
path is observed by at least one UIValue . |
static Path[] |
DockUtilities.mergePlaceholders(Path[] base,
Dockable dockable,
PlaceholderStrategy strategy)
Merges the array
base with the placeholder that is associated with dockable , but
only if that placeholder is not yet in base . |
void |
UIProperties.publish(Priority priority,
Path path,
B bridge)
Adds a new bridge between this
UIProperties and a set of
UIValue s that have a certain type. |
<V> void |
TypedUIProperties.publish(Priority priority,
Path kind,
TypedUIProperties.Type<V> type,
UIBridge<V,UIValue<V>> bridge)
|
void |
AbstractUIValue.setKind(Path kind)
Changes the kind of this value.
|
void |
UIProperties.unpublish(Priority priority,
Path path)
Removes the bridge that handles the
UIValue s of kind path . |
<V> void |
TypedUIProperties.unpublish(Priority priority,
Path kind,
TypedUIProperties.Type<V> type)
|
Modifier and Type | Method and Description |
---|---|
Collection<Path> |
UISchemeEvent.changedBridges(Set<Path> names)
Checks which bridges have changed, assuming that
names are the
only identifiers that are used. |
Constructor and Description |
---|
AbstractUIValue(String id,
Path kind)
Creates a new
UIValue . |
AbstractUIValue(String id,
Path kind,
V backup)
Creates a new
UIValue . |
BackgroundAlgorithm(Path kind,
String id)
Creates a new algorithm.
|
Modifier and Type | Field and Description |
---|---|
static Path |
DockColor.KIND_DOCK_COLOR |
Constructor and Description |
---|
AbstractDockColor(String id,
Path kind)
Creates a new
DockColor . |
AbstractDockColor(String id,
Path kind,
Color backup)
Creates a new
DockColor . |
Modifier and Type | Method and Description |
---|---|
Path |
ExtensionName.getName()
Gets the unique name of this extension.
|
Constructor and Description |
---|
ExtensionName(Path name,
Class<E> type)
Creates a new name.
|
ExtensionName(Path name,
Class<E> type,
Map<String,Object> parameters)
Creates a new name.
|
ExtensionName(Path name,
Class<E> type,
String parameterKey,
Object parameterValue)
Creates a new name.
|
Modifier and Type | Field and Description |
---|---|
static Path |
DockFont.KIND_DOCK_FONT
the default kind of fonts
|
Constructor and Description |
---|
AbstractDockFont(String id,
Path kind)
Creates a new
DockFont . |
AbstractDockFont(String id,
Path kind,
FontModifier backup)
Creates a new
DockFont . |
Modifier and Type | Field and Description |
---|---|
static Path |
DockIcon.KIND_ICON
What kind of
UIValue this is |
Modifier and Type | Method and Description |
---|---|
DockIconBridge |
DefaultIconScheme.getBridge(Path name,
UIProperties<Icon,DockIcon,DockIconBridge> properties) |
void |
DefaultIconScheme.setBridge(Path type,
DockIconBridge bridge)
Sets the
DockIconBridge with type type . |
Constructor and Description |
---|
DockIcon(String id,
Path kind)
Creates a new
DockIcon . |
DockIcon(String id,
Path kind,
Icon backup)
Creates a new
DockIcon . |
Modifier and Type | Field and Description |
---|---|
static Path |
DialogText.KIND_DIALOG
what kind of
UIValue this is |
static Path |
SwingActionText.KIND_SWING_ACTION
the kind of value this
UIValue is |
static Path |
TextValue.KIND_TEXT
What kind of
UIValue this is |
Modifier and Type | Method and Description |
---|---|
TextBridge |
DefaultTextScheme.getBridge(Path name,
UIProperties<String,TextValue,TextBridge> properties) |
Constructor and Description |
---|
SwingActionText(String id,
String key,
Action action,
Path kind)
Creates a new
DockActionIcon . |
TextValue(String id,
Path kind)
Creates a new
TextValue . |
TextValue(String id,
Path kind,
String backup)
Creates a new
TextValue . |
Modifier and Type | Field and Description |
---|---|
static Path |
Path.TYPE_BOOLEAN_PATH
standard path for
Boolean |
static Path |
Path.TYPE_INT_PATH
standard path for
Integer |
static Path |
Path.TYPE_KEYSTROKE_PATH
standard path for
KeyStroke , can use KeyStrokeValidator as information |
static Path |
Path.TYPE_LABEL
standard path for a label, a label is not shown in an enabled editor
|
static Path |
Path.TYPE_MODIFIER_MASK_PATH
standard path for
ModifierMask |
static Path |
Path.TYPE_STRING_CHOICE_PATH
|
static Path |
Path.TYPE_STRING_PATH
standard path for
String |
Modifier and Type | Method and Description |
---|---|
Path |
Path.append(Path path)
Creates a new path which is a combination of
this and path . |
Path |
Path.append(String segments)
Creates a new path appending
segments to this path. |
Path |
PathCombiner.combine(Path first,
Path second)
Creates a combination of
first and of second . |
Path |
Path.getParent()
Returns the parent of this path.
|
Path |
Path.subPath(int offset,
int length)
Creates a new path that is a subset of this path.
|
Path |
Path.uniqueAppend(Path path)
Creates a new path which is not only a combination of
this
and path , but is also unique in the way that
x+y.z would not yield the same as x.y+z . |
Modifier and Type | Method and Description |
---|---|
Path |
Path.append(Path path)
Creates a new path which is a combination of
this and path . |
Path |
PathCombiner.combine(Path first,
Path second)
Creates a combination of
first and of second . |
boolean |
Path.startsWith(Path path)
Tells whether the first segments of this
Path matches
the segments of path . |
Path |
Path.uniqueAppend(Path path)
Creates a new path which is not only a combination of
this
and path , but is also unique in the way that
x+y.z would not yield the same as x.y+z . |