Class KL_FILE_SYSTEM

-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)

-- Is file system the file system of the underlying platform?
-- (From KI_FILE_SYSTEM)

-- Create a new directory named a_dirname.
-- Do nothing if the directory could not
-- be created, if it already existed or if
-- a_dirname is a nested directory name
-- and the parent directory does not exist.
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Delete directory named a_dirname.
-- Do nothing if the directory could not be deleted,
-- if it did not exist or if it is not empty.
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Does directory named a_dirname physically exist on disk?
-- (Note that with SmartEiffel this routine actually returns is_readable.)
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Does directory named a_dirname contain no entry apart
-- from the parent and current directory entries?
-- Return False if not able to open current directory.
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Can directory named a_dirname be opened in read mode?
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Copy recursively directory named old_name to new_name.
-- Do nothing if the directory could not be copied,
-- if it did not exist, or if new_name already existed.
-- (old_name and new_name should follow the pathname
-- convention of the underlying platform. For pathname
-- conversion use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Create a new directory named a_dirname on disk.
-- Create its parent directories if they do not exist yet.
-- Do nothing if the directory could not be created,
-- if it already existed or name is a nested directory
-- name and its parent directory does not exist and
-- could not be created.
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Delete directory named a_dirname, its files
-- and its subdirectories recursively. Do nothing if
-- the directory could not be deleted, if it did not exist.
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Copy content of file a_source_filename to the end of file
-- a_target_filename. Do nothing if file a_source_filename
-- does not exist. Create file a_target_filename if it does
-- not exist yet. If file a_source_filename is physically the
-- same as file a_target_filename, then a copy of the file is
-- appended to itself. Do nothing if file a_target_filename
-- could not be open in append mode or if file a_source_filename
-- could not be opened in read mode.
-- (a_source_filename and a_target_filename should follow
-- the pathname convention of the underlying platform. For pathname
-- conversion use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Copy file named old_name to new_name.
-- Do nothing if the file could not be copied, if it
-- did not exist or if new_name is physically
-- the same file as old_name. Overwrite new_name
-- if it already existed. (old_name and new_name
-- should follow the pathname convention of the
-- underlying platform. For pathname conversion use
-- KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Delete file named a_filename.
-- Do nothing if the file could not be
-- deleted or if it did not exist.
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Number of bytes in file named a_filename;
-- Return -1 if the number of bytes was not available,
-- if the file did not exist for example.
-- (a_filename should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Does file named a_filename physically exist on disk?
-- (Note that with SmartEiffel this routine actually returns is_readable.)
-- (a_filename should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Time stamp (number of seconds since 1 January 1970
-- at 00:00:00 UTC) of last modification to file a_filename;
-- Return -1 if the time stamp was not available, if the
-- file did not exist for example, or if the time stamp
-- didn't fit into an INTEGER_32. (Use DT_DATE_TIME.make_from_epoch
-- to convert this time stamp to a human readable format.)
-- (a_filename should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Can file named a_filename be opened in read mode?
-- (a_filename should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Rename file named old_name as new_name.
-- Do nothing if the file could not be renamed, if
-- it did not exist or if new_name is physically
-- the same file as current file. Overwrite new_name
-- if it already existed. (old_name and new_name
-- should follow the pathname convention of the
-- underlying platform. For pathname conversion use
-- KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Do files named a_filename1 and a_filename2
-- contain the same number of characters and are these
-- characters equal? Return False if one or both files
-- don't exist or cannot be open in read mode.
-- (a_filename1 and a_filename2 should follow
-- the pathname convention of the underlying
-- platform. For pathname conversion use
-- KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Are files named a_filename1 and a_filename2
-- the same physical file? Return False if one
-- or both files don't exist. (Return True if
-- it was impossible to determine whether the
-- files were physically the same files.)
-- (a_filename1 and a_filename2 should follow
-- the pathname convention of the underlying
-- platform. For pathname conversion use
-- KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Do files named a_filename1 and a_filename2
-- contain the same number of lines and are these
-- lines equal? Return False if one or both files
-- don't exist or cannot be open in read mode.
-- (a_filename1 and a_filename2 should follow
-- the pathname convention of the underlying
-- platform. For pathname conversion use
-- KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Line separator in current file system
-- (From KI_FILE_SYSTEM)

-- New input text file in current file system
-- (a_name should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- New output text file in current file system
-- (a_name should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Absolute pathname of parent directory of a_pathname;
-- Return absolute_root_directory if a_pathname
-- is a root directory (i.e. has no parent)
-- (a_pathname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. The
-- result also follows this pathname convention. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Absolute pathname of a_pathname
-- (a_pathname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. The
-- result also follows this pathname convention. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Absolute pathname of current root directory
-- (The result follows the pathname convention of current
-- file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For
-- pathname conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Pathname with any leading directory components removed
-- (a_pathname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. The
-- result also follows this pathname convention. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Canonical form of a_pathname
-- (a_pathname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. The
-- result also follows this pathname convention. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Pathname containing only the leading directory components so
-- that 'pathname (dirname (a_pathname), basename (a_pathname))'
-- is equivalent to a_pathname; Return relative_current_directory
-- when there is no leading directory components in a_pathname;
-- Return a root directory when a_pathname is a root directory
-- (a_pathname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. The
-- result also follows this pathname convention. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Executable file extension (with the leading '.'
-- if this extension is not empty)
-- (From KI_FILE_SYSTEM)

-- File extension of a_filename (include the leading '.')
-- (a_filename should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Is an_extension a file extension of a_filename?
-- (a_filename should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Is a_pathname an absolute pathname?
-- (a_pathname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Is a_pathname a relative pathname (relative
-- to the current working directory)?
-- (a_pathname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Is a_dirname a root directory (i.e. it has no parent directory)?
-- (a_dirname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Pathname made up of relative pathnames
-- a_pathnames in directory a_dirname
-- (a_dirname and a_pathnames should follow the pathname convention
-- of current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. The
-- result also follows this pathname convention. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Pathname made up of relative pathname
-- a_pathname in directory a_dirname
-- (a_dirname and a_pathname should follow the pathname convention
-- of current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. The
-- result also follows this pathname convention. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Pathname using pathname convention of current file system
-- (Unix convention in KL_UNIX_FILE_SYSTEM, Windows convention
-- in KL_WINDOWS_FILE_SYSTEM, etc.) converted from a_pathname
-- which should follow the pathname convention of a_file_system
-- (From KI_FILE_SYSTEM)

-- Convert pathname to string
-- (The result follows the pathname convention of current
-- file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For
-- pathname conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Relative pathname of current directory
-- (The result follows the pathname convention of current
-- file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For
-- pathname conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Relative pathname of current parent directory
-- (The result follows the pathname convention of current
-- file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For
-- pathname conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Pathname of current root directory
-- (The result follows the pathname convention of current
-- file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For
-- pathname conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Convert string to pathname
-- (a_pathname should follow the pathname convention of
-- current file system: Unix convention in KL_UNIX_FILE_SYSTEM,
-- Windows convention in KL_WINDOWS_FILE_SYSTEM, etc. For pathname
-- conversion use pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Set current working directory to a_dirname.
-- Do nothing if the current working directory could not
-- be changed or if directory a_dirname did not exist.
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)

-- Name of current working directory;
-- Return absolute pathname with the naming
-- convention of the underlying file system
-- (Return a new object at each call.)
-- (From KI_FILE_SYSTEM)

-- Name of current working directory;
-- Return absolute pathname with the naming
-- convention of the underlying file system
-- (Return a new object at each call.)
-- (From KI_FILE_SYSTEM)

-- Set current working directory to a_dirname.
-- Do nothing if the current working directory could not
-- be changed or if directory a_dirname did not exist.
-- (a_dirname should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_FILE_SYSTEM)