org.java.plugin.registry
Interface PluginRegistry.RegistryChangeData
- Enclosing interface:
- PluginRegistry
- public static interface PluginRegistry.RegistryChangeData
Registry changes data holder interface.
- Version:
- $Id: PluginRegistry.java,v 1.7 2006/02/24 15:40:42 ddimon Exp $
addedPlugins
public java.util.Set addedPlugins()
- Returns:
- collection of ID's of newly added plug-ins
removedPlugins
public java.util.Set removedPlugins()
- Returns:
- collection of ID's of removed plug-ins
modifiedPlugins
public java.util.Set modifiedPlugins()
- Returns:
- collection of ID's of changed plug-ins
addedExtensions
public java.util.Set addedExtensions()
- Returns:
- collection of unique ID's of newly connected extensions
addedExtensions
public java.util.Set addedExtensions(java.lang.String extensionPointUid)
- Parameters:
extensionPointUid
- unique ID of extension point to filter
result
- Returns:
- collection of unique ID's of newly connected extensions
removedExtensions
public java.util.Set removedExtensions()
- Returns:
- collection of unique ID's of disconnected extensions
removedExtensions
public java.util.Set removedExtensions(java.lang.String extensionPointUid)
- Parameters:
extensionPointUid
- unique ID of extension point to filter
result
- Returns:
- collection of unique ID's of disconnected extensions
modifiedExtensions
public java.util.Set modifiedExtensions()
- Returns:
- collection of unique ID's of modified extensions
modifiedExtensions
public java.util.Set modifiedExtensions(java.lang.String extensionPointUid)
- Parameters:
extensionPointUid
- unique ID of extension point to filter
result
- Returns:
- collection of unique ID's of modified extensions
Copyright © 2004-2005 Dmitry Olshansky. All Rights Reserved.