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_ENTITY
creation

make
feature {NONE}-- Creation

make (section: CES_INI_SECTION; default_name: STRING)
-- Attach to the given `section' using `default_name' if key
-- "Name" is absent
require
non_void_section: section /= void
non_void_default_name: default_name /= void
ensure
non_void_name_key: name_key /= void
non_void_bindings_key: bindings_key /= void
feature -- Access

name: STRING
-- Entity name
ensure
non_void_result: Result /= void

bindings: CES_BINDINGS
-- Entity bindings

binded_classes: ARRAY [CES_CLASS]
-- Classes which are binded to the entity
ensure
non_void_result: Result /= void

binded_clusters: ARRAY [CES_CLUSTER]
-- Clusters which are required by the entity
ensure
non_void_result: Result /= void

binded_systems: ARRAY [CES_SYSTEM]
-- Systems which are binded to the entity
ensure
non_void_result: Result /= void
invariant

non_void_name_key: name_key /= void
non_void_bindings_key: bindings_key /= void
end -- class CES_ENTITY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES