INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

project: "Visual Eiffel run-time system"
copyright: "Object Tools, 1998-2003"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class RTS_FEATURE_SELECTION_TABLE
inherit

RTS_MEMORY_AREA
rename
make as set_address
end

RTS_SERVER
undefine
copy,
is_equal
end
creation

make
feature -- Data

table: RTS_MEMORY_MAPPED_AREA_ARRAY [INTEGER]
feature -- Creation

make (p: POINTER)
require
valid_pointer: p /= default_pointer
feature -- Property

type: INTEGER

table_address: POINTER
ensure
valid_address: Result /= default_pointer
feature -- Measurement

count: INTEGER

size: INTEGER
feature -- Access

get_element_by_typeid (typeid: INTEGER): INTEGER
require
valid_typeid: valid_id (typeid)
non_deferred_class: not id2class_info (typeid).is_deferred
ensure
valid_result: Result /= 0

get_element (obj: ANY): INTEGER
require
non_void_object: obj /= void
ensure
valid_result: Result /= 0
end -- class RTS_FEATURE_SELECTION_TABLE

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES