JML

java.util
Class Collections

java.lang.Object
  extended byjava.util.Collections

public class Collections
extends Object


Nested Class Summary
(package private) static class Collections.AsLIFOQueue
           
(package private) static class Collections.CheckedCollection
           
(package private) static class Collections.CheckedList
           
private static class Collections.CheckedMap
           
(package private) static class Collections.CheckedRandomAccessList
           
(package private) static class Collections.CheckedSet
           
(package private) static class Collections.CheckedSortedMap
           
(package private) static class Collections.CheckedSortedSet
           
private static class Collections.CopiesList
           
private static class Collections.EmptyList
           
private static class Collections.EmptyMap
           
private static class Collections.EmptySet
           
private static class Collections.ReverseComparator
           
private static class Collections.ReverseComparator2
           
private static interface Collections.SelfComparable
           
private static class Collections.SetFromMap
           
private static class Collections.SingletonList
           
private static class Collections.SingletonMap
           
private static class Collections.SingletonSet
           
(package private) static class Collections.SynchronizedCollection
           
(package private) static class Collections.SynchronizedList
           
private static class Collections.SynchronizedMap
           
(package private) static class Collections.SynchronizedRandomAccessList
           
(package private) static class Collections.SynchronizedSet
           
(package private) static class Collections.SynchronizedSortedMap
           
(package private) static class Collections.SynchronizedSortedSet
           
(package private) static class Collections.UnmodifiableCollection
           
(package private) static class Collections.UnmodifiableList
           
private static class Collections.UnmodifiableMap
           
(package private) static class Collections.UnmodifiableRandomAccessList
           
(package private) static class Collections.UnmodifiableSet
           
(package private) static class Collections.UnmodifiableSortedMap
           
(package private) static class Collections.UnmodifiableSortedSet
           
 
Field Summary
private static int BINARYSEARCH_THRESHOLD
           
private static int COPY_THRESHOLD
           
static List EMPTY_LIST
           
static Map EMPTY_MAP
           
static Set EMPTY_SET
           
private static int FILL_THRESHOLD
           
private static int INDEXOFSUBLIST_THRESHOLD
           
private static Random r
           
private static int REPLACEALL_THRESHOLD
           
private static Comparator REVERSE_ORDER
           
private static int REVERSE_THRESHOLD
           
private static int ROTATE_THRESHOLD
           
private static int SHUFFLE_THRESHOLD
           
 
Constructor Summary
private Collections()
           
 
Method Summary
static boolean addAll(Collection, Object[])
           
static Queue asLifoQueue(Deque)
           
static int binarySearch(List, Object)
           
static int binarySearch(List, Object, Comparator)
           
static Collection checkedCollection(Collection, Class)
           
static List checkedList(List, Class)
           
static Map checkedMap(Map, Class, Class)
           
static Set checkedSet(Set, Class)
           
static SortedMap checkedSortedMap(SortedMap, Class, Class)
           
static SortedSet checkedSortedSet(SortedSet, Class)
           
static void copy(List, List)
           
static boolean disjoint(Collection, Collection)
           
static List emptyList()
           
static Map emptyMap()
           
static Set emptySet()
           
static Enumeration enumeration(Collection)
           
private static boolean eq(Object, Object)
           
static void fill(List, Object)
           
static int frequency(Collection, Object)
           
private static Object get(ListIterator, int)
           
private static int indexedBinarySearch(List, Object)
           
private static int indexedBinarySearch(List, Object, Comparator)
           
static int indexOfSubList(List, List)
           
private static int iteratorBinarySearch(List, Object)
           
private static int iteratorBinarySearch(List, Object, Comparator)
           
static int lastIndexOfSubList(List, List)
           
static ArrayList list(Enumeration)
           
static Object max(Collection)
           
static Object max(Collection, Comparator)
           
static Object min(Collection)
           
static Object min(Collection, Comparator)
           
static List nCopies(int, Object)
           
static Set newSetFromMap(Map)
           
static boolean replaceAll(List, Object, Object)
           
static void reverse(List)
           
static Comparator reverseOrder()
           
static Comparator reverseOrder(Comparator)
           
static void rotate(List, int)
           
private static void rotate1(List, int)
           
private static void rotate2(List, int)
           
static void shuffle(List)
           
static void shuffle(List, Random)
           
static Set singleton(Object)
           
static List singletonList(Object)
           
static Map singletonMap(Object, Object)
           
static void sort(List)
           
static void sort(List, Comparator)
           
private static void swap(Object[], int, int)
           
static void swap(List, int, int)
           
static Collection synchronizedCollection(Collection)
           
(package private) static Collection synchronizedCollection(Collection, Object)
           
static List synchronizedList(List)
           
(package private) static List synchronizedList(List, Object)
           
static Map synchronizedMap(Map)
           
static Set synchronizedSet(Set)
           
(package private) static Set synchronizedSet(Set, Object)
           
static SortedMap synchronizedSortedMap(SortedMap)
           
static SortedSet synchronizedSortedSet(SortedSet)
           
static Collection unmodifiableCollection(Collection)
           
static List unmodifiableList(List)
           
static Map unmodifiableMap(Map)
           
static Set unmodifiableSet(Set)
           
