public static class DfsObjDatabase.PackSource.ComparatorBuilder
extends java.lang.Object
DfsObjDatabase.PackSource ordering where some values are
explicitly considered equal to others.| Modifier and Type | Field and Description |
|---|---|
private int |
counter |
private java.util.Map<DfsObjDatabase.PackSource,java.lang.Integer> |
ranks |
| Constructor and Description |
|---|
ComparatorBuilder() |
| Modifier and Type | Method and Description |
|---|---|
DfsObjDatabase.PackSource.ComparatorBuilder |
add(DfsObjDatabase.PackSource... sources)
Add a collection of sources that should sort as equal.
|
java.util.Comparator<DfsObjDatabase.PackSource> |
build()
Build the comparator.
|
private final java.util.Map<DfsObjDatabase.PackSource,java.lang.Integer> ranks
private int counter
public DfsObjDatabase.PackSource.ComparatorBuilder add(DfsObjDatabase.PackSource... sources)
Sources in the input will sort after sources listed in previous calls to this method.
sources - sources in this equivalence class.public java.util.Comparator<DfsObjDatabase.PackSource> build()
java.lang.IllegalArgumentException - not all DfsObjDatabase.PackSource instances were explicitly assigned
an equivalence class.