CVS difference for ai05s/ai05-0085-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0085-1.txt

--- ai05s/ai05-0085-1.txt	2008/01/22 06:19:13	1.1
+++ ai05s/ai05-0085-1.txt	2008/02/05 06:33:09	1.2
@@ -1764,3 +1764,34 @@
+From: Robert Dewar
+Sent: Tuesday, January 22, 2007  5:57 PM
+In GNAT Assertion_Policy is subsumed by Check_Policy
+(Assertion_Policy (bla) is treated as equivalent to
+Check_Policy (Assertions, bla)).
+We have decided to allow Check_Policy as a configuration
+pragma and in local declarative parts, following EXACTLY
+the same rules as for pragma Suppress and Unsuppress (i.e.
+the effect is local and gets canceled at the end of the
+corresponding scope).
+This seems useful, and is trivial to implement (or at least
+was for us), since we could just reuse the same machinery
+as is used for Suppress/Unsuppress. It's also easy to
+describe the semantics, since we just refer to the
+Suppress/Unsuppress section in the RM.
+My recommendation would be to relax Assertion_Policy in
+the same way, though it doesn't really affect GNAT, since
+you can use e.g. pragma Check_Policy (Assertions, On) in
+a declarative part anyway.
+We thought initially that we should make Check_Policy
+consistent with Assertion_Policy, but on reflection
+decided that this would be a case of being consistent
+with a wrong decision, which is not a strong argument :-)

Questions? Ask the ACAA Technical Agent