public interface FrontendPerspectiveCacheExtension
DefaultFrontendPerspectiveCache
(or any other FrontendPerspectiveCache
),
this extension adds new types of elements to the cache.Modifier and Type | Method and Description |
---|---|
String |
get(PerspectiveElement element)
Gets the unique identifier of
element . |
PerspectiveElement |
get(String id,
DockElement element,
boolean isRootStation)
Converts
element into a PerspectiveElement . |
PerspectiveElement get(String id, DockElement element, boolean isRootStation)
element
into a PerspectiveElement
.id
- the unique identifier of the element, may be null
element
- the element to convertisRootStation
- whether element
is used as a root stationnull
if this extension does not know how to
handle element
String get(PerspectiveElement element)
element
.element
- the element whose unique identifier is searchednull
if not found