INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Top class to access memory."
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
inherit

ANY
redefine
is_equal
end
feature -- Access

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

size: INTEGER
-- Size of data in bytes
ensure
non_negative_size: size >= 0
feature -- Status report

empty: BOOLEAN
-- Is memory data empty?

is_initialized: BOOLEAN
feature -- Comparison

is_equal (other: like Current): BOOLEAN
-- Is array made of same items as 'other' ?
invariant

empty_definition: empty = (size = 0)
non_negative_size: size >= 0
end -- class RTS_MEMORY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES