aminePlatform.guis.prologPlusCGGUIs.prologPlusCGGUI
Class DocPositionComparator

java.lang.Object
  aminePlatform.guis.prologPlusCGGUIs.prologPlusCGGUI.DocPositionComparator

All Implemented Interfaces:

java.util.Comparator

class DocPositionComparator

extends java.lang.Object

implements java.util.Comparator

A comparator appropriate for use with Collections of DocPositions.

Constructor Summary

(package private)

DocPositionComparator()

Method Summary

int	compare(java.lang.Object o1, java.lang.Object o2) Compare two DocPositions
boolean	equals(java.lang.Object obj) Does this Comparator equal another?

Methods inherited from class java.lang.Object

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

Constructor Detail

DocPositionComparator

DocPositionComparator()

Method Detail

equals

public boolean equals(java.lang.Object obj)

Does this Comparator equal another? Since all DocPositionComparators are the same, they are all equal.

Specified by:

equals in interface java.util.Comparator

Returns:

true for DocPositionComparators, false otherwise.

compare

public int compare(java.lang.Object o1,
                   java.lang.Object o2)

Compare two DocPositions

Specified by:

compare in interface java.util.Comparator

Parameters:

o1 - first DocPosition

o2 - second DocPosition

Returns:

negative if first < second, 0 if equal, positive if first > second