CVS difference for ai12s/ai12-0168-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0168-1.txt

--- ai12s/ai12-0168-1.txt	2016/02/16 02:49:41	1.5
+++ ai12s/ai12-0168-1.txt	2016/04/12 04:48:39	1.6
@@ -68,8 +68,22 @@
 !corrigendum 13.14(3/4)
 
 @drepl
-
+The end of a @fa<declarative_part>, @fa<protected_body>, or a declaration of a
+library package or generic library package, causes @i<freezing> of each entity
+and profile declared within it, except for incomplete types. A @fa<proper_body>,
+@fa<body_stub>, or @fa<entry_body> causes freezing of each entity and profile
+declared before it within the same @fa<declarative_part> that is not an
+incomplete type; it only causes freezing of an incomplete type if the body is
+within the immediate scope of the incomplete type.
 @dby
+The end of a @fa<declarative_part>, @fa<protected_body>, or a declaration of a
+library package or generic library package, causes @i<freezing> of each entity
+and profile declared within it, except for incomplete types. A noninstance
+@fa<proper_body>,
+@fa<body_stub>, or @fa<entry_body> causes freezing of each entity and profile
+declared before it within the same @fa<declarative_part> that is not an
+incomplete type; it only causes freezing of an incomplete type if the body is
+within the immediate scope of the incomplete type.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent