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.5 2007/03/03 17:16:26 ddimon Exp $
addedPlugins
java.util.Set<java.lang.String> addedPlugins()
- Returns:
- collection of ID's of newly added plug-ins
removedPlugins
java.util.Set<java.lang.String> removedPlugins()
- Returns:
- collection of ID's of removed plug-ins
modifiedPlugins
java.util.Set<java.lang.String> modifiedPlugins()
- Returns:
- collection of ID's of changed plug-ins
addedExtensions
java.util.Set<java.lang.String> addedExtensions()
- Returns:
- collection of unique ID's of newly connected extensions
addedExtensions
java.util.Set<java.lang.String> 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
java.util.Set<java.lang.String> removedExtensions()
- Returns:
- collection of unique ID's of disconnected extensions
removedExtensions
java.util.Set<java.lang.String> 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
java.util.Set<java.lang.String> modifiedExtensions()
- Returns:
- collection of unique ID's of modified extensions
modifiedExtensions
java.util.Set<java.lang.String> 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-2007 Dmitry Olshansky. All Rights Reserved.