[gobo-eiffel-develop] Iterators for DS_TABLE?

[Colin A. <col...@go...>]

Quite often I have a need to iterate over a DS_HASH_TABLE and inspect
both the item and the key. Currently I have no choice but to use a
cursor, as the features in the Iteration feature clause do not pass
the key to the agent.

It would be nice to have do_all_key, do_if_key etc. where the agent
receives both the item and the key. Ideally, these would be declared
for DS_TABLE.