JML

java.util
Class Collections

java.lang.Object
  extended byjava.util.Collections

public class Collections
extends Object


Nested Class Summary
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.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
           
 
Model Field Summary
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Ghost Field Summary
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
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()
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
static int binarySearch(List, Object)
           
static int binarySearch(List, Object, Comparator)
           
static void copy(List, List)
           
static Enumeration enumeration(Collection)
           
private static boolean eq(Object, Object)
           
static void fill(List, 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 boolean replaceAll(List, Object, Object)
           
static void reverse(List)
           
static Comparator reverseOrder()
           
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

swap

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

reverseOrder

public static Comparator reverseOrder()

reverse

public static void reverse(List)

shuffle

public static void shuffle(List)

sort

public static void sort(List)

rotate

public static void rotate(List,
                          int)

rotate1

private static void rotate1(List,
                            int)

rotate2

private static void rotate2(List,
                            int)

swap

public static void swap(List,
                        int,
                        int)

eq

private static boolean eq(Object,
                          Object)

max

public static Object max(Collection)

min

public static Object min(Collection)

binarySearch

public static int binarySearch(List,
                               Object)

indexedBinarySearch

private static int indexedBinarySearch(List,
                                       Object)

iteratorBinarySearch

private static int iteratorBinarySearch(List,
                                        Object)

fill

public static void fill(List,
                        Object)

get

private static Object get(ListIterator,
                          int)

list

public static ArrayList list(Enumeration)

synchronizedCollection

public static Collection synchronizedCollection(Collection)

unmodifiableCollection

public static Collection unmodifiableCollection(Collection)

sort

public static void sort(List,
                        Comparator)

enumeration

public static Enumeration enumeration(Collection)

nCopies

public static List nCopies(int,
                           Object)

singletonList

public static List singletonList(Object)

synchronizedList

public static List synchronizedList(List)

unmodifiableList

public static List unmodifiableList(List)

indexOfSubList

public static int indexOfSubList(List,
                                 List)

lastIndexOfSubList

public static int lastIndexOfSubList(List,
                                     List)

copy

public static void copy(List,
                        List)

synchronizedMap

public static Map synchronizedMap(Map)

unmodifiableMap

public static Map unmodifiableMap(Map)

shuffle

public static void shuffle(List,
                           Random)

singleton

public static Set singleton(Object)

synchronizedSet

public static Set synchronizedSet(Set)

unmodifiableSet

public static Set unmodifiableSet(Set)

synchronizedSortedMap

public static SortedMap synchronizedSortedMap(SortedMap)

unmodifiableSortedMap

public static SortedMap unmodifiableSortedMap(SortedMap)

synchronizedSortedSet

public static SortedSet synchronizedSortedSet(SortedSet)

unmodifiableSortedSet

public static SortedSet unmodifiableSortedSet(SortedSet)

replaceAll

public static boolean replaceAll(List,
                                 Object,
                                 Object)

max

public static Object max(Collection,
                         Comparator)

min

public static Object min(Collection,
                         Comparator)

synchronizedCollection

static Collection synchronizedCollection(Collection,
                                         Object)

binarySearch

public static int binarySearch(List,
                               Object,
                               Comparator)

indexedBinarySearch

private static int indexedBinarySearch(List,
                                       Object,
                                       Comparator)

iteratorBinarySearch

private static int iteratorBinarySearch(List,
                                        Object,
                                        Comparator)

synchronizedList

static List synchronizedList(List,
                             Object)

singletonMap

public static Map singletonMap(Object,
                               Object)

synchronizedSet

static Set synchronizedSet(Set,
                           Object)

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.