static SortedMap unmodifiableSortedMap(SortedMap)
           
static SortedSet unmodifiableSortedSet(SortedSet)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

FILL_THRESHOLD

private static final int FILL_THRESHOLD

BINARYSEARCH_THRESHOLD

private static final int BINARYSEARCH_THRESHOLD

SHUFFLE_THRESHOLD

private static final int SHUFFLE_THRESHOLD

REVERSE_ORDER

private static final Comparator REVERSE_ORDER

REVERSE_THRESHOLD

private static final int REVERSE_THRESHOLD

INDEXOFSUBLIST_THRESHOLD

private static final int INDEXOFSUBLIST_THRESHOLD

EMPTY_MAP

public static final Map EMPTY_MAP

EMPTY_SET

public static final Set EMPTY_SET

r

private static Random r

REPLACEALL_THRESHOLD

private static final int REPLACEALL_THRESHOLD

COPY_THRESHOLD

private static final int COPY_THRESHOLD

ROTATE_THRESHOLD

private static final int ROTATE_THRESHOLD

EMPTY_LIST

public static final List EMPTY_LIST
Constructor Detail

Collections

private Collections()
Method Detail

sort

public static void sort(List)

sort

public static void sort(List,
                        Comparator)

binarySearch

public static int binarySearch(List,
                               Object)

indexedBinarySearch

private static int indexedBinarySearch(List,
                                       Object)

iteratorBinarySearch

private static int iteratorBinarySearch(List,
                                        Object)

get

private static Object get(ListIterator,
                          int)

binarySearch

public static int binarySearch(List,
                               Object,
                               Comparator)

indexedBinarySearch

private static int indexedBinarySearch(List,
                                       Object,
                                       Comparator)

iteratorBinarySearch

private static int iteratorBinarySearch(List,
                                        Object,
                                        Comparator)

reverse

public static void reverse(List)

shuffle

public static void shuffle(List)

shuffle

public static void shuffle(List,
                           Random)

swap

public static void swap(List,
                        int,
                        int)

swap

private static void swap(Object[],
                         int,
                         int)

fill

public static void fill(List,
                        Object)

copy

public static void copy(List,
                        List)

min

public static Object min(Collection)

min

public static Object min(Collection,
                         Comparator)

max

public static Object max(Collection)

max

public static Object max(Collection,
                         Comparator)

rotate

public static void rotate(List,
                          int)

rotate1

private static void rotate1(List,
                            int)

rotate2

private static void rotate2(List,
                            int)

replaceAll

public static boolean replaceAll(List,
                                 Object,
                                 Object)

indexOfSubList

public static int indexOfSubList(List,
                                 List)

lastIndexOfSubList

public static int lastIndexOfSubList(List,
                                     List)

unmodifiableCollection

public static Collection unmodifiableCollection(Collection)

unmodifiableSet

public static Set unmodifiableSet(Set)

unmodifiableSortedSet

public static SortedSet unmodifiableSortedSet(SortedSet)

unmodifiableList

public static List unmodifiableList(List)

unmodifiableMap

public static Map unmodifiableMap(Map)

unmodifiableSortedMap

public static SortedMap unmodifiableSortedMap(SortedMap)

synchronizedCollection

public static Collection synchronizedCollection(Collection)

synchronizedCollection

static Collection synchronizedCollection(Collection,
                                         Object)

synchronizedSet

public static Set synchronizedSet(Set)

synchronizedSet

static Set synchronizedSet(Set,
                           Object)

synchronizedSortedSet

public static SortedSet synchronizedSortedSet(SortedSet)

synchronizedList

public static List synchronizedList(List)

synchronizedList

static List synchronizedList(List,
                             Object)

synchronizedMap

public static Map synchronizedMap(Map)

synchronizedSortedMap

public static SortedMap synchronizedSortedMap(SortedMap)

checkedCollection

public static Collection checkedCollection(Collection,
                                           Class)

checkedSet

public static Set checkedSet(Set,
                             Class)

checkedSortedSet

public static SortedSet checkedSortedSet(SortedSet,
                                         Class)

checkedList

public static List checkedList(List,
                               Class)

checkedMap

public static Map checkedMap(Map,
                             Class,
                             Class)

checkedSortedMap

public static SortedMap checkedSortedMap(SortedMap,
                                         Class,
                                         Class)

emptySet

public static final Set emptySet()

emptyList

public static final List emptyList()

emptyMap

public static final Map emptyMap()

singleton

public static Set singleton(Object)

singletonList

public static List singletonList(Object)

singletonMap

public static Map singletonMap(Object,
                               Object)

nCopies

public static List nCopies(int,
                           Object)

reverseOrder

public static Comparator reverseOrder()

reverseOrder

public static Comparator reverseOrder(Comparator)

enumeration

public static Enumeration enumeration(Collection)

list

public static ArrayList list(Enumeration)

eq

private static boolean eq(Object,
                          Object)

frequency

public static int frequency(Collection,
                            Object)

disjoint

public static boolean disjoint(Collection,
                               Collection)

addAll

public static transient boolean addAll(Collection,
                                       Object[])

newSetFromMap

public static Set newSetFromMap(Map)

asLifoQueue

public static Queue asLifoQueue(Deque)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.