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
deferred class CES_ENUMERATOR
feature -- Access

data: ARRAY [like item_from_section]
-- All items of the set
ensure
non_void_result: Result /= void
invariant

non_void_enumeration: enumeration /= void
end -- class CES_ENUMERATOR

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES