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

Class NormalOrder

java.lang.Object

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

All Implemented Interfaces:

java.util.Comparator<Weight>

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

Defines a normal Order on Weight: unlimited < ... < -1 < 0 < 1 < ... not_set is not comparable

Constructor Summary

Constructors

Constructor and Description
NormalOrder()

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

NormalOrder

public NormalOrder()

Method Detail

compare

public int compare(Weight o1,
                   Weight o2)

Specified by:

compare in interface java.util.Comparator<Weight>