Package org.plumelib.util

Class ArrayMap.KeyIterator

java.lang.Object

ArrayMap<K,V>.ArrayMapIterator

org.plumelib.util.ArrayMap.KeyIterator

All Implemented Interfaces:

Iterator<@KeyFor("this") K>

Enclosing class:

ArrayMap<K extends @UnknownSignedness Object,V extends @UnknownSignedness Object>

final class ArrayMap.KeyIterator
extends ArrayMap<K,V>.ArrayMapIterator
implements Iterator<@KeyFor("this") K>

An iterator over the keys.

Field Summary

Fields inherited from class org.plumelib.util.ArrayMap.ArrayMapIterator

index, initialSizeModificationCount, removed

Constructor Summary

Constructors

Constructor	Description
KeyIterator()	Creates a new KeyIterator.

Method Summary

Modifier and Type	Method	Description
final @KeyFor("ArrayMap.this") K	next()

Methods inherited from class org.plumelib.util.ArrayMap.ArrayMapIterator

hasNext, remove

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining, hasNext, remove

Constructor Details

KeyIterator

@SideEffectFree
KeyIterator()

Creates a new KeyIterator.

Method Details

next

public final @KeyFor("ArrayMap.this") K next()

Specified by:

next in interface Iterator<@KeyFor("this") K extends @UnknownSignedness Object>