INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Sequences of values, all of the same type or of a conforming", "one, accessible through integer indices in a contiguous ", "interval "
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 "
cluster: eiffelbase
class ISE_ARRAY [G]
inherit

RESIZABLE [G]
undefine
copy,
is_equal
redefine
consistent,
full,
setup
end

INDEXABLE [G, INTEGER]
undefine
copy,
is_equal
redefine
consistent,
setup
end

ARRAY [G]
rename
area as array_area,
to_c as array_to_c,
move as array_move,
insert as array_insert,
remove as array_remove,
append as array_append
undefine
empty
end
creation

make,
make_from_array
feature

setup (other: like Current)
-- Perform actions on a freshly created object so that
-- the contents of `other' can be safely copied onto it.
feature -- Access

has (v: G): BOOLEAN
-- Does `v' appear in array?
-- (Reference or object equality,
-- based on `object_comparison'.)
feature -- Measurement

capacity: INTEGER
-- Number of available indices

occurrences (v: G): INTEGER
-- Number of times `v' appears in structure
feature -- Status report

consistent (other: like Current): BOOLEAN
-- Is object in a consistent state so that `other'
-- may be copied onto it? (Default answer: yes).

full: BOOLEAN
-- Is structure filled to capacity? (Answer: yes)

extendible: BOOLEAN
-- May items be added?
-- (Answer: no, although array may be resized.)

prunable: BOOLEAN
-- May items be removed? (Answer: no.)
feature -- Resizing

grow (i: INTEGER)
-- Change the capacity to at least `i'.
feature -- Conversion

to_c: ANY
-- Address of actual sequence of values,
-- for passing to external (non-Eiffel) routines.

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES