Package bibliothek.gui.dock.util.extension

Contains classes to create and manage extensions.

See:
Description

Interface Summary

Extension

An extension provides a set of resources that override existing resources.

Class Summary

ExtensionManager	Manages a set of Extensions.
ExtensionName<E>	The name of some extension that can be loaded through Extension.

Package bibliothek.gui.dock.util.extension Description

Contains classes to create and manage extensions. An extension is a plug-in that is integrated into the framework and treated as if it were always present. Modules of the framework (or of the plug-in) need to define extension-points at which new code can be introduced. Also modules have to ask the ExtensionManager for all the extensions fitting a particular extension point.