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
	Callable: BOOLEAN
	hash_code: INTEGER_32
	is_equal (other: [like Current] PROCEDURE [OPEN_ARGS]): BOOLEAN
	is_hashable: BOOLEAN
	is_target_closed: BOOLEAN
	Mismatch_information: MISMATCH_INFORMATION
	open_count: INTEGER_32
	operands: detachable OPEN_ARGS
	postcondition (args: [like operands] detachable OPEN_ARGS): BOOLEAN
	precondition (args: [like operands] detachable OPEN_ARGS): BOOLEAN
	target: detachable ANY
	valid_operands (args: detachable separate TUPLE): BOOLEAN
	valid_target (args: detachable TUPLE): BOOLEAN

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