INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: ""
project: "Visual Eiffel"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: ve_settings
class CES_SYSTEM
inherit

CES_ENTITY
redefine
make
end
creation

make
feature {NONE}-- Creation

make (section: CES_INI_SECTION; default_name: STRING)
feature -- Access

root: STRING
-- Root class name
ensure
non_void_result: Result /= void

creation_procedure: STRING
-- Creation procedure name
ensure
non_void_result: Result /= void

roots: ARRAY [CES_CLASS]

link_options: ARRAY [STRING]
invariant

non_void_root_key: root_key /= void
non_void_creation_procedure_key: creation_procedure_key /= void
end -- class CES_SYSTEM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES