INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Objects that may be stored and retrieved along with all their dependents. This class may be used as ancestor by classes needing its facilities."
project: "Eiffel Kernel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class STORABLE
feature -- Access

retrieved (file: FILE): STORABLE
-- Retrieved object structure, from external
-- representation previously stored in 'file'.
-- To access resulting object under correct type,
-- use assignment attempt.
-- Will raise an axception (code Retrieve_exception)
-- if file content is not a STORABLE structure
require
file_not_void: file /= void
file_is_open_read: file.is_open_read
ensure
result_exists: Result /= void
feature -- Element change

basic_store (file: FILE)
-- Produce on 'file' an external representation of the
-- entire object structure reachable from current object.
-- Retrievable within current system only
require
file_not_void: file /= void
file_is_open_write: file.is_open_write

general_store (file: FILE)
-- Produce on 'file' an external representation of the
-- entire object structure reachable from current object.
-- Retrievable from other systems for same platform
-- (machine architecture).
require
file_not_void: file /= void
file_is_open_write: file.is_open_write

independent_store (file: FILE)
-- Produce on 'file' an external representation of the
-- entire object structure reachable from current object.
-- Retrievable from other systems for same platform
-- (machine architecture).
require
file_not_void: file /= void
file_is_open_write: file.is_open_write
end -- class STORABLE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES