- 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