public interface PluginFragment extends UniqueIdentity, Documentable<PluginFragment>
Plug-in fragment UID is a combination of plug-in fragment ID and version identifier that is unique within whole set of registered plug-ins and fragments.
Modifier and Type | Method and Description |
---|---|
URL |
getLocation() |
MatchingRule |
getMatchingRule() |
String |
getPluginId() |
Version |
getPluginVersion() |
PluginRegistry |
getRegistry() |
String |
getVendor() |
Version |
getVersion() |
boolean |
matches(PluginDescriptor descr)
Checks is this fragment may contribute to given plug-in.
|
getUniqueId
getDocsPath, getDocumentation
String getVendor()
Version getVersion()
String getPluginId()
Version getPluginVersion()
null
if no version specified in
manifestPluginRegistry getRegistry()
boolean matches(PluginDescriptor descr)
descr
- plug-in descriptortrue
if this fragment may contribute to given
plug-inMatchingRule getMatchingRule()
URL getLocation()
Copyright © 2017. All rights reserved.