INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Default (unnamed) registry value"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: registry
class DEFAULT_REGISTRY_VALUE
inherit

STRING_REGISTRY_VALUE
rename
make as make_value
export
{NONE}
make_value
redefine
out,
set_name
end
creation

make
feature -- Creation

make
feature -- Queries

out: STRING
end -- class DEFAULT_REGISTRY_VALUE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES