Gobo Eiffel Kernel Library
Copyright (c) 2001, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2004/11/14 15:09:42 $
$Revision: 1.11 $
-- 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.)
-- File system entry name
-- Does file system entry physically exist on disk?
-- (Note that with SmartEiffel this routine actually
-- returns is_readable.)
-- Has file system entry been opened?
-- Try to close file system entry. Set is_closed
-- to true if operation was successful.
-- 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).
Interface for file system entries (files, directories, ...)