+
Point of view
ANY
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
exported features
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.
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.