с последней версией Eiffel, я бы рекомендовал использовать DIRECTORY.entries
local
p: PATH
do
across dir.entries as ic loop
p := ic.item.path
-- then use interface of PATH, such as PATH.name
end
end
обратите внимание, что библиотека base_extension также предоставляет DIRECTORY_VISITOR, что полезно для рекурсивной итерации по каталогам