INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Memory region which could be resizeed and changed."
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
deferred class RTS_MEMORY_RESIZABLE
inherit

RTS_MEMORY
redefine
copy
end
feature -- Measurement

count: INTEGER
feature -- Resizing

resize (new_count: INTEGER)
-- Rearrange area so that it accommodates 'new_count' primitive
-- elements
require
non_negative_new_count: new_count >= 0
ensure
properly_resized: count = new_count
feature -- Duplication

copy (other: like Current)
-- Reinitialize by copying all the contents of 'other'
end -- class RTS_MEMORY_RESIZABLE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES