public static interface PluginRegistry.RegistryChangeData
Modifier and Type | Method and Description |
---|---|
Set<String> |
addedExtensions() |
Set<String> |
addedExtensions(String extensionPointUid) |
Set<String> |
addedPlugins() |
Set<String> |
modifiedExtensions() |
Set<String> |
modifiedExtensions(String extensionPointUid) |
Set<String> |
modifiedPlugins() |
Set<String> |
removedExtensions() |
Set<String> |
removedExtensions(String extensionPointUid) |
Set<String> |
removedPlugins() |
Set<String> addedExtensions()
Set<String> addedExtensions(String extensionPointUid)
extensionPointUid
- unique ID of extension point to filter resultSet<String> removedExtensions()
Set<String> removedExtensions(String extensionPointUid)
extensionPointUid
- unique ID of extension point to filter resultSet<String> modifiedExtensions()
Copyright © 2015. All Rights Reserved.