CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2018/12/14 08:31:31	1.101
+++ ai12s/ai12-summary.txt	2019/01/11 08:27:41	1.102
@@ -96,15 +96,15 @@
     Class: Amendment                   Status: No Action     (9-0-0) 15-06-28
     RM References:  12.05.06 (0)  
 
-AI12-0020-1/07   2018-10-22 --  'Image for all types
+AI12-0020-1/08   2019-01-04 --  'Image for all types
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-27
     RM References:  4.10 (0)   3.05 (27.1/2)   3.05 (55.1/5)   3.05 (55.2/5)   3.05 (55.3/5)   3.05 (55.4/5)   13.13.01 (9)   13.13.01 (11)  
 
-AI12-0021-1/05   2018-12-10 --  Additional internationalization of Ada
+AI12-0021-1/06   2019-01-04 --  Additional internationalization of Ada
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-10
-    RM References:  11.04.01 (19)   A.08.01 (15)   A.08.02 (1)   A.08.02 (28.3/4)   A.08.04 (18)   A.10.01 (85)   A.10.02 (5)   A.12.01 (26)   A.12.01 (33)   A.15.01 (0)   A.16.02 (0)   A.17.01 (0)  
+    RM References:  11.04.01 (19)   A.08.01 (15)   A.08.02 (28.3/4)   A.08.04 (18)   A.10.01 (85)   A.12.01 (26)   A.15.01 (0)   A.16.02 (0)   A.17.01 (0)  
 
 AI12-0022-1/05   2013-05-08 --  Raise expressions
     Priority: High                 Difficulty: Medium
@@ -405,10 +405,10 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-06-28
     RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
 
-AI12-0079-1/10   2018-12-10 --  Global-in and global-out annotations
+AI12-0079-1/11   2019-01-04 --  Global-in and global-out annotations
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-10
-    RM References:  6.01.02 (0)  
+    RM References:  6.01.02 (0)   13.01.01 (4/3)   13.01.01 (11/3)   13.14 (3/5)  
 
 AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
@@ -570,10 +570,10 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-11
     RM References:  A.18.02 (97.1/3)  
 
-AI12-0112-1/04   2018-07-27 --  Contracts for container operations
+AI12-0112-1/06   2018-01-03 --  Contracts for container operations
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-10
-    RM References:  A.18.02 (99/3)  
+    RM References:  A.18.02 (99/3)   11.05 (23)   11.05 (26)   A (4)  
 
 AI12-0113-1/03   2014-11-19 --  Class-wide preconditions and statically bound calls
     Priority: Medium               Difficulty: Hard
@@ -973,7 +973,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-07-06
     RM References:  5.05 (3/3)   5.05.03 (0)  
 
-AI12-0190-1/05   2018-12-11 --  Anonymous functions
+AI12-0190-1/08   2019-01-10 --  Anonymous functions
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-10
     RM References:  4.04 (7/3)   4.05.09 (0)  
@@ -1082,7 +1082,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
     RM References:  6.03.01 (13.1/3)   B.01 (19)   B.01 (21/3)  
 
-AI12-0208-1/06   2018-12-02 --  Predefined Big numbers support
+AI12-0208-1/07   2019-01-07 --  Predefined Big numbers support
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     16-12-19
     RM References:  A.05.05 (0)   A.05.06 (0)   A.05.07 (0)   A.05.08 (0)  
@@ -1107,10 +1107,10 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-19
     RM References:  4.03.05 (0)  
 
-AI12-0213-1/01   2016-12-28 --  Unify record syntax
+AI12-0213-1/03   2019-01-11 --  Unify record syntax
     Priority: Very Low             Difficulty: Easy
     Class: Amendment                   Status: Work Item     16-12-28
-    RM References:  3.08 (3)   13.05.01 (2)  
+    RM References:  3.08 (3)   3.08 (28)   13.05.01 (2)  
 
 AI12-0214-1/02   2018-05-08 --  Case statements and expressions for composite types
     Priority: Very Low             Difficulty: Hard
@@ -1253,26 +1253,38 @@
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     17-10-09
     RM References:  H.07 (0)   H.08 (0)  
-    Alternatives:   AI12-0240-2  AI12-0240-3
+    Alternatives:   AI12-0240-2  AI12-0240-3  AI12-0240-4  AI12-0240-5
 
 AI12-0240-2/02   2018-12-11 --  Access ownership for Abstract Data Types
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     18-06-14
     RM References:  3.10.03 (0)  
-    Alternatives:   AI12-0240-1  AI12-0240-3
+    Alternatives:   AI12-0240-1  AI12-0240-3  AI12-0240-4  AI12-0240-5
 
 AI12-0240-3/01   2018-10-18 --  Access value ownership and parameter aliasing
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     18-10-18
     RM References:  H.07 (0)   H.08 (0)  
