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}