- indexing
- project: "Visual Eiffel run-time system"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: kernel
class RTS_MODULE_DATA
- inherit
-
RTS_MEMORY_MAPPED_AREA
[POINTER]
- end
- creation
- make
- feature -- Data
-
count: INTEGER
- feature -- Status
-
is_eiffel_code (a: POINTER): BOOLEAN
- feature -- Addresses
-
eiffel_first_address: POINTER
-
- ensure
-
valid_result:
Result /= default_pointer
-
native_assertions_start_address: POINTER
-
native_class_invariant_start_address: POINTER
-
p_assertions_start_address: POINTER
-
p_code_class_invariant_start_address: POINTER
-
native_code_start_address: POINTER
-
- ensure
-
valid_result:
Result /= default_pointer
-
p_code_start_address: POINTER
-
eiffel_last_address: POINTER
-
- ensure
-
valid_result:
Result /= default_pointer
-
start_of_rtns_table: POINTER
-
- ensure
-
valid_result:
Result /= default_pointer
-
end_of_rtns_table: POINTER
-
- ensure
-
valid_result:
Result /= default_pointer and Result /= start_of_rtns_table
-
debug_keys_table: POINTER
-
end_of_debug_keys_table: POINTER
-
- ensure
-
valid_result:
debug_keys_table /= default_pointer implies Result /= default_pointer
-
optimal_once_tab: POINTER
-
not_use_assertion_flag: POINTER
-
ref_once_tab: POINTER
-
endof_ref_once_tab: POINTER
-
- ensure
-
valid_result:
ref_once_tab /= default_pointer implies Result /= default_pointer
-
opt_once_tab: POINTER
-
endof_opt_once_tab: POINTER
-
- ensure
-
valid_result:
opt_once_tab /= default_pointer implies Result /= default_pointer
-
interpreter_start: POINTER
-
interpreter_end: POINTER
-
- ensure
-
valid_result:
interpreter_start /= default_pointer implies Result /= default_pointer
-
p_hSupHeap: POINTER
-
print_error: POINTER
-
reserved1: POINTER
-
reserved2: POINTER
-
io_detach: POINTER
-
- ensure
-
valid_result:
Result /= default_pointer
-
winapi_stack_buffer: POINTER
-
p_winapi_stack: POINTER
end -- class RTS_MODULE_DATA