JML

java.util
Class TreeMap.KeySet

java.lang.Object
  extended byjava.util.AbstractCollection
      extended byjava.util.AbstractSet
          extended byjava.util.TreeMap.KeySet
All Implemented Interfaces:
Collection, NavigableSet, Set, SortedSet
Enclosing class:
TreeMap

static final class TreeMap.KeySet
extends AbstractSet
implements NavigableSet


Field Summary
private  NavigableMap m
           
 
Constructor Summary
(package private) TreeMap.KeySet(NavigableMap)
           
 
Method Summary
 Object ceiling(Object)
           
 void clear()
           
 Comparator comparator()
           
 boolean contains(Object)
           
 Iterator descendingIterator()
           
 NavigableSet descendingSet()
           
 Object first()
           
 Object floor(Object)
           
 SortedSet headSet(Object)
           
 NavigableSet headSet(Object, boolean)
           
 Object higher(Object)
           
 boolean isEmpty()
           
 Iterator iterator()
           
 Object last()
           
 Object lower(Object)
           
 Object pollFirst()
           
 Object pollLast()
           
 boolean remove(Object)
           
 int size()
           
 NavigableSet subSet(Object, boolean, Object, boolean)
           
 SortedSet subSet(Object, Object)
           
 SortedSet tailSet(Object)
           
 NavigableSet tailSet(Object, boolean)
           
 
Methods inherited from class java.util.AbstractSet
equals, hashCode, removeAll
 
Methods inherited from class java.util.AbstractCollection
add, addAll, containsAll, retainAll, toArray, toArray, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Set
add, addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray
 

Field Detail

m

private final NavigableMap m
Constructor Detail

TreeMap.KeySet

TreeMap.KeySet(NavigableMap)
Method Detail

iterator

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

descendingIterator

public Iterator descendingIterator()
Specified by:
descendingIterator in interface NavigableSet

size

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

isEmpty

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

contains

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

clear

public void clear()
Specified by:
clear in interface Set
Overrides:
clear in class AbstractCollection

lower

public Object lower(Object)
Specified by:
lower in interface NavigableSet

floor

public Object floor(Object)
Specified by:
floor in interface NavigableSet

ceiling

public Object ceiling(Object)
Specified by:
ceiling in interface NavigableSet

higher

public Object higher(Object)
Specified by:
higher in interface NavigableSet

first

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

last

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

comparator

public Comparator comparator()
Specified by:
comparator in interface SortedSet

pollFirst

public Object pollFirst()
Specified by:
pollFirst in interface NavigableSet

pollLast

public Object pollLast()
Specified by:
pollLast in interface NavigableSet

remove

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

subSet

public NavigableSet subSet(Object,
                           boolean,
                           Object,
                           boolean)
Specified by:
subSet in interface NavigableSet

headSet

public NavigableSet headSet(Object,
                            boolean)
Specified by:
headSet in interface NavigableSet

tailSet

public NavigableSet tailSet(Object,
                            boolean)
Specified by:
tailSet in interface NavigableSet

subSet

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

headSet

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

tailSet

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

descendingSet

public NavigableSet descendingSet()
Specified by:
descendingSet in interface NavigableSet

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.