- 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