Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:
note description: "[ General container data structures, characterized by the membership properties of their items. ]" library: "Free implementation of ELKS library" legal: "See notice at end of class." status: "See notice at end of class." names: collection, access access: membership contents: generic date: "$Date: 2012-07-23 14:02:19 -0700 (Mon, 23 Jul 2012) $" revision: "$Revision: 91989 $" deferred class interface COLLECTION [G] feature -- Status report extendible: BOOLEAN -- May new items be added? prunable: BOOLEAN -- May items be removed? is_inserted (v: G): BOOLEAN -- Has `v' been inserted by the most recent insertion? -- (By default, the value returned is equivalent to calling -- `has (v)'. However, descendants might be able to provide more -- efficient implementations.) feature -- Element change put (v: G) -- Ensure that structure includes `v'. -- Was declared in COLLECTION as synonym of extend. require extendible: extendible ensure item_inserted: is_inserted (v) extend (v: G) -- Ensure that structure includes `v'. -- Was declared in COLLECTION as synonym of put. require extendible: extendible ensure item_inserted: is_inserted (v) fill (other: CONTAINER [G]) -- Fill with as many items of `other' as possible. -- The representations of `other' and current structure -- need not be the same. require other_not_void: other /= Void extendible: extendible feature -- Removal prune (v: G) -- Remove one occurrence of `v' if any. -- (Reference or object equality, -- based on object_comparison.) require prunable: prunable prune_all (v: G) -- Remove all occurrences of `v'. -- (Reference or object equality, -- based on object_comparison.) require prunable: prunable ensure no_more_occurrences: not has (v) wipe_out -- Remove all items. require prunable: prunable ensure wiped_out: is_empty note copyright: "Copyright (c) 1984-2012, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class COLLECTION
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com