CVS difference for acats/new/testobj.txt
--- acats/new/testobj.txt 2019/03/29 08:15:51 1.141
+++ acats/new/testobj.txt 2019/06/27 23:52:59 1.142
@@ -2068,6 +2068,14 @@
Check that component declarations are not allowed in the body of
protected objects.
+B940008
+
+Check that a protected subprogram with an overriding indicator of
+"overriding" implements an inherited subprogram.
+
+Check that a protected subprogram with an overriding indicator of
+"not overriding" does not implement an inherited subprogram.
+
B950001
Check that the target protected object of a call, rename, actual for
@@ -2115,6 +2123,14 @@
specification for an access parameter. Check that an accept_statement
is not allowed within an asynchronous_select inner to the enclosing
task_body.
+
+B952005
+
+Check that an entry with an overriding indicator of
+"overriding" implements an inherited subprogram.
+
+Check that an entry with an overriding indicator of
+"not overriding" does not implement an inherited subprogram.
B954001
Questions? Ask the ACAA Technical Agent