Re: Use of expression function in protected type

[Egil H H <ehh.public@gmail.com>]

On Tuesday, January 20, 2015 at 11:34:54 PM UTC+1, Simon Wright wrote:
> 9.4(8) says a protected_operation_item can be, inter alia, a
> subprogram_declaration or a subprogram body. (subprogram_declaration?
> how can that be?)

Just like a package can have subprograms declared
in the public part, private part or the body,
protected subprograms can be declared in the public 
part, private part or body of a protected type.
(For example, it's not uncommon for a barrier 
function to be declared in the body.)

And just like in a package body, forward 
declarations (or subprogram_declarations) are 
allowed for subprograms. 

However, an expression_function is allowed 
to complete a subprogram_declaration, but is not
itself a subprogram_declaration (ARM 6.1(30/3).
As far as I can tell, it's a basic_declaration,
which is allowed in package specifications and 
bodies, but not in protected_operation_items.

-- 
~egilhh