Interface PluginDescriptorID

All Superinterfaces:
Comparable<PluginDescriptorID>
All Known Implementing Classes:
PluginDescriptorIDImpl

public interface PluginDescriptorID extends 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

    Modifier and Type
    Method
    Description
    boolean
    ProvidedObjectIDs are used in Collections, so this method has to be implemented in all its subclasses.
    int
    ProvidedObjectIDs are used in HashMaps, so this method has to be implemented in all its subclasses.

    Methods inherited from interface java.lang.Comparable

    compareTo
  • Method Details

    • equals

      boolean equals(Object o)
      ProvidedObjectIDs are used in Collections, so this method has to be implemented in all its subclasses.
      Overrides:
      equals in class Object
      Returns:
    • hashCode

      int hashCode()
      ProvidedObjectIDs are used in HashMaps, so this method has to be implemented in all its subclasses.
      Overrides:
      hashCode in class Object
      Returns: