+
Point of view
INTERNALS_HANDLER
class MICROSOFT_PATH_NAME
Summary
Overview
creation features
  • make_empty
    Make a 'null' path
  • make_root
    Path to root directory (in current drive)
  • make_current
    Path to current directory (relative).
  • make_from_string (s: STRING)
  • copy (other: MICROSOFT_PATH_NAME)
    Update current object using fields of object attached to other, so as to yield equal objects.
exported features
Creation
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")
  • add_last (elem: STRING)
  • join (other: MICROSOFT_PATH_NAME)
    Join with other using filesystem semantics
  • expand_user
    Replace an initial "~" or "~user" by user home directory
  • expand_shellouts
    Replace substrings of form $(command) with execution of shell commands
Copying, comparison
  • copy (other: MICROSOFT_PATH_NAME)
    Update current object using fields of object attached to other, so as to yield equal objects.
  • is_equal (other: MICROSOFT_PATH_NAME): BOOLEAN
    Is other attached to an object considered equal to current object?
Access
Operations
  • expand_variables
    Replace substrings of form $name or ${name} with environment variable values
make_empty
Make a 'null' path
make_root
Path to root directory (in current drive)
make_current
Path to current directory (relative).
make_from_string (s: STRING)
extension_separator: CHARACTER
attribute
Character used to separate filenames from extensions
directory_separator: CHARACTER
attribute
Character used to separate directories This character is forbidden in filenames
drive_separator: CHARACTER
attribute
to_string: STRING
String representation
drive_specification: STRING
Drive specified by the current path, Void if none
count: INTEGER_32
Number of elements in_path
last: STRING
Last component (also known as "basename")
extension: STRING
Path extension (may be empty)
is_absolute: BOOLEAN
absolute path?
is_normalized: BOOLEAN
Has no redundant separators, or redundant up-references
exists: BOOLEAN
 local
  i: FILE_INFORMATION
same_file (other: MICROSOFT_PATH_NAME): BOOLEAN
 local
  i, j: FILE_INFORMATION
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")
add_last (elem: STRING)
join (other: MICROSOFT_PATH_NAME)
Join with other using filesystem semantics
expand_user
Replace an initial "~" or "~user" by user home directory
expand_shellouts
Replace substrings of form $(command) with execution of shell commands
copy (other: MICROSOFT_PATH_NAME)
Update current object using fields of object attached to other, so as to yield equal objects.
is_equal (other: MICROSOFT_PATH_NAME): BOOLEAN
Is other attached to an object considered equal to current object?
is_empty: BOOLEAN
Path is null.
as_absolute: MICROSOFT_PATH_NAME
Equivalent absolute path
is_file: BOOLEAN
Path points to an existing regular file?
is_directory: BOOLEAN
Path points to an existing directory?
infix "+" (other: MICROSOFT_PATH_NAME): MICROSOFT_PATH_NAME
Join with other using filesystem semantics
infix "/" (elem: STRING): MICROSOFT_PATH_NAME
Path with elem inside current
expand_variables
Replace substrings of form $name or ${name} with environment variable values