Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
class FUNCTION [BASE_TYPE, OPEN_ARGS -> TUPLE, RESULT_TYPE] General cluster: base.kernel description: "Objects representing delayed calls to a function, with some arguments possibly still open." Ancestors ROUTINE [BASE_TYPE, OPEN_ARGS -> TUPLE] Queries callable: BOOLEAN hash_code: INTEGER is_equal (other: [like Current] FUNCTION [BASE_TYPE, OPEN_ARGS, RESULT_TYPE]): BOOLEAN is_hashable: BOOLEAN item (args: OPEN_ARGS): RESULT_TYPE last_result: RESULT_TYPE 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] FUNCTION [BASE_TYPE, OPEN_ARGS, RESULT_TYPE]) 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