Automatic generation produced by ISE Eiffel
indexing description: "Platform independent abstraction of a shared library routine" status: "See notice at end of class" date: "$Date: 2001-11-16 20:32:23 +0000 (Fri, 16 Nov 2001) $" revision: "$Revision: 51435 $" deferred class SHARED_LIBRARY_ROUTINE inherit SHARED_LIBRARY_CONSTANTS feature -- Initialization make_by_name (lib: SHARED_LIBRARY; f_name: STRING; arg_types: ARRAY [INTEGER]; ret_type: INTEGER) is -- Connect to the routine f_name in library lib require library_exists: lib /= void meaningful: lib.meaningful function_name_non_void: f_name /= void function_name_non_empty: not f_name.is_empty valid_argument_array: arg_types /= void valid_argument_types: valid_argument_types (arg_types) valid_return_type: valid_return_type (ret_type) deferred ensure consistent_f_name: f_name.is_equal (function_name) consistent_lib: lib = shared_library routine_not_called: not routine_called end feature -- Basic operations call (args: ARRAY [ANY]) is -- Call the routine with actual arguments args require meaningful: meaningful valid_array: args /= void conformant: conforms_to_signature (args) deferred ensure routine_called: routine_called end feature -- Status report argument_count: INTEGER is -- Number of arguments required do Result := argument_types.count end boolean_result: BOOLEAN is -- Value when the routine returns a boolean require routine_called: routine_called valid_return_type: return_type = t_boolean deferred end character_result: CHARACTER is -- Value when the routine returns a character require routine_called: routine_called valid_return_type: return_type = t_character deferred end conforms_to_signature (arguments: ARRAY [ANY]): BOOLEAN is -- Do the actual arguments arguments conform to the signature? require valid_array: arguments /= void local i, j, nb: INTEGER arg: ANY boolean_ref: BOOLEAN_REF character_ref: CHARACTER_REF double_ref: DOUBLE_REF integer_ref: INTEGER_REF real_ref: REAL_REF pointer_ref: POINTER_REF s: STRING s1: ARRAY [INTEGER] s2: ARRAY [REAL] s3: ARRAY [DOUBLE] s4: ARRAY [BOOLEAN] s5: ARRAY [CHARACTER] s6: ARRAY [POINTER] s7: ARRAY [ANY] do from Result := arguments.count = argument_count i := arguments.lower j := argument_types.lower nb := arguments.count until i > nb or not Result loop arg := arguments @ i inspect argument_types @ j when t_array then Result := True; s1 ?= arg; if s1 = void then s2 ?= arg; if s2 = void then s3 ?= arg; if s3 = void then s4 ?= arg; if s4 = void then s5 ?= arg; if s5 = void then s6 ?= arg; if s6 = void then s7 ?= arg; if s7 = void then Result := False end end end end end end end when t_boolean then boolean_ref ?= arg; Result := boolean_ref /= void when t_character then character_ref ?= arg; Result := character_ref /= void when t_double then double_ref ?= arg; Result := double_ref /= void when t_integer,t_short_integer then integer_ref ?= arg; Result := integer_ref /= void when t_real then real_ref ?= arg; Result := real_ref /= void when t_pointer then pointer_ref ?= arg; Result := pointer_ref /= void when t_no_type then Result := False when t_reference then when t_string then create s.make (0); Result := arg.conforms_to (s) end i := i + 1 j := j + 1 end end double_result: DOUBLE is -- Value when the routine returns a double require routine_called: routine_called valid_return_type: return_type = t_double deferred end error_code: INTEGER -- Current status of the routine integer_result: INTEGER is -- Value when the routine returns an integer require routine_called: routine_called valid_return_type: return_type = t_integer or return_type = t_short_integer deferred end meaningful: BOOLEAN is -- Is the routine currently callable? do Result := shared_library.meaningful and (error_code = no_error) end pointer_result: POINTER is -- Value when the routine returns a pointer require routine_called: routine_called valid_return_type: return_type = t_pointer deferred end routine_called: BOOLEAN -- Has the routine already been called? real_result: REAL is -- Value when the routine returns a real require routine_called: routine_called valid_return_type: return_type = t_real deferred end reference_result: ANY is -- Value when the routine returns a reference require routine_called: routine_called valid_return_type: return_type = t_reference deferred end string_result: STRING is -- Value when the routine returns a string require routine_called: routine_called valid_return_type: return_type = t_string deferred end valid_argument_types (args: ARRAY [INTEGER]): BOOLEAN is -- Are all the argument types in args valid? local i, nb: INTEGER arg_type: INTEGER do from Result := True i := args.lower nb := args.count until i > nb or else not Result loop arg_type := args @ i Result := arg_type >= 0 and arg_type < t_no_type i := i + 1 end end valid_return_type (ret_type: INTEGER): BOOLEAN is -- Is ret_type valid as a return type? do Result := (ret_type > t_array) and then (ret_type <= t_no_type) end feature -- Access argument_types: ARRAY [INTEGER] -- Expected types of the actual arguments function_name: STRING -- Name of the routine in the library library_name: STRING is -- Name of the associated library for the routine do Result := shared_library.library_name end return_type: INTEGER -- Expected return type shared_library: SHARED_LIBRARY -- Associated library for the routine invariant library_exists: shared_library /= void meaningful_only_if_no_error: meaningful implies (error_code = no_error) meaningful_library: meaningful implies shared_library.meaningful indexing library: "[ EiffelBase: Library of reusable components for Eiffel. ]" status: "[ Copyright 1986-2001 Interactive Software Engineering (ISE). For ISE customers the original versions are an ISE product covered by the ISE Eiffel license and support agreements. ]" license: "[ EiffelBase may now be used by anyone as FREE SOFTWARE to develop any product, public-domain or commercial, without payment to ISE, under the terms of the ISE Free Eiffel Library License (IFELL) at http://eiffel.com/products/base/license.html. ]" source: "[ Interactive Software Engineering Inc. ISE Building 360 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Electronic mail <info@eiffel.com> Customer support http://support.eiffel.com ]" info: "[ For latest info see award-winning pages: http://eiffel.com ]" end -- class SHARED_LIBRARY_ROUTINE -- Generated by ISE Eiffel --
For more details: www.eiffel.com