Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	FUNCTION [BASE_TYPE, 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

Ancestors
	ROUTINE* [BASE_TYPE, OPEN_ARGS -> detachable TUPLE create default_create end]

Queries
	Callable: BOOLEAN
	empty_operands: attached OPEN_ARGS
	hash_code: INTEGER_32
	is_equal (other: [like Current] attached FUNCTION [BASE_TYPE, OPEN_ARGS, RESULT_TYPE]): BOOLEAN
	is_hashable: BOOLEAN
	is_target_closed: BOOLEAN
	item (args: detachable OPEN_ARGS): RESULT_TYPE
	last_result: detachable RESULT_TYPE
	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 TUPLE): BOOLEAN
	valid_target (args: detachable TUPLE): BOOLEAN

Commands
	adapt (other: [attached like Current] attached FUNCTION [BASE_TYPE, OPEN_ARGS, RESULT_TYPE])
	apply
	call (args: detachable OPEN_ARGS)
	clear_last_result
	copy (other: [like Current] attached FUNCTION [BASE_TYPE, OPEN_ARGS, RESULT_TYPE])
	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: docs.eiffel.com