indexing description: "General container data structures, characterized by the membership properties of their items." names: collection, access access: membership contents: generic deferred class interface COLLECTION [G] feature -- Access has (v: G): BOOLEAN -- Does structure include v? -- (Reference or object equality, -- based on object_comparison.) -- (from CONTAINER) ensure -- from CONTAINER not_found_in_empty: Result implies not empty feature -- Status report changeable_comparison_criterion: BOOLEAN -- May object_comparison be changed? -- (Answer: yes by default.) -- (from CONTAINER) empty: BOOLEAN -- Is there no element? -- (from CONTAINER) extendible: BOOLEAN -- May new items be added? object_comparison: BOOLEAN -- Must search operations use equal rather than = -- for comparing references? (Default: no, use =.) -- (from CONTAINER) prunable: BOOLEAN -- May items be removed? feature -- Status setting compare_objects -- Ensure that future search operations will use equal -- rather than = for comparing references. -- (from CONTAINER) require -- from CONTAINER changeable_comparison_criterion ensure -- from CONTAINER object_comparison compare_references -- Ensure that future search operations will use = -- rather than equal for comparing references. -- (from CONTAINER) require -- from CONTAINER changeable_comparison_criterion ensure -- from CONTAINER reference_comparison: not object_comparison feature -- Element change extend (v: G) -- Ensure that structure includes v. -- Was declared in COLLECTION as synonym of put and extend. require extendible: extendible ensure item_inserted: has (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 put (v: G) -- Ensure that structure includes v. -- Was declared in COLLECTION as synonym of put and extend. require extendible: extendible ensure item_inserted: has (v) 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 ensure no_more_occurrences: not has (v) wipe_out -- Remove all items. require prunable ensure wiped_out: empty feature -- Conversion linear_representation: LINEAR [G] -- Representation as a linear structure -- (from CONTAINER) invariant -- from GENERAL reflexive_equality: standard_is_equal (Current); reflexive_conformance: conforms_to (Current); end -- class COLLECTION