Invariant.ClassVarnameFormulaComparator

Object
- ClassVarnameFormulaComparator

All Implemented Interfaces:

Comparator<Invariant>

Enclosing class:

Invariant
```
public static final class Invariant.ClassVarnameFormulaComparator
extends Object
implements Comparator<Invariant>
```
Orders invariants by class, then variable names, then formula. If the formulas are the same, compares the printed representation obtained from the format() method.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  ClassVarnameFormulaComparator()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  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, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail
- ClassVarnameFormulaComparator
```
public ClassVarnameFormulaComparator()
```

Method Detail

compare

@Pure
public int compare(Invariant inv1,
                   Invariant inv2)

Specified by:: compare in interface Comparator<Invariant>