deferred class PATH_NAME
Summary
Overview
exported features
Creation/ Initialization
Constants
Access
Operations
  • to_absolute
    Transform into equivalent absolute path
  • normalize_case
    Transform into normalized case version (equivalent), with standard path separators
  • normalize
    Normalize removing double separators, and up-references
  • remove_last
    Remove last component of path (keep the "dirname")
  • go_up
    Go up by one directory
  • add_last (elem: STRING)
  • join (other: PATH_NAME)
    Join with other using filesystem semantics
  • join_to (other: PATH_JOINER)
  • expand_user
    Replace an initial "~" or "~user" by user home directory
  • expand_variables
    Replace substrings of form $name or ${name} with environment variable values
  • expand_shellouts
    Replace substrings of form $(command) with execution of shell commands
make_empty
deferred procedure
Make a 'null' path
make_root
deferred procedure
Path to root directory (in current drive)
make_current
deferred procedure
Path to current directory (relative).
make_from_string (s: STRING)
deferred procedure
make_from_path_name (pn: PATH_NAME)
effective procedure
extension_separator: CHARACTER
deferred function
Character used to separate filenames from extensions
directory_separator: CHARACTER
deferred function
Character used to separate directories This character is forbidden in filenames
to_string: STRING
deferred function
String representation
drive_specification: STRING
deferred function
Drive specified by the current path, Void if none
count: INTEGER_32
deferred function
Number of elements in_path
is_empty: BOOLEAN
effective function
Path is null.
last: STRING
deferred function
Last component (also known as "basename")
extension: STRING
deferred function
Path extension (may be empty)
is_absolute: BOOLEAN
deferred function
absolute path?
as_absolute: PATH_NAME
effective function
Equivalent absolute path
is_normalized: BOOLEAN
deferred function
Has no redundant separators, or redundant up-references
is_valid_path (path: STRING): BOOLEAN
deferred function
Does path represent a syntactically valid file or directory path?
is_valid_file_name (name: STRING): BOOLEAN
deferred function
Does path only contain valid characters for a file?
is_valid_directory: BOOLEAN
deferred function
Does Current represent a syntactically valid directory path?
is_valid_file: BOOLEAN
deferred function
Does Current represent a syntactically valid directory path?
is_file: BOOLEAN
effective function
Path points to an existing regular file?
is_directory: BOOLEAN
effective function
Path points to an existing directory?
infix "+" (other: PATH_NAME): PATH_NAME
effective function
Join with other using filesystem semantics
infix "/" (elem: STRING): PATH_NAME
effective function
Path with elem inside current
to_absolute
deferred procedure
Transform into equivalent absolute path
normalize_case
deferred procedure
Transform into normalized case version (equivalent), with standard path separators
normalize
deferred procedure
Normalize removing double separators, and up-references
remove_last
deferred procedure
Remove last component of path (keep the "dirname")
go_up
deferred procedure
Go up by one directory
add_last (elem: STRING)
deferred procedure
join (other: PATH_NAME)
effective procedure
Join with other using filesystem semantics
join_to (other: PATH_JOINER)
deferred procedure
expand_user
deferred procedure
Replace an initial "~" or "~user" by user home directory
expand_variables
effective procedure
Replace substrings of form $name or ${name} with environment variable values
expand_shellouts
deferred procedure
Replace substrings of form $(command) with execution of shell commands