daikon.inv
Class Invariant.ClassVarnameComparator

Object
  Invariant.ClassVarnameComparator

All Implemented Interfaces:

Comparator<Invariant>

Enclosing class:

Invariant

public static final class Invariant.ClassVarnameComparator
extends Object
implements Comparator<Invariant>

Constructor Summary

Invariant.ClassVarnameComparator()

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

Invariant.ClassVarnameComparator

public Invariant.ClassVarnameComparator()

Method Detail

compare

public int compare(Invariant inv1,
                   Invariant inv2)

Specified by:

compare in interface Comparator<Invariant>