class ITERATOR_ON_BIJECTIVE_DICTIONARY_KEYS [V_, K_]

Features exported to ANY

Please do not use this class directly. Look at ITERATOR.

Direct parents

conformant parents

ITERATOR

Summary

creation features

exported features

Details

make (d: BIJECTIVE_DICTIONARY[V_K_])

require

  • d /= Void

ensure

    make (d: BIJECTIVE_DICTIONARY[V_K_])

    require

    • d /= Void

    ensure

      start

      Positions the iterator to the first object in the aggregate to be traversed.

      is_off: BOOLEAN

      Returns True when there are no more objects in the sequence.

      item: K_

      Returns the object at the current position in the sequence.

      require

      • not is_off

      next

      Positions the iterator to the next object in the sequence.

      require

      • not is_off