INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "File system 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 FILE_SYSTEM_ENTRY
inherit

FILE_SYSTEM_CONSTANTS
end

WAPI_FILE_FUNCTIONS
export
{NONE}
all
end

WAPI_FILES_AND_DIRS_ACCESS_RIGHTS
rename
delete as delete_mask
export
{NONE}
all
end

WAPI_WNET_FUNCTIONS
export
{NONE}
all
end

WAPI_WNET_CONSTANTS
export
{NONE}
all
end

MEMORY
end
creation

make
feature {NONE}-- Creation

make (entry_name: STRING)
-- Create an object representing the file system entry
-- with the given name
require
non_void_entry_name: entry_name /= void
non_empty_entry_name: not entry_name.is_empty
ensure
name_set: equal (name, entry_name)
feature -- Status

name: STRING

exists: BOOLEAN
-- Does the entry exist?

absolute_path: STRING
-- Absolute path to the entry
ensure
non_void_result: Result /= void

parent: STRING
-- The parent entry or `Void' if there is none
invariant

meaningful_name: name /= void and then not name.is_empty
end -- class FILE_SYSTEM_ENTRY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES