CVS difference for ais/ai-00224.txt

--- ais/ai-00224.txt	2004/12/09 19:55:17	1.30
+++ ais/ai-00224.txt	2005/06/16 23:47:11	1.31
@@ -1,4 +1,4 @@
-!standard 11.5(1)                                    04-09-16  AI95-00224/10
+!standard 11.5(1)                                    05-06-10  AI95-00224/11
 !standard 11.5(3)
 !standard 11.5(4)
 !standard 11.5(5)
@@ -7,6 +7,7 @@
 !standard 11.5(8)
 !standard 11.5(27)
 !standard 11.5(29)
+!standard 11.5(30)
 !standard 11.5(32)
 !standard J.10(00)
 !class amendment 99-11-19
@@ -89,7 +90,7 @@
 Change 11.5(8) to define the meaning of pragma Unsuppress and to remove the
 On parameter:
 
-A checking pragma applies to the named check in a specific region (see below),
+A checking pragma applies to the named check in a specific region,
 and applies to all entities in that region. A checking pragma given in a
 declarative_part or immediately within a package_specification applies from the
 place of the pragma to the end of the innermost enclosing declarative region.
@@ -153,6 +154,10 @@
 possible to resuppress a check which has been unsuppressed by giving a pragma
 Suppress in an inner declarative region.
 
+Change 11.5(30):
+
+Examples of suppressing and unsuppressing checks:
+
 Change 11.5(32) to remove the On parameter and add an Unsuppress example:
 
     pragma Suppress(Index_Check);
@@ -486,7 +491,7 @@
 applies to all entities. If permission has been given to suppress a given
 check, the check is said to be @i<suppressed>.
 @dby
-A checking pragma applies to the named check in a specific region (see below),
+A checking pragma applies to the named check in a specific region,
 and applies to all entities in that region. A checking pragma given in a
 @fa<declarative_part> or immediately within a @fa<package_specification>
 applies from the place of the @fa<pragma> to the end of the innermost enclosing
@@ -533,14 +538,22 @@
 !corrigendum 11.5(29)
 
 @dinsa
-2 There is no guarantee that a suppressed check is actually removed; hence a
-@fa<pragma> Suppress should be used only for efficiency reasons.
+@xindent<@s9<2  There is no guarantee that a suppressed check is actually
+removed; hence a @fa<pragma> Suppress should be used only for efficiency
+reasons.>>
 @dinst
-3 It is possible to give both a @fa<pragma> Suppress and Unsuppress for the same
+@xindent<@s9<3  It is possible to give both a @fa<pragma> Suppress and Unsuppress for the same
 check immediately within the same @fa<declarative_part>. In that case, the last
 @fa<pragma> given determines whether or not the check is suppressed. Similarly,
 it is possible to resuppress a check which has been unsuppressed by giving a
-pragma Suppress in an inner declarative region.
+@fa<pragma> Suppress in an inner declarative region.>>
+
+!corrigendum 11.5(30)
+
+@drepl
+@i<Examples of suppressing checks:>
+@dby
+@i<Examples of suppressing and unsuppressing checks:>
 
 !corrigendum 11.5(32)