CVS difference for acats/new/testobj.txt

Differences between 1.141 and version 1.142
Log of other versions for file 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