daikon.diff
Class ConsequentCVFSortComparator

Object
  ConsequentCVFSortComparator

All Implemented Interfaces:

Comparator<Invariant>

public class ConsequentCVFSortComparator
extends Object
implements Comparator<Invariant>

Comparator for sorting invariants. Uses the ConsequentSortComparator, initialized with the ClassVarnameFormulaComparator. See the documentation for those two classes to figure out what this class does.

Constructor Summary

ConsequentCVFSortComparator()

Method Summary

int	compare(Invariant inv1, Invariant inv2)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Comparator

equals

Constructor Detail

ConsequentCVFSortComparator

public ConsequentCVFSortComparator()

Method Detail

compare

public int compare(Invariant inv1,
                   Invariant inv2)

Specified by:

compare in interface Comparator<Invariant>