Gobo Eiffel Kernel Library
Copyright (c) 1999-2001, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/07/13 17:05:05 $
$Revision: 1.29 $
-- Create a new directory object.
-- (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_ENTRY)
-- Reuse current Eiffel object memory to
-- represent a new file system entry.
-- (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_ENTRY)
-- Names of readable subdirectories in current directory;
-- Void if current directory could not be searched
-- (Do not include parent and current directory names.)
-- (From KI_DIRECTORY)
-- Names of readable files in current directory;
-- Void if current directory could not be searched
-- (From KI_DIRECTORY)
-- Last entry (file or subdirectory name) read
-- (Note: this query returns the new object after
-- each call to read_entry.)
-- (From KI_INPUT_STREAM)
-- Directory name;
-- Note: If name is a UC_STRING or descendant, then
-- the bytes of its associated UTF unicode encoding will
-- be used.
-- (From KI_FILE_SYSTEM_ENTRY)
-- Does directory physically exist on disk?
-- (Note that with SmartEiffel this routine
-- actually returns is_readable.)
-- (From KI_FILE_SYSTEM_ENTRY)
-- Can current file system entry be closed?
-- (From KI_FILE_SYSTEM_ENTRY)
-- Is current directory closed?
-- (From KI_FILE_SYSTEM_ENTRY)
-- Has directory been opened in read mode?
-- (From KI_FILE_SYSTEM_ENTRY)
-- Can directory be opened in read mode?
-- (From KI_FILE_SYSTEM_ENTRY)
-- Can current input stream be rewound to return input from
-- the beginning of the stream?
-- (From KI_INPUT_STREAM)
-- Can an_entry be put back in input stream?
-- (From KI_INPUT_STREAM)
-- Close directory if it is closable,
-- let it open otherwise.
-- (From KI_FILE_SYSTEM_ENTRY)
-- Create current directory on disk.
-- Do nothing if the directory could not
-- be created, if it already existed or if
-- name is a nested directory name and
-- the parent directory does not exist.
-- (From KI_DIRECTORY)
-- Delete current directory.
-- Do nothing if the directory could not
-- be deleted, if it did not exist or if
-- it is not empty.
-- (From KI_FILE_SYSTEM_ENTRY)
-- Try to open directory in read mode. Set is_open_read
-- to true and is ready to read first entry in directory
-- if operation was successful.
-- (From KI_FILE_SYSTEM_ENTRY)
-- Copy recursively current directory to new_name.
-- Do nothing if the directory could not be copied,
-- if it did not exist, or if new_name already existed.
-- (new_name should follow the pathname convention
-- of the underlying platform. For pathname conversion
-- use KI_FILE_SYSTEM.pathname_from_file_system.)
-- (From KI_DIRECTORY)
-- Create current directory 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.
-- (From KI_DIRECTORY)
-- Delete current directory, its files
-- and its subdirectories recursively.
-- Do nothing if the directory could not
-- be deleted, if it did not exist.
-- (From KI_DIRECTORY)
-- Move input position to the beginning of stream.
-- (From KI_INPUT_STREAM)
-- Read next entry in directory.
-- Make result available in last_entry.
-- (From KI_INPUT_STREAM)
-- Fill a_buffer, starting at position pos, with
-- at most nb items read from input stream.
-- Return the number of items actually read.
-- (From KI_INPUT_STREAM)
-- Put an_entry back in input stream.
-- This entry will be read first by the next
-- call to a read routine.
-- (From KI_INPUT_STREAM)
Filesystem's directories