public static interface PluginRegistry.RegistryChangeData
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.lang.String> |
addedExtensions() |
java.util.Set<java.lang.String> |
addedExtensions(java.lang.String extensionPointUid) |
java.util.Set<java.lang.String> |
addedPlugins() |
java.util.Set<java.lang.String> |
modifiedExtensions() |
java.util.Set<java.lang.String> |
modifiedExtensions(java.lang.String extensionPointUid) |
java.util.Set<java.lang.String> |
modifiedPlugins() |
java.util.Set<java.lang.String> |
removedExtensions() |
java.util.Set<java.lang.String> |
removedExtensions(java.lang.String extensionPointUid) |
java.util.Set<java.lang.String> |
removedPlugins() |
java.util.Set<java.lang.String> addedPlugins()
java.util.Set<java.lang.String> removedPlugins()
java.util.Set<java.lang.String> modifiedPlugins()
java.util.Set<java.lang.String> addedExtensions()
java.util.Set<java.lang.String> addedExtensions(java.lang.String extensionPointUid)
extensionPointUid
- unique ID of extension point to filter resultjava.util.Set<java.lang.String> removedExtensions()
java.util.Set<java.lang.String> removedExtensions(java.lang.String extensionPointUid)
extensionPointUid
- unique ID of extension point to filter resultjava.util.Set<java.lang.String> modifiedExtensions()
java.util.Set<java.lang.String> modifiedExtensions(java.lang.String extensionPointUid)
extensionPointUid
- unique ID of extension point to filter resultCopyright © 2004-2007 Dmitry Olshansky. All Rights Reserved.