class UNIX_DIRECTORY_NOTATION
Summary
Overview
exported features
DIRECTORY_NOTATION interface
  • start_join (drive: STRING, absoluteness: INTEGER_32)
    Start joining an absolute path to Current
    drive is optional absoluteness is, e.g., the number of leading slashes:
      0 for relative paths
      1 for absolute paths
      more for super-absolute paths (for instance, network-wide)
    
  • join_directory (element: STRING)
    Add a directory to the end of the path
  • join_up
    Go up one directory
  • join_file (element: STRING)
    Add a file to the end of the path
  • join_element (element: STRING)
    Add an unspecified element (directory or file) to the end of the path
  • join_extension (an_extension: STRING)
    Add an extension to the last element of the path
  • end_join
    Finish joining the path
  • join_error: BOOLEAN
    Did an error occur during joining
is_current_directory (path: STRING): BOOLEAN
effective function
is_parent_directory (path: STRING): BOOLEAN
effective function
to_directory_path (path: STRING)
effective procedure
Make sure that the given path is a canonical directory path as would be returned by to_subdirectory_with
is_case_sensitive: BOOLEAN
constant attribute
to_parent_directory (some_path: STRING)
effective procedure
Tries to compute in some_path (which may be either a file path or a directory path) the parent directory of some_path.
to_subdirectory_with (parent_path: STRING, entry_name: STRING)
effective procedure
Try to compute in parent_path the new subdirectory path obtained when trying to concatenate smartly parent_path whith some entry_name.
to_file_path_with (parent_path: STRING, file_name: STRING)
effective procedure
Try to compute in parent_path the new file path obtained when trying to concatenate smartly parent_path whith some file_name.
to_subpath_with (parent_path: STRING, subpath: STRING)
effective procedure
Try to compute in parent_path the new file path obtained when trying to concatenate smartly parent_path whith some subpath.
can_map_drive (source_notation: DIRECTORY_NOTATION, drive: STRING): BOOLEAN
effective function
to_root (source_notation: DIRECTORY_NOTATION, drive: STRING)
effective procedure
Convert drive from a drive letter/device name in source_notation to an absolute path in Current notation.
to_default_root (directory: STRING)
effective procedure
to_current_directory (directory: STRING)
effective procedure
Put the realtive directory representing the current working directory into directory.
is_absolute_path (path: STRING): BOOLEAN
effective function
Is path absolute, i.e.
is_valid_path (a_path: STRING): BOOLEAN
effective function
Does path represent a syntactically valid file or directory path?
is_valid_directory_path (a_path: STRING): BOOLEAN
effective function
Does path represent a syntactically valid directory path?
is_valid_file_name (name: STRING): BOOLEAN
effective function
Does path only contain valid characters for a file?
start_join (drive: STRING, absoluteness: INTEGER_32)
effective procedure
Start joining an absolute path to Current
drive is optional absoluteness is, e.g., the number of leading slashes:
  0 for relative paths
  1 for absolute paths
  more for super-absolute paths (for instance, network-wide)
join_directory (element: STRING)
effective procedure
Add a directory to the end of the path
join_up
effective procedure
Go up one directory
join_file (element: STRING)
effective procedure
Add a file to the end of the path
join_element (element: STRING)
effective procedure
Add an unspecified element (directory or file) to the end of the path
join_extension (an_extension: STRING)
effective procedure
Add an extension to the last element of the path
end_join
effective procedure
Finish joining the path
join_error: BOOLEAN
constant attribute
Did an error occur during joining
to_absolute_path_in (possible_parent: STRING, path: STRING)
frozen
effective procedure
If path is not absolute, make it so by appending it to possible_parent.
from_notation (source_notation: DIRECTORY_NOTATION, path: STRING)
frozen
effective procedure
Convert path from source_notation to Current notation.
can_sanitize (name: STRING): BOOLEAN
effective function
to_valid_file_name (name: STRING)
effective procedure
Sanitize name (by removing forbidden characters or encoding them)