bibliothek.gui.dock.frontend
Interface FrontendPerspectiveCacheExtension

public interface FrontendPerspectiveCacheExtension

An extension for DefaultFrontendPerspectiveCache (or any other FrontendPerspectiveCache), this extension adds new types of elements to the cache.

Author:

Benjamin Sigg

Method Summary

String	get(PerspectiveElement element) Gets the unique identifier of element.
PerspectiveElement	get(String id, DockElement element, boolean isRootStation) Converts element into a PerspectiveElement.

Method Detail

get

PerspectiveElement get(String id,
                       DockElement element,
                       boolean isRootStation)

Converts element into a PerspectiveElement.

Parameters:

id - the unique identifier of the element, may be null

element - the element to convert

isRootStation - whether element is used as a root station

Returns:

the converted element or null if this extension does not know how to handle element

get

String get(PerspectiveElement element)

Gets the unique identifier of element.

Parameters:

element - the element whose unique identifier is searched

Returns:

the unique identifier or null if not found