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.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()

Vector

public Vector(int)

Vector

public Vector(int,
              int)

Vector

public Vector(Collection)
Method Detail

capacity

public int capacity()

hashCode

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

size

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

clear

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

removeAllElements

public void removeAllElements()

trimToSize

public void trimToSize()

isEmpty

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

ensureCapacity

public void ensureCapacity(int)

ensureCapacityHelper

private void ensureCapacityHelper(int)

removeElementAt

public void removeElementAt(int)

setSize

public void setSize(int)

removeRange

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

writeObject

private void writeObject(ObjectOutputStream)
                  throws IOException
Throws:
IOException

clone

public Object clone()
Overrides:
clone in class Object

firstElement

public Object firstElement()

lastElement

public Object lastElement()

toArray

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

elementAt

public Object elementAt(int)

get

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

remove

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

add

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

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

addElement

public void addElement(Object)

add

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

contains

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

equals

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

remove

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

removeElement

public boolean removeElement(Object)

indexOf

public int indexOf(Object,
                   int)

lastIndexOf

public int lastIndexOf(Object,
                       int)

insertElementAt

public void insertElementAt(Object,
                            int)

setElementAt

public void setElementAt(Object,
                         int)

copyInto

public void copyInto(Object[])

toString

public String toString()
Overrides:
toString in class AbstractCollection

addAll

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

addAll

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

containsAll

public boolean containsAll(Collection)
Specified by:
containsAll in interface List
Overrides:
containsAll 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

elements

public Enumeration elements()

subList

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

set

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

toArray

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

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.