-    Alternatives:   AI12-0240-1  AI12-0240-2
+    Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-4  AI12-0240-5
+
+AI12-0240-4/01   2019-01-10 --  Pointer ownership for Abstract Data Types !summary
+    Priority: Low                  Difficulty: Hard
+    Class: Amendment                   Status: Work Item     18-06-14
+    RM References:  3.10.03 (0)  
+    Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-5
+
+AI12-0240-5/01   2019-01-10 --  Heap object ownership for Abstract Data Types
+    Priority: Low                  Difficulty: Hard
+    Class: Amendment                   Status: Work Item     19-01-10
+    RM References:  3.10.03 (0)  
+    Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-4
 
 AI12-0241-1/02   2018-01-18 --  Specifying Nonblocking for Language-Defined Units
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  17-12-18
     RM References:  3.09 (6/2)   3.09 (18.2/3)   5.05.01 (2/3)   7.06 (4/3)   9.06 (10)   9.06.01 (2/2)   9.06.01 (8/2)   9.06.01 (15/2)   11.04.01 (2/2)   13.07.02 (2)   13.09 (3/3)   13.11.02 (3/3)   13.13.01 (2)   A.04.03 (5)   A.04.04 (3)   A.04.05 (3
)   A.04.07 (3)   A.04.09 (7/3)   A.04.09 (10/3)   A.04.09 (11.7/3)   A.04.09 (11.10/3)   A.04.10 (7/3)   A.04.10 (10/3)   A.04.10 (18/3)   A.04.10 (21/3)   A.05.01 (3)   A.10.01 (55)   A.10.01 (60)   A.10.01 (67)   A.10.01 (72)   A.10.01 (77)   A.10.01 (8
3)   A.15 (3)   A.16 (15/2)   A.16 (16/2)   A.16 (17/2)   A.16 (18/2)   A.16 (19/2)   A.16 (20/2)   A.16.01 (3/3)   A.17 (3/2)   B.03.01 (3)   B.03.02 (4)   B.04 (7)   C.03.02 (2/3)   C.07.01 (2/2)   C.07.01 (3/3)   C.07.01 (16)   C.07.02 (2)   C.07.03 (2/
2)   D.02.01 (1.2/3)   D.02.01 (1.3/3)   D.02.01 (7/3)   D.02.04 (2.2/3)   D.02.05 (4/2)   D.02.06 (9/2)   D.05.01 (3/2)   D.08 (3)   D.10 (3/2)   D.10 (4)   D.10 (5.2/3)   D.10 (10)   D.10 (10.1/3)   D.10.01 (3/3)   D.10.01 (6/3)   D.10.01 (14/3)   D.11 (
3/2)   D.14 (3/2)   D.14.01 (3/2)   D.14.01 (5/2)   D.14.02 (3/2)   D.14.02 (5/2)   D.14.03 (3/3)   D.15 (3/2)   D.15 (4/2)   D.16 (3/3)   D.16.01 (3/3)   E.05 (3)   E.05 (23)   F.03.03 (3)   F.03.03 (14)   F.03.03 (15)   G.01.01 (2/1)   G.01.02 (2/2)   G.
01.03 (8)   G.03.01 (2/2)   G.03.02 (2/2)  
 
-AI12-0242-1/06   2018-10-16 --  Reduction Expressions
+AI12-0242-1/07   2019-01-10 --  Shorthand Reduction Expressions for Objects
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-06-20
     RM References:  4.05.09 (0)  
@@ -1379,10 +1391,10 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  10.01.02 (12/3)   10.01.02 (13/2)   10.01.02 (14/2)   10.01.02 (15/2)   10.01.02 (16/2)  
 
-AI12-0262-1/03   2018-10-18 --  Map/Reduce attribute
+AI12-0262-1/04   2019-01-10 --  Map-Reduce attribute
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     18-03-01
-    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
+    RM References:  4.01.04 (1)   4.01.04 (11)   4.05.09 (0)  
 
 AI12-0263-1/03   2018-08-31 --  Update references to ISO/IEC 10646
     Priority: Low                  Difficulty: Easy
@@ -1399,7 +1411,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-04
     RM References:  7.03.03 (0)   1.01.03 (17.1/5)   11.04.02 (23.2/5)   11.04.02 (23.3/5)  
 
-AI12-0266-1/06   2018-10-16 --  Parallel Container Iterators
+AI12-0266-1/08   2019-01-10 --  Parallel Container Iterators
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     18-03-28
     RM References:  5.05.01 (4/3)   5.05.01 (6/4)   5.05.01 (11/3)   5.05.02 (4/3)  
@@ -1566,8 +1578,38 @@
     Class: Amendment                   Status: Work Item     18-12-06
     RM References:  12.04 (6)   12.07 (2)  
 
-AI12-0298-1/01   2018-12-06 --  The default conflict checking policy is incompatible
+AI12-0298-1/03   2019-01-10 --  Revise the conflict check policies to ensure compatibility
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     18-12-06
-    RM References:  9.10.01 (11/5)   9.10.01 (12/5)  
+    RM References:  9.10 (17/5)   9.10.01 (11/5)   9.10.01 (12/5)  
+
+AI12-0299-1/01   2019-01-04 --  The permission of D.2.1(10.1/2) allows too much
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     18-11-27
+    RM References:  D.02.01 (10.1/2)  
+
+AI12-0300-1/01   2019-01-07 --  Annex G text for Fixed * integer
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     19-01-07
+    RM References:  G.02.03 (23)  
+
+AI12-0301-1/01   2019-01-09 --  Predicates should work like constraints for types with Default_Value
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     19-01-09
+    RM References:  3.02.04 (31/4)  
+
+AI12-0302-1/01   2019-01-10 --  Default Global aspect for language-defined units
+    Priority: High                 Difficulty: Medium
+    Class: Amendment                   Status: Work Item     19-01-10
+    RM References:  A (15)  
+
+AI12-0303-1/01   2019-01-10 --  Some constants must be covered by Global aspects
+    Priority: Medium               Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-01-10
+    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
+
+AI12-0304-1/01   2019-01-11 --  Image attributes of language-defined types
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-01-11
+    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
 

Questions? Ask the ACAA Technical Agent