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.
New extensions will be added to the framework when needed or upon request.

Author:

Benjamin Sigg

See Also:

ExtensionName

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