001package daikon.diff;
002
003import daikon.inv.Invariant;
004import java.util.Comparator;
005import org.checkerframework.dataflow.qual.Pure;
006
007/**
008 * Comparator for sorting invariants. Uses the ConsequentPairComparator, initialized with the
009 * ClassVarnameFormulaComparator. See the documentation for those two classes to figure out what
010 * this class does.
011 */
012public class ConsequentCVFPairComparator implements Comparator<Invariant> {
013  private Comparator<Invariant> c =
014      new ConsequentPairComparator(new Invariant.ClassVarnameFormulaComparator());
015
016  @Pure
017  @Override
018  public int compare(Invariant inv1, Invariant inv2) {
019    return c.compare(inv1, inv2);
020  }
021}