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

Differences between 1.10 and version 1.11
Log of other versions for file ai12s/ai12-0080-1.txt

--- ai12s/ai12-0080-1.txt	2014/07/10 01:12:18	1.10
+++ ai12s/ai12-0080-1.txt	2014/07/15 02:50:51	1.11
@@ -1,4 +1,4 @@
-!standard 3.9.3(6/2)                                   14-05-16  AI05-0080-1/06
+!standard 3.9.3(6/2)                                   14-07-14  AI05-0080-1/07
 !standard 7.3.2(21/3)
 !standard 13.11.6(28/3)
 !standard A.18.2(168/2)
@@ -6,8 +6,10 @@
 !standard A.18.26(31/3)
 !standard B.1(50)
 !standard N(21.2/3)
+!standard N(41/2)
 !class presentation 13-10-21
 !status Corrigendum 2015 13-12-11
+!status ARG Approved 7-0-0  14-06-28
 !status work item 13-10-21
 !status received 13-06-16
 !priority Low
@@ -241,10 +243,10 @@
 @drepl
 @xcode<@b<procedure> Prepend (Container : @b<in out> Vector;
                    New_Item  : @b<in>     Vector;
-                   Count     : @b<in>     Count_Type := 1);
+                   Count     : @b<in>     Count_Type := 1);>
 @dby
 @xcode<@b<procedure> Prepend (Container : @b<in out> Vector;
-                   New_Item  : @b<in>     Vector);
+                   New_Item  : @b<in>     Vector);>
 
 !corrigendum A.18.32(29/3)
 
@@ -319,6 +321,16 @@
 @dby
 Invariant. An invariant is an assertion that is expected to be True for all
 objects of a given private type when viewed from outside the defining package.
+
+!corrigendum N(41/1)
+
+@dinsa
+Type. Each object has a type. A @i<type> has an associated set of values, and
+a set of @i<primitive operations> which implement the fundamental aspects of
+its semantics. Types are grouped into @i<categories>. Most language-defined
+categories of types are also @i<classes> of types.
+@dby
+Type Invariant. See Invariant.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent