CVS difference for ai12s/ai12-summary.txt

Differences between 1.31 and version 1.32
Log of other versions for file ai12s/ai12-summary.txt

--- ai12s/ai12-summary.txt	2014/07/31 02:09:33	1.31
+++ ai12s/ai12-summary.txt	2014/10/14 03:53:10	1.32
@@ -186,7 +186,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  12-12-28
     RM References:  A.19 (4/3)  
 
-AI12-0038-1/04   2014-06-23 --  Shared_Passive package restrictions
+AI12-0038-1/05   2014-10-13 --  Shared_Passive package restrictions
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2015  12-12-31
     RM References:  E.02.01 (7/1)   E.02.01 (8/1)  
@@ -206,7 +206,7 @@
     Class: Amendment                   Status: Promising     11-0-0  13-11-16
     RM References:  7.03.02 (3/3)  
 
-AI12-0042-1/10   2014-07-22 --  Type invariant checking rules
+AI12-0042-1/11   2014-09-29 --  Type invariant checking rules
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2015  13-12-11
     RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)   7.03.02 (20/3)  
@@ -278,7 +278,7 @@
     RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
     Alternatives:   AI12-0054-1
 
-AI12-0055-1/05   2014-07-11 --  All properties of a usage profile are defined by pragmas
+AI12-0055-1/06   2014-09-29 --  All properties of a usage profile are defined by pragmas
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
     RM References:  D.07 (10/3)   D.13 (6/3)   D.13 (8/3)   D.13 (10/3)  
@@ -373,7 +373,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  13-07-05
     RM References:  D.13 (6/3)  
 
-AI12-0074-1/05   2014-07-23 --  View conversions and out parameters passed by copy
+AI12-0074-1/06   2014-09-29 --  View conversions and out parameters passed by copy
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
     RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
@@ -398,12 +398,12 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  13-06-28
     RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
 
-AI12-0079-1/00   2013-06-28 --  Global-in and global-out annotations
+AI12-0079-1/01   2013-10-13 --  Global-in and global-out annotations
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Work Item     13-06-28
     RM References:  7.03.02 (3/3)  
 
-AI12-0080-1/07   2014-07-14 --  More presentation errors in Ada 2012
+AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Corrigendum 2015  13-12-11
     RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)   N (41/2)  
@@ -453,7 +453,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  13-12-18
     RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
 
-AI12-0090-1/02   2014-05-30 --  Pre- and Postconditions and requeues
+AI12-0090-1/04   2014-10-10 --  Pre- and Postconditions and requeues
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     13-10-31
     RM References:  9.05.04 (5/3)   9.05.04 (7/3)   9.05.04 (12/3)  
@@ -463,7 +463,7 @@
     Class: Amendment                   Status: Work Item     13-10-31
     RM References:  A.05.01 (5)  
 
-AI12-0092-1/00   2013-11-01 --  Soft errors
+AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Received      13-08-29
     RM References:  1.01.05 (4)  
@@ -473,17 +473,17 @@
     Class: Ramification                Status: Corrigendum 2015  13-12-11
     RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
 
-AI12-0094-1/00   2013-11-12 --  access_to_subprogram_definition should be a declarative region
+AI12-0094-1/01   2014-10-13 --  access_to_subprogram_definition should be a declarative region
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     13-11-12
-    RM References:  8.03 (26/3)  
+    RM References:  8.03 (6)   8.03 (26/3)  
 
-AI12-0095-1/02   2014-07-24 --  Generic bodies assume-the-worst whether formal type have constrained partial vi
+AI12-0095-1/03   2014-09-29 --  Generic formal types and constrained partial views
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
     RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
 
-AI12-0096-1/01   2014-02-12 --  The exception raised by a subtype conversion with a failed predicate check
+AI12-0096-1/02   2014-09-29 --  The exception raised when a subtype conversion fails a predicate check
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
     RM References:  4.06 (57/3)  
@@ -493,12 +493,12 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-15
     RM References:  6.05 (8/3)  
 
