INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Memory area attached to another memory area"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: pool
class RTS_ATTACHED_MEMORY
inherit

RTS_MEMORY
end
creation

attach
feature -- Creation

attach (other: like attached_to)
-- Attach `Current' to `other'
require
valid_other: other /= void
ensure
is_attached: is_attached
feature -- Access

area: POINTER
-- Pointer to memory data
feature -- Measurement

size: INTEGER
-- Size of data in bytes
feature -- Queries

is_attached: BOOLEAN
feature -- Operations

detach
ensure
is_detached: not is_attached
end -- class RTS_ATTACHED_MEMORY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES