Interface PluginDescriptorID
-
- All Superinterfaces:
java.lang.Comparable<PluginDescriptorID>
- All Known Implementing Classes:
PluginDescriptorIDImpl
public interface PluginDescriptorID extends java.lang.Comparable<PluginDescriptorID>
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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description boolean
equals(java.lang.Object o)
ProvidedObjectIDs are used in Collections, so this method has to be implemented in all its subclasses.int
hashCode()
ProvidedObjectIDs are used in HashMaps, so this method has to be implemented in all its subclasses.
-
-
-
Method Detail
-
equals
boolean equals(java.lang.Object o)
ProvidedObjectIDs are used in Collections, so this method has to be implemented in all its subclasses.- Overrides:
equals
in classjava.lang.Object
- Returns:
-
hashCode
int hashCode()
ProvidedObjectIDs are used in HashMaps, so this method has to be implemented in all its subclasses.- Overrides:
hashCode
in classjava.lang.Object
- Returns:
-
-