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