class DIRECTORY_POOL

All features

Direct parents

non-conformant parents

ANY

Summary

creation features

exported features

Details

make
make
add_directory (directory: STRING)

require

  • not directories.has(directory)

ensure

  • directories.has(directory)

new_search
get_next_directory: STRING
is_last_directory: BOOLEAN
directories: LINKED_LIST [E_][STRING]
iterator: ITERATOR [E_][STRING]