Version 1.1 of ai05s/ai05-0203-1.txt

Unformatted version of ai05s/ai05-0203-1.txt version 1.1
Other versions for file ai05s/ai05-0203-1.txt

!standard 3.9.3(8/3) 10-02-13 AI05-0203-1/01
!class binding interpretation 10-02-13
!status work item 10-02-13
!status received 09-09-24
!priority Low
!difficulty Easy
!qualifier Omission
!subject

!summary

The return_subtype_indication cannot denote an abstract subtype.

!question

There does not seems to be a rule that makes this illegal, although surely it must be:

function Func return Abstract_Type'Class is begin return X : Abstract_Type; end Func;

Nothing in 3.9.3(8) applies to this (since it's not an object_declaration).

!recommendation

(See Summary.)

!wording

Add after the fourth sentence of 3.9.3(8/3):

The type denoted by a return_subtype_indication shall not be abstract.

!discussion

In the example in the question, the function is legal because it is returning a class-wide type, which is never abstract (3.9.3(1.2/2)). Since any type that is covered by the class-wide type is allowed in the extended_return_statement, we could declare a specific abstract type as shown. So we need to explcitly disallow this case.

--!corrigendum 3.9.3(8/3)

!ACATS Test

An ACATS B-Test should be created that checks this rule.

!appendix


!topic Extended return with abstract type??
!reference 3.9.3(8), 6.5
!from Adam Beneschan 09-11-24
!discussion

One more for the "abstract screwups" AI (AI05-73), maybe:

I can't find anything in 3.9.3(8) or 6.5 that makes this illegal,
although surely it must be:

   function Func return Abstract_Type'Class is
   begin
      return X : Abstract_Type;
   end Func;

Nothing in 3.9.3(8) applies to this (since it's not an
object_declaration). 

****************************************************************

From: Edmond Schonberg
Sent: Tuesday, November 24, 2009  2:01 PM

Well, there is 3.1 (6/2) ... " In addition, an
extended_return_statement is a declaration of its defining  
identifier"   but this is rather oblique, and does not correspond  
explicitly to the categories described in 3.9.3 (8).

****************************************************************

Questions? Ask the ACAA Technical Agent