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_8_of_type (type_id: INTEGER_32): STRING_8
	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_8_of_type (i, type_id: INTEGER_32): STRING_8
	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_8_of_type (type_id: INTEGER_32): STRING_8
	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)

Generated by ISE EiffelStudio