6.8 Expression Functions
Name Resolution Rules
The execution of an expression function is invoked
by a subprogram call. For the execution of a subprogram call on an expression
function, the execution of the subprogram_body
executes an implicit function body containing only a simple_return_statement
is the return expression of the expression function.
The elaboration of an expression_function_declaration
has no other effect than to establish that the expression function can
be called without failing the Elaboration_Check.
Is_Origin (P : in
-- see 3.9
(P.X = 0.0 and
P.Y = 0.0);
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe