org.jutil.java.collections
Class AbstractPriorityQueue

java.lang.Object
  |
  +--org.jutil.java.collections.AbstractDispenser
        |
        +--org.jutil.java.collections.AbstractPriorityQueue

All Implemented Interfaces:

Dispenser, PriorityQueue

Direct Known Subclasses:

BasicBinomialHeap, BinomialHeap, SkipListPQ

public abstract class AbstractPriorityQueue

extends AbstractDispenser

implements PriorityQueue

AbstractPriorityQueue provides an implementation for getNext and removeNext.

Field Summary
static java.lang.String	CVS_REVISION

 

Constructor Summary

AbstractPriorityQueue()

 

Method Summary
java.lang.Object	getNext()           See superclass.
void	removeNext()           See superclass.

 

Methods inherited from class org.jutil.java.collections.AbstractDispenser

add, addImpl, isEmpty

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Methods inherited from interface org.jutil.java.collections.PriorityQueue

getComparator, min, pop

 

Methods inherited from interface org.jutil.java.collections.Dispenser

add, isEmpty, nbExplicitOccurrences, size

 

Field Detail

CVS_REVISION

public static final java.lang.String CVS_REVISION

AbstractPriorityQueue

public AbstractPriorityQueue()

getNext

public java.lang.Object getNext()

See superclass.

Specifications inherited from overridden method in interface PriorityQueue:

     also

public behavior
ensures \result == min();

Specifications inherited from overridden method in interface Dispenser:

public behavior
requires !isEmpty();
ensures nbExplicitOccurrences(\result ) > 0;

removeNext

public void removeNext()

See superclass.

Specifications inherited from overridden method in interface Dispenser:

public behavior
requires !isEmpty();
ensures nbExplicitOccurrences(\old(getNext())) == \old(nbExplicitOccurrences(getNext()))-1;