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

--- ai05s/ai05-0146-1.txt	2010/09/04 02:49:24	1.9
+++ ai05s/ai05-0146-1.txt	2010/10/16 06:24:40	1.10
@@ -1,4 +1,4 @@
-!standard 13.3.3 (00)                                10-09-02  AI05-0146-1/06
+!standard 13.3.3 (00)                                10-10-15  AI05-0146-1/07
 !class amendment 09-02-15
 !status Amendment 2012 10-09-02
 !status ARG Approved  8-0-1  10-06-20
@@ -10,13 +10,9 @@
 
 !summary
 
-To augment the basic "assert" pragma capability of Ada 2005,
-we propose constructs for specifying invariants for types.
+The basic assert pragma of Ada 2005 is augmented by the specification of
+type invariants.
 
-The semantics for these constructs are defined in terms of the
-Assertion_Error exception used by the Assert pragma and the
-Assertion_Policy configuration pragma.
-
 !problem
 
 A number of programming paradigms include the heavy use of invariants
@@ -53,7 +49,8 @@
 
 !proposal
 
-We propose to allow the specification of an Invariant "aspect" of a
+Using the aspect_specification syntax introduced in AI05-0183/1, we
+propose to allow the specification of an Invariant "aspect" of a
 type, as well as an Invariant'Class aspect of a tagged type.  These
 aspects are specified using a construct of the following form: