|
JPF 1.5.1 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public static interface PluginRegistry.RegistryChangeListener
Plug-in registry changes callback interface.
| Method Summary | |
|---|---|
void |
registryChanged(PluginRegistry.RegistryChangeData data)
This method will be called by the framework when changes are made on registry (via PluginRegistry.register(URL[]) or
PluginRegistry.unregister(String[]) methods). |
| Method Detail |
|---|
void registryChanged(PluginRegistry.RegistryChangeData data)
PluginRegistry.register(URL[]) or
PluginRegistry.unregister(String[]) methods).
data - registry changes data
|
JPF 1.5.1 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||