CVS difference for acats/new/testobj.txt

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

--- acats/new/testobj.txt	2007/09/29 00:11:45	1.36
+++ acats/new/testobj.txt	2007/09/29 04:45:01	1.37
@@ -399,17 +399,15 @@
 B3A2015
 
 Check that, for X'Access of a general access type A, the view denoted
-by X must not be a subcomponent that depends on discriminants of a
-variable whose nominal subtype is unconstrained, unless this subtype is
-indefinite, or the variable is aliased.  Check that, for a renaming of
-an object, the renamed entity must not  be a subcomponent that depends
-on discriminants of a variable whose  nominal subtype is unconstrained,
-unless this subtype is indefinite,  or the variable is aliased.  Check
-that if the view denoted by X is that of a subcomponent of an aliased
-composite object, the word aliased must appear in the subcomponent's
-component definition. Check for objects which are declared aliased,
-objects created by an allocator, and formal parameters of a tagged
-type.
+by X must not be a subcomponent that depends on discriminants of an
+object unless that object is known to be constrained. Check that, for
+a renaming of an object, the renamed entity must not be a subcomponent
+that depends on discriminants of an object unless that object is known
+to be constrained. Check that if the view denoted by X is that of a
+subcomponent of an aliased composite object, the word aliased must
+appear in the subcomponent's component definition. Check for objects
+which are declared aliased, objects created by an allocator, and formal
+parameters of a tagged type.
 
 B3A2016
 

Questions? Ask the ACAA Technical Agent