CVS difference for acats/new/testobj.txt

Differences between 1.97 and version 1.98
Log of other versions for file acats/new/testobj.txt

--- acats/new/testobj.txt	2015/06/23 03:20:59	1.97
+++ acats/new/testobj.txt	2015/08/25 04:42:05	1.98
@@ -1401,6 +1401,13 @@
 call, or a qualified or parenthesized expression whose operand would
 be allowed.
 
+B750A04
+
+In the qualified expression of an initialized allocation,
+of a limited type cannot be anything other than an aggregate, function
+call, or a qualified or parenthesized expression whose operand would
+be allowed.
+
 B810001
 
 Check that a choice_parameter_specification in an exception handler
@@ -3458,6 +3465,16 @@
 Check that tagged types declared within generic package declarations
 generate distinct tags for each instance of the generic.
 
+C390012
+
+Check that an instance of Generic_Dispatching_Constructor calls the
+correct functions and creates objects of the correct type.
+
+Check that an instance of Generic_Dispatching_Constructor raises
+Tag_Error if called with the tag of an unrelated type, the tag of
+an abstract type, the tag of a type more nested than the instance,
+or with No_Tag.
+
 C390A01
 
 Check that a nonprivate tagged type declared in a package specification
@@ -4756,6 +4773,45 @@
 function is an anonymous access type designating a specific tagged
 type and the result value is not null and designates some other
 specific type.
+
+C650A02
+
+Check that the tag of the result of a function that returns a
+class-wide tagged type with a simple return statement is that of
+the return expression. Case A: limited types.
+
+Check that the tag of the result of a function that returns a
+class-wide tagged type with an extended return statement whose subtype
+indication has a class-wide type is the tag of the initializing
+expression. Case A: limited types.
+
+C650B01
+
+Check that the tag of the result of a function that returns a specific
+tagged type is that of the function, even if the return expression has
+a different tag.
+
+C650B02
+
+Check that the tag of the result of a function that returns a
+class-wide tagged type with a simple return statement is that of
+the return expression. Case B: non-limited types.
+
+Check that the tag of the result of a function that returns a
+class-wide tagged type with an extended return statement whose subtype
+indication has a class-wide type is the tag of the initializing
+expression. Case B: non-limited types.
+
+C650B03
+
+Check that if the result subtype of a function is class-wide, the
+return_subtype_indication of an extended_return_statement given within
+it can be any definite specific subtype that is covered by the
+class-wide result type.
+
+Check that the tag of the result of a function that returns a class-wide
+tagged type with an extended return statement whose subtype indication
+has a specific type is the tag of the specific type.
 
 C660001
 

Questions? Ask the ACAA Technical Agent