class ITERATOR_ON_BIT_STRING

All features

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

Direct parents

conformant parents

ITERATOR

Summary

creation features

exported features

Details

make (bit_string_: BIT_STRING)

ensure

  • bit_string = bit_string_

bit_string: BIT_STRING
index: INTEGER
make (bit_string_: BIT_STRING)

ensure

  • bit_string = bit_string_

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: BOOLEAN

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

Class invariant