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

Class ReverseOrder

java.lang.Object

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

All Implemented Interfaces:

Comparator<Weight>

public class ReverseOrder
extends Object
implements 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

Constructors

Constructor	Description
ReverseOrder()

Method Summary

Modifier and Type	Method	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

equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Details

ReverseOrder

public ReverseOrder()

Method Details

compare

public int compare(Weight o1,
 Weight o2)

Specified by:

compare in interface Comparator<Weight>