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