note description: "[ Set of features to access ISE runtime functionality. To be used at your own risk. Interface may changed without notice. ]" library: "Free implementation of ELKS library" status: "See notice at end of class." legal: "See notice at end of class." date: "$Date: 2019-05-09 08:38:36 +0000 (Thu, 09 May 2019) $" revision: "$Revision: 103143 $" frozen class ISE_RUNTIME create default_create feature -- Feature specific to ISE runtime. frozen generator_of_type (a_type_id: INTEGER_32): STRING_8 -- Name of the generating class of current object external "C inline use %"eif_out.h%"" alias "return c_generator_of_type(eif_decoded_type($a_type_id));" ensure instance_free: class end frozen check_assert (b: BOOLEAN): BOOLEAN external "C use %"eif_copy.h%"" alias "c_check_assert" ensure instance_free: class end frozen generating_type_of_type (a_type_id: INTEGER_32): STRING_8 external "built_in static" ensure instance_free: class end frozen in_assertion: BOOLEAN -- Are we currently checking some assertions? external "C inline use %"eif_eiffel.h%"" alias "[ GTCX; /* Needed in multithreaded mode as `in_assertion' is a per-thread data. */ return EIF_TEST(in_assertion!=0); ]" ensure instance_free: class end frozen once_objects (a_result_type_id: INTEGER_32): SPECIAL [ANY] -- Once objects initialized in current system. -- a_result_type_id is the dynamic type of SPECIAL [ANY]. external "C inline use %"eif_memory_analyzer.h%"" alias "return eif_once_objects_of_result_type(eif_decoded_type($a_result_type_id));" ensure instance_free: class end feature -- Internal C routines frozen type_conforms_to (a_type_id_1, a_type_id_2: INTEGER_32): BOOLEAN -- Does a_type_id_1 conform to a_type_id_2? external "built_in static" ensure instance_free: class end frozen type_id_from_name (s: POINTER): INTEGER_32 -- Dynamic type whose name is represented by s. external "C signature (char *): EIF_INTEGER use %"eif_cecil.h%"" alias "eif_type_id" ensure instance_free: class end frozen dynamic_type (object: separate ANY): INTEGER_32 -- Dynamic type of object. external "built_in static" ensure instance_free: class end frozen pre_ecma_mapping_status: BOOLEAN -- Do we map old name to new name by default? external "C inline use %"eif_cecil.h%"" alias "return eif_pre_ecma_mapping();" ensure instance_free: class end frozen set_pre_ecma_mapping (v: BOOLEAN) -- Set pre_ecma_mapping_status with v. external "C inline use %"eif_cecil.h%"" alias "eif_set_pre_ecma_mapping($v)" ensure instance_free: class end frozen is_attached_type (a_type_id: INTEGER_32): BOOLEAN -- Is a_type_id an attached type? external "built_in static" ensure instance_free: class end frozen detachable_type (a_type_id: INTEGER_32): INTEGER_32 -- Detachable version of a_type_id external "built_in static" ensure instance_free: class end frozen attached_type (a_type_id: INTEGER_32): INTEGER_32 -- Attached version of a_type_id external "built_in static" ensure instance_free: class end frozen is_field_transient_of_type (i: INTEGER_32; a_type_id: INTEGER_32): BOOLEAN -- Is i-th field a transient field? external "built_in static" ensure instance_free: class end frozen is_field_expanded_of_type (i: INTEGER_32; a_type_id: INTEGER_32): BOOLEAN -- Is i-th field of object a user-defined expanded attribute? external "built_in static" ensure instance_free: class end frozen persistent_field_count_of_type (a_type_id: INTEGER_32): INTEGER_32 -- Number of logical fields in dynamic type type_id that are not transient. external "built_in static" ensure instance_free: class end frozen storable_version_of_type (a_type_id: INTEGER_32): detachable STRING_8 external "C inline use %"eif_eiffel.h%"" alias "[ const char *l_version = System(To_dtype(eif_decoded_type($a_type_id).id)).cn_version; if (l_version && (l_version[0] != (char) 0)) { return RTMS(l_version); } else { return NULL; } ]" ensure instance_free: class end compiler_version: INTEGER_32 external "C macro use %"eif_project.h%"" alias "egc_compiler_tag" ensure instance_free: class end feature -- Internal support frozen reference_field_at_offset (a_enclosing: POINTER; a_physical_offset: INTEGER_32): ANY -- Reference field of a_enclosing located at a_physical_offset bytes. external "built_in static" ensure instance_free: class end frozen raw_reference_field_at_offset (a_enclosing: POINTER; a_physical_offset: INTEGER_32): POINTER -- Unprotected reference field of a_enclosing located at a_physical_offset bytes. external "built_in static" ensure instance_free: class end frozen dynamic_type_at_offset (a_enclosing: POINTER; a_physical_offset: INTEGER_32): INTEGER_32 -- Dynamic type of the field at a_physical_offset bytes from a_enclosing. external "built_in static" ensure instance_free: class end frozen is_copy_semantics_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): BOOLEAN -- Does i-th field of a_object + a_physical_offset denote a reference with copy semantics? external "built_in static" ensure instance_free: class end frozen is_special_copy_semantics_item (i: INTEGER_32; a_object: POINTER): BOOLEAN -- Does i-th item of special a_object denote a reference with copy semantics? external "built_in static" ensure instance_free: class end frozen field_count_of_type (a_type_id: INTEGER_32): INTEGER_32 -- Number of logical fields in dynamic type a_type_id. external "built_in static" ensure instance_free: class end frozen field_offset_of_type (i: INTEGER_32; a_type_id: INTEGER_32): INTEGER_32 -- Physical offset of the i-th field for an object of dynamic type a_type_id. external "built_in static" ensure instance_free: class end frozen object_size (a_object: POINTER): NATURAL_64 -- Physical size of a_object external "built_in static" ensure instance_free: class end frozen field_name_of_type (i: INTEGER_32; a_type_id: INTEGER_32): POINTER -- C pointer to name of i-th field of object external "built_in static" ensure instance_free: class end frozen field_type_of_type (i: INTEGER_32; a_type_id: INTEGER_32): INTEGER_32 -- Abstract type of i-th field of dynamic type a_type_id external "built_in static" ensure instance_free: class end frozen field_static_type_of_type (i: INTEGER_32; a_type_id: INTEGER_32): INTEGER_32 -- Static type of i-th field of dynamic type a_type_id external "built_in static" ensure instance_free: class end frozen reference_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): detachable ANY -- Reference value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen character_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): CHARACTER_8 -- Character value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen character_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): CHARACTER_32 -- Character value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen boolean_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): BOOLEAN -- Boolean value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen natural_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_8 -- NATURAL_8 value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen natural_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_16 -- NATURAL_16 value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen natural_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_32 -- NATURAL_32 value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen natural_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_64 -- NATURAL_64 value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen integer_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_8 -- Integer value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen integer_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_16 -- Integer value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen integer_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_32 -- Integer value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen integer_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_64 -- Integer value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen real_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): REAL_32 -- Real value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen pointer_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): POINTER -- Pointer value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen real_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): REAL_64 -- Double precision value of i-th field of object + a_physical_offset external "built_in static" ensure instance_free: class end frozen reference_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): detachable ANY -- Reference value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen character_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): CHARACTER_8 -- Character value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen character_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): CHARACTER_32 -- Character value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen boolean_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): BOOLEAN -- Boolean value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen natural_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_8 -- NATURAL_8 value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen natural_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_16 -- NATURAL_16 value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen natural_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_32 -- NATURAL_32 value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen natural_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): NATURAL_64 -- NATURAL_64 value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen integer_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_8 -- Integer value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen integer_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_16 -- Integer value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen integer_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_32 -- Integer value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen integer_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): INTEGER_64 -- Integer value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen real_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): REAL_32 -- Real value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen pointer_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): POINTER -- Pointer value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen real_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32): REAL_64 -- Double precision value of the field at field_offset in object a_object + a_physical_offset. external "built_in static" ensure instance_free: class end frozen is_special (a_object: POINTER): BOOLEAN -- Is object a special object? external "built_in static" ensure instance_free: class end frozen is_special_of_expanded (a_object: POINTER): BOOLEAN -- Is type represented by type_id represent -- a SPECIAL [XX] where XX is a user defined expanded type. external "built_in static" ensure instance_free: class end frozen is_special_of_reference (a_object: POINTER): BOOLEAN -- Is type represented by type_id represent -- a SPECIAL [XX] where XX is a reference type. external "built_in static" ensure instance_free: class end frozen is_expanded (a_object: POINTER): BOOLEAN -- Is a_object an instance of an expanded type? external "built_in static" ensure instance_free: class end frozen is_tuple (object: POINTER): BOOLEAN -- Is object a TUPLE object? external "built_in static" ensure instance_free: class end frozen set_reference_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: detachable ANY) external "built_in static" ensure instance_free: class end frozen set_real_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_64) external "built_in static" ensure instance_free: class end frozen set_character_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_8) external "built_in static" ensure instance_free: class end frozen set_character_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_32) external "built_in static" ensure instance_free: class end frozen set_boolean_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: BOOLEAN) external "built_in static" ensure instance_free: class end frozen set_natural_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_8) external "built_in static" ensure instance_free: class end frozen set_natural_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_16) external "built_in static" ensure instance_free: class end frozen set_natural_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_32) external "built_in static" ensure instance_free: class end frozen set_natural_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_64) external "built_in static" ensure instance_free: class end frozen set_integer_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_8) external "built_in static" ensure instance_free: class end frozen set_integer_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_16) external "built_in static" ensure instance_free: class end frozen set_integer_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_32) external "built_in static" ensure instance_free: class end frozen set_integer_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_64) external "built_in static" ensure instance_free: class end frozen set_real_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_32) external "built_in static" ensure instance_free: class end frozen set_pointer_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: POINTER) external "built_in static" ensure instance_free: class end frozen set_reference_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: detachable ANY) external "built_in static" ensure instance_free: class end frozen set_real_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_64) external "built_in static" ensure instance_free: class end frozen set_character_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_8) external "built_in static" ensure instance_free: class end frozen set_character_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_32) external "built_in static" ensure instance_free: class end frozen set_boolean_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: BOOLEAN) external "built_in static" ensure instance_free: class end frozen set_natural_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_8) external "built_in static" ensure instance_free: class end frozen set_natural_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_16) external "built_in static" ensure instance_free: class end frozen set_natural_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_32) external "built_in static" ensure instance_free: class end frozen set_natural_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_64) external "built_in static" ensure instance_free: class end frozen set_integer_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_8) external "built_in static" ensure instance_free: class end frozen set_integer_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_16) external "built_in static" ensure instance_free: class end frozen set_integer_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_32) external "built_in static" ensure instance_free: class end frozen set_integer_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_64) external "built_in static" ensure instance_free: class end frozen set_real_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_32) external "built_in static" ensure instance_free: class end frozen set_pointer_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: POINTER) external "built_in static" ensure instance_free: class end frozen generic_parameter_count (a_type_id: INTEGER_32): INTEGER_32 -- Number of generic parameters for object of dynamic type a_type_id. external "built_in static" ensure instance_free: class end frozen eif_gen_param_id (a_type_id: INTEGER_32; i: INTEGER_32): INTEGER_32 -- Type of i-th generic parameter for object of dynamic type a_type_id. external "built_in static" ensure instance_free: class end feature -- Object marking frozen lock_marking -- Get a lock on mark and unmark routine so that 2 threads cannot mark and -- unmark at the same time. external "C blocking use %"eif_traverse.h%"" alias "eif_lock_marking" ensure instance_free: class end frozen unlock_marking -- Release a lock on mark and unmark, so that another thread can -- use mark and unmark. external "C use %"eif_traverse.h%"" alias "eif_unlock_marking" ensure instance_free: class end frozen is_object_marked (obj: POINTER): BOOLEAN external "built_in static" ensure instance_free: class end frozen unmark_object (obj: POINTER) external "built_in static" ensure instance_free: class end frozen mark_object (obj: POINTER) external "built_in static" ensure instance_free: class end note copyright: "Copyright (c) 1984-2019, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class ISE_RUNTIME
Generated by ISE EiffelStudio