Eiffeldoc: DIRECTORY_NOTATION

+

Point of view

All features

deferred class DIRECTORY_NOTATION

Summary

Direct parents: Insert list: ANY
Known children: Inherit list: CYGWIN_DIRECTORY_NOTATION, PATH_NAME_NOTATION

Overview

Features

is_current_directory (path: STRING): BOOLEAN
is_parent_directory (path: STRING): BOOLEAN
to_parent_directory (some_path: STRING)

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)

Try to compute in parent_path the new subdirectory path obtained when trying to concatenate smartly parent_path with some entry_name.
to_file_path_with (parent_path: STRING, file_name: STRING)

Try to compute in parent_path the new file path obtained when trying to concatenate smartly parent_path with some file_name.
to_subpath_with (parent_path: STRING, subpath: STRING)

Try to compute in parent_path the new file path obtained when trying to concatenate smartly parent_path with some subpath.
to_absolute_path_in (possible_parent: STRING, path: STRING)

If path is not absolute, make it so by appending it to possible_parent.
to_short_name_in (buffer: STRING, path: STRING)

from_notation (source_notation: DIRECTORY_NOTATION, path: STRING)

Convert path from source_notation to Current notation.
can_sanitize (name: STRING): BOOLEAN
to_valid_file_name (name: STRING)

Sanitize name (by removing forbidden characters or encoding them)
to_directory_path (path: STRING)

Make sure that the given path is a canonical directory path as would be returned by to_subdirectory_with
can_map_drive (source_notation: DIRECTORY_NOTATION, drive: STRING): BOOLEAN
to_root (source_notation: DIRECTORY_NOTATION, drive: STRING)

Convert drive from a drive letter/device name in source_notation to an absolute path in Current notation.
to_default_root (directory: STRING)
to_current_directory (directory: STRING)

Put the relative directory representing the current working directory into directory.

is_case_sensitive: BOOLEAN
is_valid_path (path: STRING): BOOLEAN

Does path represent a syntactically valid file or directory path?
is_valid_directory_path (path: STRING): BOOLEAN

Does path represent a syntactically valid directory path?
is_valid_file_name (name: STRING): BOOLEAN

Does path only contain valid characters for a file?
is_absolute_path (path: STRING): BOOLEAN

Is path absolute, i.e.

{DIRECTORY_NOTATION}

to_notation (path: STRING, destination_notation: DIRECTORY_NOTATION): STRING

is_current_directory (path: STRING): BOOLEAN

deferred function

is_parent_directory (path: STRING): BOOLEAN

deferred function

to_parent_directory (some_path: STRING)

deferred 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)

deferred procedure

Try to compute in parent_path the new subdirectory path obtained when trying to concatenate smartly parent_path with some entry_name.

to_file_path_with (parent_path: STRING, file_name: STRING)

deferred procedure

Try to compute in parent_path the new file path obtained when trying to concatenate smartly parent_path with some file_name.

to_subpath_with (parent_path: STRING, subpath: STRING)

deferred procedure

Try to compute in parent_path the new file path obtained when trying to concatenate smartly parent_path with some subpath.

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.

to_short_name_in (buffer: STRING, path: STRING)

deferred procedure

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)

to_directory_path (path: STRING)

deferred procedure

Make sure that the given path is a canonical directory path as would be returned by to_subdirectory_with

can_map_drive (source_notation: DIRECTORY_NOTATION, drive: STRING): BOOLEAN

deferred function

to_root (source_notation: DIRECTORY_NOTATION, drive: STRING)

deferred procedure

Convert drive from a drive letter/device name in source_notation to an absolute path in Current notation.

to_default_root (directory: STRING)

deferred procedure

to_current_directory (directory: STRING)

deferred procedure

Put the relative directory representing the current working directory into directory.

is_case_sensitive: BOOLEAN

deferred function

is_valid_path (path: STRING): BOOLEAN

deferred function

Does path represent a syntactically valid file or directory path?

is_valid_directory_path (path: STRING): BOOLEAN

deferred function

Does path represent a syntactically valid directory path?

is_valid_file_name (name: STRING): BOOLEAN

deferred function

Does path only contain valid characters for a file?

is_absolute_path (path: STRING): BOOLEAN

deferred function

Is path absolute, i.e.

to_notation (path: STRING, destination_notation: DIRECTORY_NOTATION): STRING

deferred function

{DIRECTORY_NOTATION}