Top
ITERATOR_ON_COLLECTION
ITERATOR_ON_DICTIONARY_KEYS
class interface ITERATOR_ON_DICTIONARY_ITEMS[E]
-- Please do not use this class directly. Look at ITERATOR.
creation
make (d: DICTIONARY[E,HASHABLE])
require
d /= Void
ensure
dictionary = d
feature(s) from ITERATOR 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
feature(s) from ITERATOR_ON_DICTIONARY_ITEMS make (d: DICTIONARY[E,HASHABLE])
require
d /= Void
ensure
dictionary = d
end of ITERATOR_ON_DICTIONARY_ITEMS[E]
All classes inherit from ANY, ANY inherits from
PLATFORM
and PLATFORM inherits from GENERAL.
Generated by short -html_deb on 31 March 2005.