bibliothek.gui.dock.util.extension
Interface Extension


public interface Extension

An extension provides a set of resources that override existing resources. The resources are acquired lazily.

Author:
Benjamin Sigg

Method Summary
 void install(DockController controller)
          Informs this extension that it will now be used for controller.
<E> Collection<E>
load(DockController controller, ExtensionName<E> extension)
          Loads a set of extensions, it is the Extensions responsibility to implement any kind of caching.
 void uninstall(DockController controller)
          Informs this extension that it will no longer be used for controller.
 

Method Detail

install

void install(DockController controller)
Informs this extension that it will now be used for controller.

Parameters:
controller - a new controller for which this extension is used

uninstall

void uninstall(DockController controller)
Informs this extension that it will no longer be used for controller.

Parameters:
controller - the controller for which this extension was used

load

<E> Collection<E> load(DockController controller,
                       ExtensionName<E> extension)
Loads a set of extensions, it is the Extensions responsibility to implement any kind of caching.

Type Parameters:
E - the kind of extension that is requested
Parameters:
controller - the controller in whose realm the extension will be used
extension - the unique name of the extension
Returns:
the extension, can be null