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.
      • Methods inherited from interface java.lang.Comparable

        compareTo
    • 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 class java.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 class java.lang.Object
        Returns: