JPF 0.10

org.java.plugin.registry
Interface PluginRegistry.RegistryChangeListener

Enclosing interface:
PluginRegistry

public static interface PluginRegistry.RegistryChangeListener

Plug-in registry changes callback interface.

Version:
$Id: PluginRegistry.java,v 1.7 2006/02/24 15:40:42 ddimon Exp $

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

registryChanged

public 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).

Parameters:
data - registry changes data

JPF 0.10

Copyright © 2004-2005 Dmitry Olshansky. All Rights Reserved.