CVS difference for 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