Каков правильный способ уточнения типа итерации через наследование.
поскольку наследование FOO [например, babar] не разрешено
ФОО
class FOO
inherit
ITERABLE[detachable ANY] -- I know garbage but for DB_RESULT its the case
feature -- Access
new_cursor: ITERATION_CURSOR[like items.item]
do
Result := items.new_cursor
end
items: ARRAY[detachable ANY]
end -- class FOO
БАР
class BAR
inherit
FOO -- I know garbage but for DB_RESULT its the case
ITERABLE[STRING] -- I know garbage but for DB_RESULT its the case
feature -- Access
new_cursor: ITERATION_CURSOR[like items.item]
do
Result := items.new_cursor
end
items: ARRAY[STRING]
end -- class FOO