Package | Description |
---|---|
org.processmining.framework.plugin | |
org.processmining.framework.plugin.impl |
Modifier and Type | Method and Description |
---|---|
PluginDescriptorID |
PluginDescriptor.getID()
returns the ID of this Plugin.
|
Modifier and Type | Method and Description |
---|---|
PluginDescriptor |
PluginManager.getPlugin(PluginDescriptorID id)
Returns a PluginDescriptor with the given id.
|
Modifier and Type | Class and Description |
---|---|
class |
PluginDescriptorIDImpl |
Modifier and Type | Method and Description |
---|---|
PluginDescriptorID |
PluginDescriptorImpl.getID() |
Modifier and Type | Method and Description |
---|---|
int |
PluginDescriptorIDImpl.compareTo(PluginDescriptorID o) |
PluginDescriptor |
PluginManagerImpl.getPlugin(PluginDescriptorID id) |