Class ReverseOrder
java.lang.Object
com.ibm.wala.analysis.arraybounds.hypergraph.weight.ReverseOrder
- All Implemented Interfaces:
Comparator<Weight>
Defines a reverse Order on Weight: ... > 1 > 0 > -1 > ... > unlimited not_set is
not comparable
- Author:
- Stephan Gocht
<stephan@gobro.de>
-
Constructor Summary
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface java.util.Comparator
equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
-
Constructor Details
-
ReverseOrder
public ReverseOrder()
-
-
Method Details
-
compare
- Specified by:
compare
in interfaceComparator<Weight>
-