Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] General cluster: elks description: "Objects representing delayed calls to a procedure. with some operands possibly still open. Note: Features are the same as those of ROUTINE, with apply made effective, and no further redefinition of is_equal and copy." create: set_rout_disp, set_rout_disp_final Ancestors ROUTINE* [OPEN_ARGS -> detachable TUPLE create default_create end] Queries attached_type (type_id: INTEGER_32): INTEGER_32 Bit_type: INTEGER_32 Boolean_type: INTEGER_32 Callable: BOOLEAN Character_32_type: INTEGER_32 Character_8_type: INTEGER_32 Character_type: INTEGER_32 class_name_of_type (type_id: INTEGER_32): STRING_8 compiler_version: INTEGER_32 detachable_type (type_id: INTEGER_32): INTEGER_32 Double_type: INTEGER_32 dynamic_type_from_string (class_type: READABLE_STRING_GENERAL): INTEGER_32 Expanded_type: INTEGER_32 field_conforms_to (a_source_type, a_field_type: INTEGER_32): BOOLEAN field_count_of_type (type_id: INTEGER_32): INTEGER_32 field_name_of_type (i, type_id: INTEGER_32): STRING_8 field_static_type_of_type (i, type_id: INTEGER_32): INTEGER_32 field_type_of_type (i, type_id: INTEGER_32): INTEGER_32 generic_count_of_type (type_id: INTEGER_32): INTEGER_32 generic_dynamic_type_of_type (type_id, i: INTEGER_32): INTEGER_32 hash_code: INTEGER_32 Integer_16_type: INTEGER_32 Integer_32_type: INTEGER_32 Integer_64_type: INTEGER_32 Integer_8_type: INTEGER_32 Integer_type: INTEGER_32 is_attached_type (a_type_id: INTEGER_32): BOOLEAN is_equal (other: [like Current] PROCEDURE [OPEN_ARGS]): BOOLEAN is_field_expanded_of_type (i, a_type_id: INTEGER_32): BOOLEAN is_field_transient_of_type (i, a_type_id: INTEGER_32): BOOLEAN is_hashable: BOOLEAN is_pre_ecma_mapping_disabled: BOOLEAN is_special_any_type (type_id: INTEGER_32): BOOLEAN is_special_type (type_id: INTEGER_32): BOOLEAN is_target_closed: BOOLEAN is_tuple_type (type_id: INTEGER_32): BOOLEAN is_valid_type_string (s: READABLE_STRING_GENERAL): BOOLEAN mapped_type (a_type: READABLE_STRING_GENERAL): READABLE_STRING_GENERAL Max_predefined_type: INTEGER_32 Min_predefined_type: INTEGER_32 Mismatch_information: MISMATCH_INFORMATION Natural_16_type: INTEGER_32 Natural_32_type: INTEGER_32 Natural_64_type: INTEGER_32 Natural_8_type: INTEGER_32 new_instance_of (type_id: INTEGER_32): ANY new_special_any_instance (type_id, a_capacity: INTEGER_32): SPECIAL [detachable ANY] new_tuple_from_special (type_id: INTEGER_32; values: SPECIAL [detachable separate ANY]): detachable TUPLE new_tuple_from_tuple (type_id: INTEGER_32; source: separate TUPLE): detachable TUPLE None_type: INTEGER_32 open_count: INTEGER_32 operands: detachable OPEN_ARGS persistent_field_count_of_type (a_type_id: INTEGER_32): INTEGER_32 Pointer_type: INTEGER_32 postcondition (args: [like operands] detachable OPEN_ARGS): BOOLEAN precondition (args: [like operands] detachable OPEN_ARGS): BOOLEAN Real_32_type: INTEGER_32 Real_64_type: INTEGER_32 Real_type: INTEGER_32 Reference_type: INTEGER_32 storable_version_of_type (a_type_id: INTEGER_32): detachable IMMUTABLE_STRING_8 target: detachable ANY type_conforms_to (type1, type2: INTEGER_32): BOOLEAN type_name_of_type (type_id: INTEGER_32): STRING_8 type_of_type (type_id: INTEGER_32): TYPE [detachable ANY] valid_operands (args: detachable separate TUPLE): BOOLEAN valid_target (args: detachable TUPLE): BOOLEAN Wide_character_type: INTEGER_32 Commands adapt (other: [like Current] PROCEDURE [OPEN_ARGS]) apply call alias "()" (args: detachable separate OPEN_ARGS) copy (other: [like Current] PROCEDURE [OPEN_ARGS]) correct_mismatch flexible_call (a: detachable separate TUPLE) set_operands (args: detachable OPEN_ARGS) set_target (a_target: [like target] detachable ANY)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org