INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Visual Eiffel registry variables"
project: "Visual Eiffel"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: ve_environment
class VE_REGISTRY
inherit

REGISTRY_SERVER
end
feature -- Access

value (key: STRING): STRING
-- Value of the 'key' stored under Visual Eiffel node
-- Void if there is no such a value
require
non_void_key: key /= void

frozen node_name: STRING
end -- class VE_REGISTRY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES