INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Memory Block implementation using array"
copyright: "Copyright 1999 Douglas L. Pardee and others,", "see file %'forum.txt%'"
cluster: matcher
class ARRAY_MEMORY_BLOCK [G]
inherit

MEMORY_BLOCK
redefine
default_rescue
end

ARRAY [G]
rename
make as array_make
export
{NONE}
all
{ANY}
count,
to_c
redefine
default_rescue
end
creation

make
feature {NONE}-- Creation

make (blocksize: INTEGER)
require
nonnegative_blocksize: blocksize >= 0
ensure
count_set: (count = blocksize)
feature -- Redefinition

default_rescue
-- assure that the class invariants are okay
end -- class ARRAY_MEMORY_BLOCK

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES