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

Class NormalOrder

java.lang.Object

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

All Implemented Interfaces:

Comparator<Weight>

public class NormalOrder
extends Object
implements Comparator<Weight>

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

Author:

Stephan Gocht <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	Description
NormalOrder()

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

NormalOrder

public NormalOrder()

Method Details

compare

public int compare(Weight o1,
 Weight o2)

Specified by:

compare in interface Comparator<Weight>