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