JML

java.util
Interface NavigableSet

All Superinterfaces:
Collection, Set, SortedSet
All Known Implementing Classes:
TreeSet

public interface NavigableSet
extends SortedSet


Method Summary
 Object ceiling(Object)
           
 Iterator descendingIterator()
           
 NavigableSet descendingSet()
           
 Object floor(Object)
           
 SortedSet headSet(Object)
           
 NavigableSet headSet(Object, boolean)
           
 Object higher(Object)
           
 Iterator iterator()
           
 Object lower(Object)
           
 Object pollFirst()
           
 Object pollLast()
           
 NavigableSet subSet(Object, boolean, Object, boolean)
           
 SortedSet subSet(Object, Object)
           
 SortedSet tailSet(Object)
           
 NavigableSet tailSet(Object, boolean)
           
 
Methods inherited from interface java.util.SortedSet
comparator, first, last
 
Methods inherited from interface java.util.Set
add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, remove, removeAll, retainAll, size, toArray, toArray
 

Method Detail

lower

public Object lower(Object)

floor

public Object floor(Object)

ceiling

public Object ceiling(Object)

higher

public Object higher(Object)

pollFirst

public Object pollFirst()

pollLast

public Object pollLast()

iterator

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

descendingSet

public NavigableSet descendingSet()

descendingIterator

public Iterator descendingIterator()

subSet

public NavigableSet subSet(Object,
                           boolean,
                           Object,
                           boolean)

headSet

public NavigableSet headSet(Object,
                            boolean)

tailSet

public NavigableSet tailSet(Object,
                            boolean)

subSet

public SortedSet subSet(Object,
                        Object)
Specified by:
subSet in interface SortedSet

headSet

public SortedSet headSet(Object)
Specified by:
headSet in interface SortedSet

tailSet

public SortedSet tailSet(Object)
Specified by:
tailSet in interface SortedSet

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.