INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
indexing
title:
"Memory allocated to Eiffel object."
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_OBJECT
inherit
RTS_MEMORY
end
feature
-- Access
anchor
:
ANY
area
:
POINTER
feature
-- Initialization
make
(
a
:
ANY
)
-- Sets 'anchor' to the given object
require
non_void_anchor
:
a
/=
void
ensure
anchor_set
:
anchor
=
a
invariant
non_void_anchor
:
anchor
/=
void
area_definition
:
anchor
.
object_id
=
area
.
to_integer
end
-- class
RTS_MEMORY_OBJECT
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES