Package org.plumelib.util

Class ArrayMap.ArrayMapIterator

java.lang.Object
org.plumelib.util.ArrayMap.ArrayMapIterator
Direct Known Subclasses:
ArrayMap.EntryIterator, ArrayMap.KeyIterator, ArrayMap.ValueIterator
Enclosing class:
ArrayMap<K extends @UnknownSignedness Object,V extends @UnknownSignedness Object>
abstract class ArrayMap.ArrayMapIterator extends Object
An iterator over the ArrayMap.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    (package private) @org.checkerframework.checker.index.qual.NonNegative int
    index
    The first unread index; the index of the next value to return.
    (package private) int
    initialSizeModificationCount
    The modification count when the iterator is created, for fail-fast.
    (package private) boolean
    removed
    True if remove() has been called since the last call to next().

  • Constructor Summary

    Constructors
    Constructor
    Description
    ArrayMapIterator()
    Creates a new ArrayMapIterator.

  • Method Summary

    Modifier and Type
    Method
    Description
    final boolean
    hasNext()
    Returns true if this has another element.
    final void
    remove()
    Removes the previously-returned element.

    Methods inherited from class java.lang.Object

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

  • Field Details

    • index

      @org.checkerframework.checker.index.qual.NonNegative int index
      The first unread index; the index of the next value to return.

    • removed

      boolean removed
      True if remove() has been called since the last call to next().

    • initialSizeModificationCount

      int initialSizeModificationCount
      The modification count when the iterator is created, for fail-fast.

  • Constructor Details

    • ArrayMapIterator

      @SideEffectFree ArrayMapIterator()
      Creates a new ArrayMapIterator.

  • Method Details

    • hasNext

      @Pure public final boolean hasNext()
      Returns true if this has another element.
      Returns:
      true if this has another element

    • remove

      public final void remove()
      Removes the previously-returned element.