If a function method is used in an operation position, the return value is used like a data object whose
data type is determined with an exception by the full typing of the return value (a type-friendly actual
parameter is implicitly associated with it). Checking of this typing is not necessary (or is always successful). An error always occurs, however, if the typing of the return value does not match the
If the return value of a functional method as an actual parameter is bound to a generically typed formal
parameter of type p, this uses the decimal places of the return value but not its length. In this case the formal parameter is given a length of 16.
If an actual parameter is specified explicitly after RECEIVING, this parameter does not have to comply with the
general typing rules for typing the formal parameter. Instead, it is enough if the formal parameter can be converted to the actual parameter in accordance with the
If an exception is raised when the return value is assigned to a formal parameter or when it is used
as an operand, the exception cannot always be handled and a runtime error can occur instead (depending on the operand positions).