JML

java.util
Interface List

All Superinterfaces:
Collection
All Known Implementing Classes:
AbstractList, ArrayList, LinkedList, Vector

public interface List
extends Collection


Method Summary
 void add(int, Object)
           
 boolean add(Object)
           
 boolean addAll(int, Collection)
           
 boolean addAll(Collection)
           
 void clear()
           
 boolean contains(Object)
           
 boolean containsAll(Collection)
           
 boolean equals(Object)
           
 Object get(int)
           
 int hashCode()
           
 int indexOf(Object)
           
 boolean isEmpty()
           
 Iterator iterator()
           
 int lastIndexOf(Object)
           
 ListIterator listIterator()
           
 ListIterator listIterator(int)
           
 Object remove(int)
           
 boolean remove(Object)
           
 boolean removeAll(Collection)
           
 boolean retainAll(Collection)
           
 Object set(int, Object)
           
 int size()
           
 List subList(int, int)
           
 Object[] toArray()
           
 Object[] toArray(Object[])
           
 

Method Detail

add

public void add(int,
                Object)

add

public boolean add(Object)
Specified by:
add in interface Collection

addAll

public boolean addAll(int,
                      Collection)

addAll

public boolean addAll(Collection)
Specified by:
addAll in interface Collection

clear

public void clear()
Specified by:
clear in interface Collection

contains

public boolean contains(Object)
Specified by:
contains in interface Collection

containsAll

public boolean containsAll(Collection)
Specified by:
containsAll in interface Collection

equals

public boolean equals(Object)
Specified by:
equals in interface Collection

get

public Object get(int)

hashCode

public int hashCode()
Specified by:
hashCode in interface Collection

indexOf

public int indexOf(Object)

isEmpty

public boolean isEmpty()
Specified by:
isEmpty in interface Collection

iterator

public Iterator iterator()
Specified by:
iterator in interface Collection

lastIndexOf

public int lastIndexOf(Object)

listIterator

public ListIterator listIterator()

listIterator

public ListIterator listIterator(int)

remove

public Object remove(int)

remove

public boolean remove(Object)
Specified by:
remove in interface Collection

removeAll

public boolean removeAll(Collection)
Specified by:
removeAll in interface Collection

retainAll

public boolean retainAll(Collection)
Specified by:
retainAll in interface Collection

set

public Object set(int,
                  Object)

size

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

subList

public List subList(int,
                    int)

toArray

public Object[] toArray()
Specified by:
toArray in interface Collection

toArray

public Object[] toArray(Object[])
Specified by:
toArray in interface Collection

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.