-AI12-0098-1/01   2014-07-14 --  Problematic examples for ATC
+AI12-0098-1/02   2014-09-29 --  Problematic examples for ATC
     Priority: Low                  Difficulty: Medium
     Class: Ramification                Status: Corrigendum 2015  14-07-14
     RM References:  9.07.04 (13)  
 
-AI12-0099-1/02   2014-07-23 --  Wording problems with predicates
+AI12-0099-1/03   2014-09-29 --  Wording problems with predicates
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
     RM References:  3.02.04 (4/4)   3.02.04 (12/3)   3.02.04 (20/3)  
@@ -508,12 +508,12 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
     RM References:  4.07 (4)  
 
-AI12-0101-1/02   2014-07-14 --  Incompatibility of hidden untagged record equality
+AI12-0101-1/03   2014-09-29 --  Incompatibility of hidden untagged record equality
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
     RM References:  4.05.02 (9.8/3)  
 
-AI12-0102-1/01   2014-05-12 --  Stream_IO.File_Type has Preelaborable_Initialization
+AI12-0102-1/02   2014-10-02 --  Stream_IO.File_Type has Preelaborable_Initialization
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
     RM References:  A.12.01 (5)  
@@ -523,22 +523,22 @@
     Class: Binding Interpretation      Status: Work Item     14-05-12
     RM References:  13.14 (3/3)  
 
-AI12-0104-1/01   2014-05-13 --  Overriding an aspect
+AI12-0104-1/02   2014-10-02 --  Overriding an aspect is undefined
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Corrigendum 2015  14-07-23
     RM References:  4.01.06 (4/3)   4.01.06 (17/3)  
 
-AI12-0105-1/02   2014-07-23 --  Pre is not allowed on any subprogram completion
+AI12-0105-1/03   2014-10-02 --  Pre and Post are not allowed on any subprogram completion
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
     RM References:  13.01.01 (18/3)  
 
-AI12-0106-1/01   2014-05-14 --  Write'Class aspect
+AI12-0106-1/03   2014-10-13 --  Write'Class aspect
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     14-05-14
-    RM References:  13.13.02 (38/3)  
+    RM References:  13.01.01 (28/3)   13.13.02 (38/3)  
 
-AI12-0107-1/02   2014-07-23 --  Is an access to a By_Protected_Procedure interface procedure a protected access
+AI12-0107-1/03   2014-10-02 --  A prefixed view of a By_Protected_Procedure interface has convention protected
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
     RM References:  6.03.01 (10.1/2)   6.03.01 (12)   6.03.01 (13)  
@@ -568,12 +568,12 @@
     Class: Amendment                   Status: Work Item     14-05-15
     RM References:  A.18.02 (99/3)  
 
-AI12-0113-1/01   2014-05-15 --  Class-wide preconditions and statically bound calls
+AI12-0113-1/02   2014-10-06 --  Class-wide preconditions and statically bound calls
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     14-05-15
-    RM References:  6.01.01 (39/3)   7.03.02 (23/3)  
+    RM References:  6.01.01 (7/3)   6.01.01 (18/3)   6.01.01 (38/3)   7.03.02 (23/3)  
 
-AI12-0114-1/02   2014-07-15 --  Overlapping objects designated by access parameters are not thread-safe
+AI12-0114-1/03   2014-10-02 --  Overlapping objects designated by access parameters are not thread-safe
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-15
     RM References:  A (3/2)  
@@ -583,7 +583,7 @@
     Class: Amendment                   Status: Work Item     14-06-19
     RM References:  13.03 (58/3)  
 
-AI12-0116-1/02   2014-07-11 --  Private types and predicates
+AI12-0116-1/03   2014-10-02 --  Private types and predicates
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-11
     RM References:  13.01 (9/3)   13.01 (9.1/3)  
@@ -598,13 +598,113 @@
     Class: Amendment                   Status: Work Item     14-06-20
     RM References:  4.09 (38/2)  
 
