class ITERATOR_ON_UNICODE_STRING

Features exported to INTERNALS_HANDLER

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

Direct parents

conformant parents

ITERATOR

Summary

creation features

exported features

Details

make (s: UNICODE_STRING)

require

  • s /= Void

ensure

    make (s: UNICODE_STRING)

    require

    • s /= 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: INTEGER

      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