INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "File system directory entry"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: pool
class DIRECTORY
inherit

FILE_SYSTEM_ENTRY
redefine
exists
end
creation

make,
make_current
feature {NONE}-- Creation

make_current
-- Create an object representing current working directory
ensure
name_set: name /= void
feature -- Creation

originate
-- Create the directory
feature -- Status

exists: BOOLEAN
-- Does the directory exist?
feature -- Modification

change_name (new_name: STRING)
-- Rename the directory into `new_name'
require
non_void_new_name: new_name /= void
non_empty_new_name: not new_name.is_empty
ensure
name_set: equal (name, new_name)
feature -- Removal

delete
-- Remove the directory
end -- class DIRECTORY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES