public class PluginProxy extends Plugin
Modifier and Type | Field and Description |
---|---|
java.lang.Object |
plugin
The plugin.
|
Constructor and Description |
---|
PluginProxy(java.lang.Object plugin,
PluginInformation info)
Constructs a new
PluginProxy . |
Modifier and Type | Method and Description |
---|---|
void |
addDownloadSelection(java.util.List<DownloadSelection> list)
Called in the download dialog to give the plugin a chance to modify the list
of bounding box selectors.
|
PreferenceSetting |
getPreferenceSetting()
Called in the preferences dialog to create a preferences page for the plugin,
if any available.
|
private void |
handlePluginException(java.lang.Exception e) |
void |
mapFrameInitialized(MapFrame oldFrame,
MapFrame newFrame)
Called after Main.mapFrame is initalized.
|
copy, getPluginDir, getPluginInformation, getPluginResourceClassLoader, setPluginInformation
public final java.lang.Object plugin
public PluginProxy(java.lang.Object plugin, PluginInformation info)
PluginProxy
.plugin
- the plugininfo
- the associated plugin infoprivate void handlePluginException(java.lang.Exception e)
public void mapFrameInitialized(MapFrame oldFrame, MapFrame newFrame)
MapFrameListener
mapFrameInitialized
in interface MapFrameListener
mapFrameInitialized
in class Plugin
oldFrame
- The old MapFramenewFrame
- The new MapFramepublic PreferenceSetting getPreferenceSetting()
Plugin
getPreferenceSetting
in class Plugin
null
public void addDownloadSelection(java.util.List<DownloadSelection> list)
Plugin
addDownloadSelection
in class Plugin
list
- list of bounding box selectors