public interface ProjectionChoice
Modifier and Type | Method and Description |
---|---|
String[] |
allCodes()
Return all projection codes supported by this projection choice.
|
String |
getId()
Get a unique id for the projection choice.
|
JPanel |
getPreferencePanel(ActionListener listener)
Generate and provide the GUI.
|
Collection<String> |
getPreferences(JPanel panel)
Extract preferences from the GUI.
|
Collection<String> |
getPreferencesFromCode(String code)
Get Preferences from projection code.
|
Projection |
getProjection()
Get the projection that matches the internal state.
|
void |
setPreferences(Collection<String> args)
Set the internal state to match the preferences.
|
String |
toString()
Short name of the projection choice as shown in the GUI (combo box).
|
String getId()
void setPreferences(Collection<String> args)
args
- preferences as a list of strings; may be null
to reset everything.Projection getProjection()
JPanel getPreferencePanel(ActionListener listener)
listener
- listener for any change of preferencesCollection<String> getPreferences(JPanel panel)
Collection<String> getPreferencesFromCode(String code)