+
Point of view
All features
class DIRECTORY
Summary
Class invariant
Overview
creation features
  • make
    Make a new not assigned one.
  • scan (directory_path: STRING)
    Try to scan some existing directory_path which is supposed to be a correctly spelled directory path.
  • scan_with (some_path: STRING)
    Try to scan Current using some_path where some_path can be either a file path or an existing directory path.
  • scan_current_working_directory
features
  • path: STRING
    The directory path in use (see scan).
  • last_scan_status: BOOLEAN
    True when last scan (or last re_scan) has sucessfully read some existing directory using path.
Disk access:
  • scan (directory_path: STRING)
    Try to scan some existing directory_path which is supposed to be a correctly spelled directory path.
  • scan_with (some_path: STRING)
    Try to scan Current using some_path where some_path can be either a file path or an existing directory path.
  • scan_subdirectory (subdirectory: STRING)
    Try to scan the given subdirectory of the current one.
  • scan_parent_directory
    Try to scan the parent directory, if it exists.
  • re_scan
    Update internal information by reloading all the information about the path directory from the disk.
  • scan_current_working_directory
Access:
File access:
path: STRING
writable attribute
The directory path in use (see scan).
last_scan_status: BOOLEAN
writable attribute
True when last scan (or last re_scan) has sucessfully read some existing directory using path.
basic_directory: BASIC_DIRECTORY
writable attribute
Provide low level access to directories.
name_list: FAST_ARRAY[STRING]
writable attribute
Actual list of entries (files or subdirectories).
make
effective procedure
Make a new not assigned one.
init (suggested_path_capacity: INTEGER_32)
effective procedure
scan (directory_path: STRING)
effective procedure
Try to scan some existing directory_path which is supposed to be a correctly spelled directory path.
scan_with (some_path: STRING)
effective procedure
Try to scan Current using some_path where some_path can be either a file path or an existing directory path.
scan_subdirectory (subdirectory: STRING)
effective procedure
Try to scan the given subdirectory of the current one.
scan_parent_directory
effective procedure
Try to scan the parent directory, if it exists.
re_scan
effective procedure
Update internal information by reloading all the information about the path directory from the disk.
scan_current_working_directory
effective procedure
lower: INTEGER_32
constant attribute
Index of the first item.
upper: INTEGER_32
effective function
Index of the last item.
count: INTEGER_32
effective function
Number of items (files or directories) in Current.
is_empty: BOOLEAN
effective function
valid_index (index: INTEGER_32): BOOLEAN
effective function
item (index: INTEGER_32): STRING
effective function
Return the name of entry (file or subdirectory) at index.
name (index: INTEGER_32): STRING
effective function
Return the name of entry (file or subdirectory) at index.
has (entry_name: STRING): BOOLEAN
effective function
Does Current contain the entry_name (file or subdirectory) ?
connect_to_file (file: FILE, filename: STRING)
effective procedure
Connect the file to the operating system file given by its filename.
path_buffer: STRING
once function