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 $
  • Method Details

    • addedPlugins

      Set<String> addedPlugins()
      Returns:
      collection of ID's of newly added plug-ins
    • removedPlugins

      Set<String> removedPlugins()
      Returns:
      collection of ID's of removed plug-ins
    • modifiedPlugins

      Set<String> modifiedPlugins()
      Returns:
      collection of ID's of changed plug-ins
    • addedExtensions

      Set<String> addedExtensions()
      Returns:
      collection of unique ID's of newly connected extensions
    • addedExtensions

      Set<String> addedExtensions(String extensionPointUid)
      Parameters:
      extensionPointUid - unique ID of extension point to filter result
      Returns:
      collection of unique ID's of newly connected extensions
    • removedExtensions

      Set<String> removedExtensions()
      Returns:
      collection of unique ID's of disconnected extensions
    • removedExtensions

      Set<String> removedExtensions(String extensionPointUid)
      Parameters:
      extensionPointUid - unique ID of extension point to filter result
      Returns:
      collection of unique ID's of disconnected extensions
    • modifiedExtensions

      Set<String> modifiedExtensions()
      Returns:
      collection of unique ID's of modified extensions
    • modifiedExtensions

      Set<String> modifiedExtensions(String extensionPointUid)
      Parameters:
      extensionPointUid - unique ID of extension point to filter result
      Returns:
      collection of unique ID's of modified extensions