daikon.diff
Class ConsequentPairComparator

Object
  ConsequentPairComparator

All Implemented Interfaces:

Comparator<Invariant>

public class ConsequentPairComparator
extends Object
implements Comparator<Invariant>

Comparator for pairing invariants. In an invariant in set2 is an implication, its consequent is used instead of the whole invariant. In set1, the whole invariant is always used. Some examples: this.compare(A, B->A) == c.compare(A, A) this.compare(C, D) == c.compare(C, D)

Constructor Summary

ConsequentPairComparator(Comparator<Invariant> c)

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

ConsequentPairComparator

public ConsequentPairComparator(Comparator<Invariant> c)

Method Detail

compare

public int compare(Invariant inv1,
                   Invariant inv2)

Specified by:

compare in interface Comparator<Invariant>