function Chart

Automatic generation produced by ISE Eiffel

 Classes
 Clusters
 Cluster hierarchy
 Chart
 Relations
 Flat contracts
 Go to: 
class
	FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE]
General
	cluster: elks
	description: 
		"Objects representing delayed calls to a function,
		with some arguments possibly still open.
		
		Note: Features are the same as those of ROUTINE,
		with apply made effective, and the addition
		of last_result and item."
	create: set_rout_disp , set_rout_disp_final
Ancestors
	ROUTINE * [OPEN_ARGS -> detachable TUPLE create default_create end]
Queries
	Callable : BOOLEAN 
	flexible_item (a: detachable separate TUPLE ): RESULT_TYPE
	hash_code : INTEGER_32 
	is_equal (other: [like Current] FUNCTION [OPEN_ARGS, RESULT_TYPE]): BOOLEAN 
	is_hashable : BOOLEAN 
	is_target_closed : BOOLEAN 
	item alias "() " (args: detachable separate OPEN_ARGS): RESULT_TYPE
	last_result : detachable RESULT_TYPE
	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] FUNCTION [OPEN_ARGS, RESULT_TYPE])
	apply 
	call (args: detachable separate OPEN_ARGS)
	clear_last_result 
	copy (other: [like Current] FUNCTION [OPEN_ARGS, RESULT_TYPE])
	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