Gobo Eiffel Kernel Library
Copyright (c) 2001-2005, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/03/07 04:06:57 $
$Revision: 1.15 $
-- 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.)
-- Names of readable files in current directory;
-- Void if current directory could not be searched
-- Last entry (file or subdirectory name) read
-- (Note: this query returns the new object after
-- each call to read_entry.)
-- (From KI_INPUT_STREAM)
-- Has the end of input stream been reached?
-- (From KI_INPUT_STREAM)
-- Does file system entry 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 file system entry closed?
-- (From KI_FILE_SYSTEM_ENTRY)
-- Can items be read from input stream?
-- (From KI_FILE_SYSTEM_ENTRY)
-- Can file system entry 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)
-- Try to close input stream if it is closable. Set
-- is_open_read to false if operation was successful.
-- (From KI_FILE_SYSTEM_ENTRY)
-- Delete current file system entry.
-- Do nothing if the entry could not be deleted
-- (for example if the entry does not exist or
-- if a directory 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.)
-- 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.
-- Delete current directory, its files
-- and its subdirectories recursively.
-- Do nothing if the directory could not
-- be deleted, if it did not exist.
-- 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_item back in input stream.
-- This item will be read first by the next
-- call to a read routine.
-- (From KI_INPUT_STREAM)
Interface for directories