CVS difference for 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