Oops. Java 1.5 PriorityQueue.remove(o) would not be useful for ScoreDoc as it
would delete the first object where compare(o1, o2) == 0.
Antony
Should ScoreDocComparator extend java.util.Comparator. The existing
compare() method has the Javadoc comment @see java.util.Comparator.
It would then be useful with Java 1.5's PriorityQueue and that would be
good because PriorityQueue has a remove() method which makes it useful
for manipulating the queue.
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
