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