home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
class DIRECTORY_POOL
Summary
top
Direct parents
insert list:
ANY
Overview
top
creation features
make
features
make
add_directory
(directory:
STRING
)
new_search
get_next_directory
:
STRING
is_last_directory
:
BOOLEAN
directories
:
LINKED_LIST
[
STRING
]
iterator
:
ITERATOR
[
STRING
]
make
effective procedure
top
add_directory
(directory:
STRING
)
effective procedure
top
require
not
directories
.has(directory)
ensure
directories
.has(directory)
new_search
effective procedure
top
get_next_directory
:
STRING
effective function
top
is_last_directory
:
BOOLEAN
writable attribute
top
directories
:
LINKED_LIST
[
STRING
]
writable attribute
top
iterator
:
ITERATOR
[
STRING
]
writable attribute
top