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