com.ibm.wala.analysis.arraybounds.hypergraph.weight

Class ReverseOrder

java.lang.Object

com.ibm.wala.analysis.arraybounds.hypergraph.weight.ReverseOrder

All Implemented Interfaces:

java.util.Comparator<Weight>

public class ReverseOrder
extends java.lang.Object
implements java.util.Comparator<Weight>

Defines a reverse Order on Weight: ... > 1 > 0 > -1 > ... > unlimited not_set is not comparable

Constructor Summary

Constructors

Constructor and Description
ReverseOrder()

Method Summary

Modifier and Type	Method and Description
int	compare(Weight o1, Weight o2)

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

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

ReverseOrder

public ReverseOrder()

Method Detail

compare

public int compare(Weight o1,
                   Weight o2)

Specified by:

compare in interface java.util.Comparator<Weight>