Interface PluginDescriptorID
- All Superinterfaces:
Comparable<PluginDescriptorID>
- All Known Implementing Classes:
PluginDescriptorIDImpl
This interface provides an ID for each plugin. These IDs are persistent
between executions of ProM, provided that no code changes are made to the
plugin in question.
- Author:
- bfvdonge
-
Method Summary
Methods inherited from interface java.lang.Comparable
compareTo
-
Method Details
-
equals
ProvidedObjectIDs are used in Collections, so this method has to be implemented in all its subclasses. -
hashCode
int hashCode()ProvidedObjectIDs are used in HashMaps, so this method has to be implemented in all its subclasses.
-