CVS difference for acats/new/testobj.txt
--- acats/new/testobj.txt 2008/01/26 04:54:50 1.42
+++ acats/new/testobj.txt 2008/04/01 03:48:23 1.43
@@ -707,6 +707,14 @@
accessibility level of the type of the return expression cannot be
statically deeper than the master that elaborated the function.
+B650004
+
+Check that a return statement is illegal if it is not within a
+callable construct.
+
+Check that a return statement is illegal if it is within a body
+that is within the construct to which it applies.
+
B660001
Check that the "=" operator may be overloaded for non-limited private
@@ -2963,6 +2971,11 @@
Check that a derived access type has the same storage pool as its
parent. (Defect Report 8652/0012, Technical Corrigendum 3.10(7/1)).
+C3A0016
+
+Check that a constant access-to-variable value can be used to
+modify the designated object.
+
C3A1001
Check that the full type completing a type with no discriminant part or
@@ -3424,6 +3437,35 @@
Check that actual parameters passed by reference are view converted to
the nominal subtype of the formal parameter.
+
+C650002
+
+Check that the completion of a return statement that applies to an
+accept statement causes the accept statement to return.
+
+Check that the completion of a return statement that applies to an
+entry body causes the entry to return.
+
+C650003
+
+Check that reaching the "end return" of an extended_return_statement
+that applies to a function causes the function to return.
+
+Check that a simple return statement in the
+handled_sequence_of_statements of an extended_return_statement
+completes the extended_return_statement and causes the function to
+return.
+
+Check that completing an an extended_return_statement that applies to
+a function by an exit, goto, or exception propagation does not
+cause the function to return.
+
+C650A01
+
+Check that Constraint_Error is raised if the result subtype of the
+function is an anonymous access type designating a specific tagged
+type and the result value is not null and designates some other
+specific type.
C730001
Questions? Ask the ACAA Technical Agent