class ITERATOR_ON_TWO_WAY_LINKED_LIST [E_]

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 (twll: TWO_WAY_LINKED_LIST[E_])

require

  • twll /= Void

ensure

    make (twll: TWO_WAY_LINKED_LIST[E_])

    require

    • twll /= 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: E_

      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