JML

java.util
Class ArrayList

java.lang.Object
  extended byjava.util.AbstractCollection
      extended byjava.util.AbstractList
          extended byjava.util.ArrayList
All Implemented Interfaces:
Cloneable, Collection, List, RandomAccess, Serializable
Direct Known Subclasses:
JTypeDeclaration.DispatcherClassList, JTypeDeclaration.MethodList

public class ArrayList
extends AbstractList
implements List, RandomAccess, Cloneable, Serializable


Nested Class Summary
 
Nested classes inherited from class java.util.AbstractList
AbstractList.1
 
Field Summary
private  Object[] elementData
           
private static long serialVersionUID
           
private  int size
           
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
ArrayList()
           
ArrayList(int)
           
ArrayList(Collection)
           
 
Method Summary
 void add(int, Object)
           
 boolean add(Object)
           
 boolean addAll(int, Collection)
           
 boolean addAll(Collection)
           
 void clear()
           
 Object clone()
           
 boolean contains(Object)
           
 void ensureCapacity(int)
           
private  void fastRemove(int)
           
 Object get(int)
           
 int indexOf(Object)
           
 boolean isEmpty()
           
 int lastIndexOf(Object)
           
private  void RangeCheck(int)
           
private  void readObject(ObjectInputStream)
           
 Object remove(int)
           
 boolean remove(Object)
           
protected  void removeRange(int, int)
           
 Object set(int, Object)
           
 int size()
           
 Object[] toArray()
           
 Object[] toArray(Object[])
           
 void trimToSize()
           
private  void writeObject(ObjectOutputStream)
           
 
Methods inherited from class java.util.AbstractList
equals, hashCode, iterator, listIterator, listIterator, subList
 
Methods inherited from class java.util.AbstractCollection
containsAll, removeAll, retainAll, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
containsAll, equals, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList
 

Field Detail

size

private int size

elementData

private transient Object[] elementData

serialVersionUID

private static final long serialVersionUID
Constructor Detail

ArrayList

public ArrayList(int)

ArrayList

public ArrayList()

ArrayList

public ArrayList(Collection)
Method Detail

trimToSize

public void trimToSize()

ensureCapacity

public void ensureCapacity(int)

size

public int size()
Specified by:
size in interface List

isEmpty

public boolean isEmpty()
Specified by:
isEmpty in interface List
Overrides:
isEmpty in class AbstractCollection

contains

public boolean contains(Object)
Specified by:
contains in interface List
Overrides:
contains in class AbstractCollection

indexOf

public int indexOf(Object)
Specified by:
indexOf in interface List
Overrides:
indexOf in class AbstractList

lastIndexOf

public int lastIndexOf(Object)
Specified by:
lastIndexOf in interface List
Overrides:
lastIndexOf in class AbstractList

clone

public Object clone()
Overrides:
clone in class Object

toArray

public Object[] toArray()
Specified by:
toArray in interface List
Overrides:
toArray in class AbstractCollection

toArray

public Object[] toArray(Object[])
Specified by:
toArray in interface List
Overrides:
toArray in class AbstractCollection

get

public Object get(int)
Specified by:
get in interface List

set

public Object set(int,
                  Object)
Specified by:
set in interface List
Overrides:
set in class AbstractList

add

public boolean add(Object)
Specified by:
add in interface List
Overrides:
add in class AbstractList

add

public void add(int,
                Object)
Specified by:
add in interface List
Overrides:
add in class AbstractList

remove

public Object remove(int)
Specified by:
remove in interface List
Overrides:
remove in class AbstractList

remove

public boolean remove(Object)
Specified by:
remove in interface List
Overrides:
remove in class AbstractCollection

fastRemove

private void fastRemove(int)

clear

public void clear()
Specified by:
clear in interface List
Overrides:
clear in class AbstractList

addAll

public boolean addAll(Collection)
Specified by:
addAll in interface List
Overrides:
addAll in class AbstractCollection

addAll

public boolean addAll(int,
                      Collection)
Specified by:
addAll in interface List
Overrides:
addAll in class AbstractList

removeRange

protected void removeRange(int,
                           int)
Overrides:
removeRange in class AbstractList

RangeCheck

private void RangeCheck(int)

writeObject

private void writeObject(ObjectOutputStream)
                  throws IOException
Throws:
IOException

readObject

private void readObject(ObjectInputStream)
                 throws IOException,
                        ClassNotFoundException
Throws:
IOException
ClassNotFoundException

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.