Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
class
	PROCEDURE [BASE_TYPE, OPEN_ARGS -> TUPLE]

General
	cluster: base.kernel
	description: 
		"Objects representing delayed calls to a procedure.
		with some operands possibly still open."

Ancestors
	ROUTINE [BASE_TYPE, OPEN_ARGS -> TUPLE]

Queries
	callable: BOOLEAN
	hash_code: INTEGER
	is_equal (other: [like Current] PROCEDURE [BASE_TYPE, OPEN_ARGS]): BOOLEAN
	is_hashable: BOOLEAN
	open_count: INTEGER
	open_operand_type (i: INTEGER): INTEGER
	operands: OPEN_ARGS
	postcondition (args: [like operands] OPEN_ARGS): BOOLEAN
	precondition (args: [like operands] OPEN_ARGS): BOOLEAN
	target: ANY
	valid_operands (args: OPEN_ARGS): BOOLEAN

Commands
	adapt (other: ROUTINE [ANY, OPEN_ARGS])
	apply
	call (args: OPEN_ARGS)
	copy (other: [like Current] PROCEDURE [BASE_TYPE, OPEN_ARGS])
	set_operands (args: OPEN_ARGS)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com