-AI12-0119-1/00   2014-06-20 --  Parallel operations
+AI12-0119-1/01   2014-10-13 --  Parallel operations
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-06-20
     RM References:  5.05.02 (2/3)  
 
-AI12-0120-1/03   2014-07-14 --  Legality and exceptions of generalized loop iteration
+AI12-0120-1/04   2014-10-02 --  Legality and exceptions of generalized loop iteration
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-14
     RM References:  5.05.02 (6.1/4)   5.05.02 (10/3)   5.05.02 (13/3)  
+
+AI12-0121-1/01   2014-05-14 --  Stream-oriented aspects
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-08-11
+    RM References:  13.13.02 (38/3)  
+
+AI12-0122-1/01   2014-08-11 --  Add 'Base for all types
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-08-11
+    RM References:  3.05 (15)  
+
+AI12-0123-1/01   2014-08-11 --  Add 'Subtype attribute
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-08-11
+    RM References:  3.02.02 (12)  
+
+AI12-0124-1/02   2014-10-03 --  Add Object'Image
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-08-11
+    RM References:  3.05 (31/2)  
+
+AI12-0125-1/01   2014-08-11 --  Add Object'Succ and 'Pred
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-08-11
+    RM References:  3.05 (31/2)  
+
+AI12-0126-1/01   2014-08-21 --  Add Interfaces.Shifting
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-08-21
+    RM References:  B.02 (9)  
+
+AI12-0127-1/01   2014-08-21 --  Partial aggregate notation
+    Priority: Medium               Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-08-21
+    RM References:  A.03.04   
+
+AI12-0128-1/02   2014-10-06 --  Exact size access to parts of composite atomic objects
+    Priority: Medium               Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-10-03
+    RM References:  C.06 (15)   C.06 (20)   C.06 (22/2)  
+
+AI12-0129-1/01   2014-10-03 --  Make protected objects more protecting
+    Priority: Medium               Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-10-03
+    RM References:  9.05.01 (4)  
+
+AI12-0130-1/00   2014-10-09 --  All I/O packages should have Flush
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-10-09
+    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)  
+
+AI12-0131-1/01   2014-10-09 --  Inherited Pre'Class when unspecified on initial subprogram
+    Priority: Medium               Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-10-09
+    RM References:  6.01.01 (17/3)   6.01.01 (18/3)  
+
+AI12-0132-1/01   2014-10-09 --  Freezing of renames-as-body
+    Priority: Medium               Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-10-09
+    RM References:  13.14 (10.3/3)  
+
+AI12-0133-1/02   2014-10-13 --  Type invariants and default initialized objects
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-10-09
+    RM References:  7.03.02 (10.3/3)  
+
+AI12-0134-1/01   2014-10-09 --  Still More presentation errors in Ada 2012
+    Priority: Low                  Difficulty: Easy
+    Class: Presentation                Status: Work Item     14-10-09
+    RM References:  13.11.06 (11/3)  
+
+AI12-0135-1/01   2014-10-09 --  Enumeration types should be eligible for convention C
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-10-09
+    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)  
+
+AI12-0136-1/01   2014-10-10 --  Language-defined packages and aspect Default_Storage_Pool
+    Priority: Medium               Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-10-10
+    RM References:  13.11.03 (5/3)  
+
+AI12-0137-1/01   2014-10-10 --  3.10.1 and class-wide types
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-10-10
+    RM References:  3.10.01 (2.2/2)  
+
+AI12-0138-1/01   2014-10-13 --  Iterators of formal derived types
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-10-13
+    RM References:  13.01.01 (34/3)  
+
+AI12-0139-1/00   2014-10-13 --  Containers and multitasking
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     14-10-13
+    RM References:  A (3/4)   A.18 (5)  
+
+AI12-0140-1/01   2014-10-13 --  Access to unconstrained partial view when full view is constrained
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     14-10-13
+    RM References:  3.04 (7/3)   3.04 (8/2)  
 

Questions? Ask the ACAA Technical Agent