CVS difference for acats/new/testobj.txt

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

--- acats/new/testobj.txt	2018/06/09 06:11:43	1.135
+++ acats/new/testobj.txt	2018/06/13 06:35:57	1.136
@@ -2583,6 +2583,24 @@
 be T. If the formal object is of type T'Class, the type of the actual
 must be T'Class.
 
+BC40003
+
+For a generic formal object with a null_exclusion or an
+access_definition with a null_exclusion, check that an instantiation
+is illegal if the subtype of the actual object does not exclude null.
+
+For an instance of a generic in the specification of an outer generic with a
+generic formal object with a null_exclusion or an access_definition with a
+null_exclusion whose actual is a null excluding generic formal object of an
+outer generic, check that an instantiation of the outer generic is illegal if
+the subtype of the actual object does not exclude null.
+
+For an instance of a generic in the body of an outer generic with a generic
+formal object with a null_exclusion or an access_definition with a
+null_exclusion whose actual is a null excluding generic formal object of an
+outer generic, check that the instance is illegal if the formal object does not
+include a null_exclusion.
+
 BC50001
 
 Check that, for a generic formal derived type, the actual must be in
@@ -2817,6 +2835,11 @@
 case where the parameters in the profile of the formal type are
 themselves formal types.
 
+BC54004
+
+Check that for a generic formal access type, either both or neither of
+the formal and actual subtypes exclude null.
+
 BC54A01
 
 Check that, for a formal access-to-subprogram subtype whose profile
@@ -2892,6 +2915,28 @@
 BC60004
 
 Check that every call on an formal abstract subprogram is a dispatching call.
+
+BC60005
+
+For a generic formal subprogram with a parameter or result type that has a
+null_exclusion or is an access_definition with a null_exclusion, check that an
+instantiation is illegal if the subtype of the corresponding parameter or result
+of the actual subprogram does not exclude null.
+
+For an instance of a generic in the specification of an outer generic with a
+generic formal subprogram with a parameter or result type that has
+null_exclusion or is an access_definition with a null_exclusion whose actual is
+a generic subprogram object of an outer generic, check that an instantiation of
+the outer generic is illegal if the if the corresponding parameter or result of
+the actual subprogram does not include a null_exclusion.
+
+For an instance of a generic in the body of an outer generic with a generic
+formal subprogram with a parameter or result type that has a null_exclusion or
+is an access_definition with a null_exclusion whose actual is a null excluding
+generic formal object of an outer generic, check that the instance is illegal if
+the corresponding parameter or result of the formal subprogram does not include
+a null_exclusion.
+
 
 BC70001
 

Questions? Ask the ACAA Technical Agent