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

--- ai05s/ai05-0250-1.txt	2011/07/28 06:05:20	1.3
+++ ai05s/ai05-0250-1.txt	2011/09/29 06:34:03	1.4
@@ -1,4 +1,4 @@
-!standard 7.3.2(0)                              11-07-27    AI05-0250-1/02
+!standard 7.3.2(0)                              11-09-27    AI05-0250-1/03
 !standard 3.9.2(20.2/2)
 !class Amendment 11-06-15
 !status Amendment 2012 11-07-27
@@ -10,8 +10,10 @@
 !subject Thoughts on type invariants
 !summary
 
-TBD.
+Specific Invariants can be hidden (given on the full declaration of a private type).
 
+The places at which invariant checks are performed are clarified.
+
 !question
 
 1) It would be useful to have the option of specifying the Invariant aspect with
@@ -108,7 +110,7 @@
 
 The invariant check consists of the evaluation of each invariant expression
 that applies to T, on each of the objects specified above. If any of these
-evaluate to False, Ada.Assertions.Assertion_Error is raised at the point of
+evaluate to False, Assertions.Assertion_Error is raised at the point of
 the object initialization, conversion, or call. If a given call requires more
 than one evaluation of an invariant expression, either for multiple objects
 of a single type or for multiple types with invariants, [the order of ]the
@@ -132,8 +134,8 @@
 Add after 7.3.2(19/3):
 
 Note: A call of a primitive subprogram of type NT that is inherited from type T
-will need to satisfy the specific invariants of both the types NT and T. A call
-of a primitive subprogram of type NT that is redefined for type NT need to
+needs to satisfy the specific invariants of both the types NT and T. A call
+of a primitive subprogram of type NT that is overridden for type NT needs to
 satisfy only the specific invariants of type NT.