+
Point of view
INTERNALS_HANDLER
expanded class BASIC_DIRECTORY
- Direct parents
- insert list: ANY
connect_to (directory_path:
STRING)
effective procedure
connect_with (some_path:
STRING)
effective procedure
connect_to_current_working_directory
effective procedure
compute_parent_directory_of (some_path:
STRING)
effective procedure
require
- not some_path.is_empty
-
common_buffer_protection: last_entry /= some_path
compute_subdirectory_with (parent_path:
STRING, entry_name:
STRING)
effective procedure
require
- not parent_path.is_empty
- not entry_name.is_empty
-
common_buffer_protection1: last_entry /= parent_path
-
common_buffer_protection2: last_entry /= entry_name
compute_file_path_with (parent_path:
STRING, file_name:
STRING)
effective procedure
require
- not parent_path.is_empty
- not file_name.is_empty
-
common_buffer_protection1: last_entry /= parent_path
-
common_buffer_protection2: last_entry /= file_name
compute_absolute_file_path_with (path:
STRING)
effective procedure
change_current_working_directory (directory_path:
STRING)
effective procedure
current_working_directory:
STRING
effective function
remove_files_of (directory_path:
STRING)
effective procedure