JPF 0.10

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 $

Method Summary
 java.util.Set addedExtensions()
           
 java.util.Set addedExtensions(java.lang.String extensionPointUid)
           
 java.util.Set addedPlugins()
           
 java.util.Set modifiedExtensions()
           
 java.util.Set modifiedExtensions(java.lang.String extensionPointUid)
           
 java.util.Set modifiedPlugins()
           
 java.util.Set removedExtensions()
           
 java.util.Set removedExtensions(java.lang.String extensionPointUid)
           
 java.util.Set removedPlugins()
           
 

Method Detail

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

JPF 0.10

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