Class PriorityQueueElement

  • All Implemented Interfaces:
    RevisionHandler

    public class PriorityQueueElement
    extends java.lang.Object
    implements RevisionHandler

    PriorityQueueElement.java
    Authors: Rainer Holzmann, Zhanna Melnikova-Albrecht, Matthias Schubert
    Date: Aug 31, 2004
    Time: 6:43:18 PM
    $ Revision 1.4 $

    Version:
    $Revision: 1.3 $
    Author:
    Matthias Schubert (schubert@dbs.ifi.lmu.de), Zhanna Melnikova-Albrecht (melnikov@cip.ifi.lmu.de), Rainer Holzmann (holzmann@cip.ifi.lmu.de)
    • Constructor Summary

      Constructors 
      Constructor Description
      PriorityQueueElement​(double priority, java.lang.Object o)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.Object getObject()
      Returns the object
      double getPriority()
      Returns the priority for this object
      java.lang.String getRevision()
      Returns the revision string.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PriorityQueueElement

        public PriorityQueueElement​(double priority,
                                    java.lang.Object o)
    • Method Detail

      • getPriority

        public double getPriority()
        Returns the priority for this object
        Returns:
        priority
      • getObject

        public java.lang.Object getObject()
        Returns the object
        Returns:
      • getRevision

        public java.lang.String getRevision()
        Returns the revision string.
        Specified by:
        getRevision in interface RevisionHandler
        Returns:
        the revision