INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Registry value containing data of an arbitrary type"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: registry
deferred class REGISTRY_VALUE
inherit

MEMORY
export
{NONE}
all
undefine
is_equal
end

COMPARABLE
end
feature -- Creation

make (name_: STRING)
feature -- Properties

get_name: STRING

get_data: like data
require
is_valid: is_valid
feature -- Property setting

set_name (name_: STRING)
require
correct_name: name_ /= void and then not name_.is_empty
ensure
well_done: equal (name_, get_name)

set_data (data_: like data)
ensure
is_valid: is_valid
feature -- Queries

is_valid: BOOLEAN
-- Is value's data valid?
feature -- Comparison

infix "<" (other: like Current): BOOLEAN
-- Is current object less than 'other' ?
end -- class REGISTRY_VALUE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES