note 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. ]" library: "Free implementation of ELKS library" status: "See notice at end of class." legal: "See notice at end of class." date: "$Date: 2017-06-01 07:24:49 +0000 (Thu, 01 Jun 2017) $" revision: "$Revision: 100440 $" class FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] inherit ROUTINE [OPEN_ARGS] redefine is_equal, copy end create {NONE} set_rout_disp, set_rout_disp_final feature -- Access last_result: detachable RESULT_TYPE -- Result of last call, if any call (args: detachable separate OPEN_ARGS) -- Call routine with args. do last_result := item (args) end item alias "()" (args: detachable separate OPEN_ARGS): RESULT_TYPE -- Result of calling function with args as operands. require valid_operands: valid_operands (args) local closed_arguments_count: like closed_count do closed_arguments_count := closed_count Result := fast_item (encaps_rout_disp, calc_rout_addr, $closed_operands.to_pointer, $args.to_pointer, routine_id, is_basic, written_type_id_inline_agent, closed_arguments_count, open_count, $open_map.to_pointer) end apply -- Call function with operands as last set. do last_result := item (operands) end feature -- Comparison is_equal (other: like Current): BOOLEAN -- Is associated function the same as the one -- associated with other? do Result := Precursor (other) and then (last_result ~ other.last_result) end feature -- Duplication copy (other: like Current) -- Use same function as other. do if other /= Current then Precursor (other) last_result := other.last_result end end feature -- Obsolete eval (args: detachable OPEN_ARGS): RESULT_TYPE obsolete "Please use `item' instead. [2017-05-31]" -- Result of evaluating function for args. require valid_operands: valid_operands (args) do Result := item (args) end feature -- Removal clear_last_result -- Reset content of last_result to its default value. local l_result: detachable RESULT_TYPE do last_result := l_result end feature -- Extended operations flexible_item (a: detachable separate TUPLE): RESULT_TYPE -- Result of calling function with a as arguments. -- Compared to item the type of a may be different from {OPEN_ARGS}. require valid_operands: valid_operands (a) local default_arguments: detachable OPEN_ARGS do if not attached a then Result := item (default_arguments) else check from_precondition: attached {OPEN_ARGS} new_tuple_from_tuple (({OPEN_ARGS}).type_id, a) as x then Result := item (x) end end end feature {NONE} -- Implementation fast_item (a_rout_disp, a_calc_rout_addr: POINTER; a_closed_operands: POINTER; a_operands: POINTER; a_routine_id: INTEGER_32; a_is_basic: BOOLEAN; a_class_id_inline_agent: INTEGER_32; a_closed_count, a_open_count: INTEGER_32; a_open_map: POINTER): RESULT_TYPE external "C inline use %"eif_rout_obj.h%"" alias "[ #ifdef WORKBENCH $$_result_type result; if ($a_rout_disp != 0) { return (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_POINTER, EIF_REFERENCE, EIF_REFERENCE)) $a_rout_disp)( $a_calc_rout_addr, $a_closed_operands, $a_operands).$$_result_value; } else { rout_obj_call_function_dynamic ( $a_routine_id, $a_is_basic, $a_class_id_inline_agent, $a_closed_operands, $a_closed_count, $a_operands, $a_open_count, $a_open_map, &result); return result; } #else return (FUNCTION_CAST($$_result_type, (EIF_POINTER, EIF_REFERENCE, EIF_REFERENCE)) $a_rout_disp)( $a_calc_rout_addr, $a_closed_operands, $a_operands); #endif ]" end note copyright: "Copyright (c) 1984-2017, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class FUNCTION
Generated by ISE EiffelStudio