- 18.11 (released) ...
EIF_PROCEDURE eif_procedure (char * name, int * tid);
eif_procedure function returns the address of the Eiffel procedure of name
name from the class, which type identifier is
If the visible exception is enabled, it raises an visible exception upon failure.
Successful: Address of the procedure.
NULL. (The procedure does not exist or is not visible).
Otherwise, the address of the procedure is returned.
The Eiffel procedure cannot be a C external. In this case, you must directly call the C routine.
The return value is an address: to use it as a routine, you must call it with arguments or at least with ().
No argument type checking is done. You may cast the address of an Eiffel routine obtained with
eif_procedure when calling it with real arguments.
ISE Eiffel 4.4 and later.
eif_procedure is equivalent to
eif_proc, which is deprecated.