bibliothek.gui.dock.perspective
Interface PredefinedMap


public interface PredefinedMap

A helper class that can tell for some PerspectiveElements what their unique identifier is, and that can convert the unique identifier to a PerspectiveElement.

Author:
Benjamin Sigg

Method Summary
 java.lang.String get(PerspectiveElement element)
          Given element, tells what unique identifier element has.
 PerspectiveElement get(java.lang.String id)
          Given a unique identifier id, tells what PerspectiveElement belongs to that id.
 

Method Detail

get

java.lang.String get(PerspectiveElement element)
Given element, tells what unique identifier element has.

Parameters:
element - the element whose identifier is searched
Returns:
the unique identifier or null if element is not known to this map

get

PerspectiveElement get(java.lang.String id)
Given a unique identifier id, tells what PerspectiveElement belongs to that id.

Parameters:
id - the unique identifier
Returns:
the matching element, can be null if id is unknown