Automatic generation produced by ISE Eiffel
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: 2015-05-25 14:12:36 -0700 (Mon, 25 May 2015) $" revision: "$Revision: 97362 $" frozen class interface 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 frozen check_assert (b: BOOLEAN): BOOLEAN frozen generating_type_of_type (a_type_id: INTEGER_32): STRING_8 frozen in_assertion: BOOLEAN -- Are we currently checking some assertions? 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]'. 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'? frozen type_id_from_name (s: POINTER): INTEGER_32 -- Dynamic type whose name is represented by `s'. frozen dynamic_type (object: separate ANY): INTEGER_32 -- Dynamic type of `object'. frozen pre_ecma_mapping_status: BOOLEAN -- Do we map old name to new name by default? frozen set_pre_ecma_mapping (v: BOOLEAN) -- Set pre_ecma_mapping_status with `v'. frozen is_attached_type (a_type_id: INTEGER_32): BOOLEAN -- Is `a_type' an attached type? frozen detachable_type (a_type_id: INTEGER_32): INTEGER_32 -- Detachable version of `a_type' frozen attached_type (a_type_id: INTEGER_32): INTEGER_32 -- Attached version of `a_type' frozen is_field_transient_of_type (i: INTEGER_32; a_type_id: INTEGER_32): BOOLEAN -- Is `i-th' field (zero based index) a transient field? frozen is_field_expanded_of_type (i: INTEGER_32; a_type_id: INTEGER_32): BOOLEAN -- Is `i'-th field of `object' an expanded attribute? 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. frozen storable_version_of_type (a_type_id: INTEGER_32): detachable STRING_8 compiler_version: INTEGER_32 feature -- Internal support frozen reference_field_at_offset (a_enclosing: POINTER; a_physical_offset: INTEGER_32): ANY -- Retrieve the reference field of `a_enclosing' located at `a_physical_offset' bytes. frozen raw_reference_field_at_offset (a_enclosing: POINTER; a_physical_offset: INTEGER_32): POINTER -- Retrieve the unprotected reference field of `a_enclosing' located at `a_physical_offset' bytes. 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'. 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? frozen is_special_copy_semantics_item (i: INTEGER_32; a_object: POINTER): BOOLEAN -- Does `i'-th item of specia `a_object' denote a reference with copy semantics? frozen field_count_of_type (a_type_id: INTEGER_32): INTEGER_32 -- Number of logical fields in dynamic type `a_type_id'. 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'. frozen object_size (a_object: POINTER): NATURAL_64 -- Physical size of `a_object' frozen field_name_of_type (i: INTEGER_32; a_type_id: INTEGER_32): POINTER -- C pointer to name of `i'-th field of `object' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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' 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'. 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'. 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'. 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'. 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'. 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'. 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'. 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'. 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'. 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'. 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'. 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'. 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'. 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'. 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'. frozen is_special (a_object: POINTER): BOOLEAN -- Is `object' a special object? 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. 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. frozen is_expanded (a_object: POINTER): BOOLEAN -- Is `a_object' an instance of an expanded type? frozen is_tuple (object: POINTER): BOOLEAN -- Is `object' a TUPLE object? frozen set_reference_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: detachable ANY) frozen set_real_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_64) frozen set_character_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_8) frozen set_character_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_32) frozen set_boolean_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: BOOLEAN) frozen set_natural_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_8) frozen set_natural_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_16) frozen set_natural_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_32) frozen set_natural_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_64) frozen set_integer_8_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_8) frozen set_integer_16_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_16) frozen set_integer_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_32) frozen set_integer_64_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_64) frozen set_real_32_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_32) frozen set_pointer_field (i: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: POINTER) frozen set_reference_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: detachable ANY) frozen set_real_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_64) frozen set_character_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_8) frozen set_character_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: CHARACTER_32) frozen set_boolean_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: BOOLEAN) frozen set_natural_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_8) frozen set_natural_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_16) frozen set_natural_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_32) frozen set_natural_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: NATURAL_64) frozen set_integer_8_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_8) frozen set_integer_16_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_16) frozen set_integer_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_32) frozen set_integer_64_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: INTEGER_64) frozen set_real_32_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: REAL_32) frozen set_pointer_field_at (field_offset: INTEGER_32; a_object: POINTER; a_physical_offset: INTEGER_32; value: POINTER) frozen generic_parameter_count (a_type_id: INTEGER_32): INTEGER_32 -- Number of generic parameters for object of dynamic type `a_type_id'. 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'. 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. frozen unlock_marking -- Release a lock on `mark' and `unmark', so that another thread can -- use `mark' and `unmark'. frozen is_object_marked (obj: POINTER): BOOLEAN frozen unmark_object (obj: POINTER) frozen mark_object (obj: POINTER) note copyright: "Copyright (c) 1984-2014, 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 Eiffel --
For more details: www.eiffel.com