INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Data structures of the most general kind, ", "used to hold zero or more items. "
title: "EiffelBase: library of reusable components for Eiffel. ", "Based on EiffelBase library for ISE Eiffel, ", "used with permission. "
project: "EiffelBase Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
key: access
cluster: eiffelbase
deferred class CONTAINER [G]
inherit

ISE_GENERAL
end
feature -- Access

has (v: G): BOOLEAN
-- Does structure include `v'?
-- (Reference or object equality,
-- based on `object_comparison'.)
ensure
not_found_in_empty: Result implies not empty
feature -- Status report

empty: BOOLEAN
-- Is there no element?

object_comparison: BOOLEAN

changeable_comparison_criterion: BOOLEAN
-- May `object_comparison' be changed?
-- (Answer: yes by default.)
feature -- Status setting

compare_objects
-- Ensure that future search operations will use `equal'
-- rather than `=' for comparing references.
require
changeable_comparison_criterion
ensure
object_comparison

compare_references
-- Ensure that future search operations will use `='
-- rather than `equal' for comparing references.
require
changeable_comparison_criterion
ensure
reference_comparison: not object_comparison
feature -- Conversion

linear_representation: LINEAR [G]
-- Representation as a linear structure
end -- class CONTAINER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES