Searched refs:rankToName (Results 1 – 1 of 1) sorted by relevance
32 private List<K> rankToName = new ArrayList<K>(); field in MapComparator79 return Collections.unmodifiableList(rankToName); in getOrder()97 ordering.put(newObject, new Integer(rankToName.size())); in add()98 rankToName.add(newObject); in add()198 for (Iterator<K> it = rankToName.iterator(); it.hasNext();) { in toString()239 result.rankToName = (List<K>) ((ArrayList<K>) rankToName).clone(); in cloneAsThawed()