class DIRECTORY_POOL
All features
Direct parents
non-conformant parents
ANY
Summary
creation features
make
exported features
make
add_directory
(directory:
STRING
)
new_search
get_next_directory
:
STRING
is_last_directory
:
BOOLEAN
directories
:
LINKED_LIST
[
E_
][
STRING
]
iterator
:
ITERATOR
[
E_
][
STRING
]
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
]