JML

java.util
Interface Queue

All Superinterfaces:
Collection
All Known Subinterfaces:
Deque
All Known Implementing Classes:
LinkedList

public interface Queue
extends Collection


Method Summary
 boolean add(Object)
           
 Object element()
           
 boolean offer(Object)
           
 Object peek()
           
 Object poll()
           
 Object remove()
           
 
Methods inherited from interface java.util.Collection
addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray
 

Method Detail

add

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

offer

public boolean offer(Object)

remove

public Object remove()

poll

public Object poll()

element

public Object element()

peek

public Object peek()

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.