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

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

Method Detail

get

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(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