INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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_ROUTINE_INFO
inherit

RTS_MEMORY_AREA
rename
size as sizeof
end

RTS_SERVER
undefine
is_equal
end
creation

make
feature -- Names & types

name: STRING
ensure
non_void_result: Result /= void
valid_result: Result.count > 0

argloc_name (name_id: INTEGER): STRING
require
valid_name_id: number_of_args_locs > 0 and then name_id > 0 and then name_id <= number_of_args_locs
ensure
non_void_result: Result /= void
valid_result: Result.count > 0

result_class_type: RTS_CLASS_INFO

source_class_type: RTS_CLASS_INFO
ensure
non_void_result: Result /= void
feature -- Description tables

precursors_description_table: ARRAY [RTS_ROUTINE_INFO]
ensure
valid_result: number_of_precursors > 0 implies Result /= void and then Result.count = number_of_precursors

args_description_table: ARRAY [RTS_ARG_LOC]
ensure
valid_result: Result /= void implies Result.count <= number_of_args_locs

args_locs_description_table: ARRAY [RTS_ARG_LOC]
require
valid_argloc_number: number_of_args_locs > 0
ensure
valid_result: number_of_args_locs > 0 implies Result /= void and then Result.count = number_of_args_locs
feature -- Addresses

rescue_address: POINTER

once_result_address: POINTER

callback_tab_address: POINTER

profiler_structure_address: POINTER
feature -- Lengths

sizeof: INTEGER
ensure
acceptable_size: sizeof > 0

arguments_length: INTEGER

locals_length: INTEGER
feature -- Numbers

number_of_references: INTEGER

number_of_args_locs: INTEGER

number_of_exp_locs: INTEGER

number_of_constant_strings: INTEGER

number_of_precursors: INTEGER
feature -- Pools

precursors_table: RTS_MEMORY_MAPPED_AREA_ARRAY [POINTER]
ensure
valid_result: number_of_precursors > 0 implies Result /= void and then Result.count = number_of_precursors

args_locs_offsets_table: RTS_MEMORY_MAPPED_AREA_ARRAY [INTEGER_16]
ensure
valid_result: number_of_args_locs > 0 implies Result /= void and then Result.count = number_of_args_locs

args_locs_types_table: RTS_MEMORY_MAPPED_AREA_ARRAY [POINTER]
ensure
valid_result: number_of_args_locs > 0 implies Result /= void and then Result.count = number_of_args_locs

name_pool: STRING
ensure
valid_name_pool: number_of_args_locs > 0 implies Result /= void and then Result.count > 0
end -- class RTS_ROUTINE_INFO

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES