- 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