+
Point of view
INTERNALS_HANDLER
class DIRECTORY
require
- not directory_path.is_empty
- directory_path /= path
ensure
scan_subdirectory (subdirectory:
STRING)
effective procedure
scan_current_working_directory
effective procedure
ensure
-
definition: Result = count = 0