| 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 |
MacroPluginDescriptorImpl.getID() |
PluginDescriptorID |
PluginDescriptorImpl.getID() |
| Modifier and Type | Method and Description |
|---|---|
int |
PluginDescriptorIDImpl.compareTo(PluginDescriptorID o) |
PluginDescriptor |
PluginManagerImpl.getPlugin(PluginDescriptorID id) |