JML

java.util
Class Vector

java.lang.Object
  extended byjava.util.AbstractCollection
      extended byjava.util.AbstractList
          extended byjava.util.Vector
All Implemented Interfaces:
Cloneable, Collection, List, RandomAccess, Serializable
Direct Known Subclasses:
Stack

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


Nested Class Summary
 
Nested classes inherited from class java.util.AbstractList
AbstractList.1
 
Field Summary
protected  int capacityIncrement
           
protected  int elementCount
           
protected  Object[] elementData
           
private static long serialVersionUID
           
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
Vector()
           
Vector(int)
           
Vector(int, int)
           
Vector(Collection)
           
 
Method Summary
 void add(int, Object)
           
 boolean add(Object)
           
 boolean addAll(int, Collection)
           
 boolean addAll(Collection)
           
 void addElement(Object)
           
 int capacity()
           
 void clear()
           
 Object clone()
           
 boolean contains(Object)
           
 boolean containsAll(Collection)
           
 void copyInto(Object[])
           
 Object elementAt(int)
           
 Enumeration elements()
           
 void ensureCapacity(int)
           
private  void ensureCapacityHelper(int)
           
 boolean equals(Object)
           
 Object firstElement()
           
 Object get(int)
           
 int hashCode()
           
 int indexOf(Object)
           
 int indexOf(Object, int)
           
 void insertElementAt(Object, int)
           
 boolean isEmpty()
           
 Object lastElement()
           
 int lastIndexOf(Object)
           
 int lastIndexOf(Object, int)
           
 Object remove(int)
           
 boolean remove(Object)
           
 boolean removeAll(Collection)
           
 void removeAllElements()
           
 boolean removeElement(Object)
           
 void removeElementAt(int)
           
protected  void removeRange(int, int)
           
 boolean retainAll(Collection)
           
 Object set(int, Object)
           
 void setElementAt(Object, int)
           
 void setSize(int)
           
 int size()
           
 List subList(int, int)
           
 Object[] toArray()
           
 Object[] toArray(Object[])
           
 String toString()
           
 void trimToSize()
           
private  void writeObject(ObjectOutputStream)
           
 
Methods inherited from class java.util.AbstractList
iterator, listIterator, listIterator
 
Methods inherited from class java.util.AbstractCollection
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
iterator, listIterator, listIterator
 

Field Detail

elementData

protected Object[] elementData

capacityIncrement

protected int capacityIncrement

elementCount

protected int elementCount

serialVersionUID

private static final long serialVersionUID
Constructor Detail

Vector

public Vector(int,
              int)

Vector

public Vector(int)

Vector

public Vector()

Vector

public Vector(Collection)
Method Detail

copyInto

public void copyInto(Object[])

trimToSize

public void trimToSize()

ensureCapacity

public void ensureCapacity(int)

ensureCapacityHelper

private void ensureCapacityHelper(int)

setSize

public void setSize(int)

capacity

public int capacity()

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

elements

public Enumeration elements()

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

indexOf

public int indexOf(Object,
                   int)

lastIndexOf

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

lastIndexOf

public int lastIndexOf(Object,
                       int)

elementAt

public Object elementAt(int)

firstElement

public Object firstElement()

lastElement

public Object lastElement()

setElementAt

public void setElementAt(Object,
                         int)

removeElementAt

public void removeElementAt(int)

insertElementAt

public void insertElementAt(Object,
                            int)

addElement

public void addElement(Object)

removeElement

public boolean removeElement(Object)

removeAllElements

public void removeAllElements()

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

remove

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

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

clear

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

containsAll

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

addAll

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

removeAll

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

retainAll

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

addAll

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

equals

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

hashCode

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

toString

public String toString()
Overrides:
toString in class AbstractCollection

subList

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

removeRange

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

writeObject

private void writeObject(ObjectOutputStream)
                  throws IOException
Throws:
IOException

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.