CVS difference for ai12s/ai12-summary.txt
--- ai12s/ai12-summary.txt 2018/03/30 07:55:09 1.86
+++ ai12s/ai12-summary.txt 2018/04/14 05:01:06 1.87
@@ -385,10 +385,10 @@
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 14-07-23
RM References: 4.06 (56) 6.04.01 (6.25/3) 6.04.01 (13.1/3)
-AI12-0075-1/08 2018-03-05 -- Static expression functions
+AI12-0075-1/09 2018-04-06 -- Static expression functions
Priority: Medium Difficulty: Medium
- Class: Amendment Status: Work Item 13-06-09
- RM References: 4.09 (21) 6.08 (3/4) 6.08 (5/4) 6.08 (6/4) 7.03.02 (8.2/5) 7.03.02 (15/4) 7.03.02 (16/4) 7.03.02 (17/4) 7.03.02 (18/4) 7.03.02 (19/4) 7.03.02 (20/5)
+ Class: Amendment Status: Amendment 1 for Ada 2012 18-04-06
+ RM References: 4.09 (21) 6.08 (3/4) 6.08 (5/4) 6.08 (6/4) 7.03.02 (8.2/5) 7.03.02 (15/4) 7.03.02 (16/4) 7.03.02 (17/4) 7.03.02 (19/4) 7.03.02 (20/5)
AI12-0076-1/04 2013-10-07 -- Variable state in pure packages
Priority: Medium Difficulty: Hard
@@ -658,7 +658,7 @@
Class: Amendment Status: No Action (5-0-3) 15-06-27
RM References: B.02 (9)
-AI12-0127-1/13 2018-01-18 -- Partial aggregate notation
+AI12-0127-1/14 2018-04-13 -- Partial aggregate notation
Priority: Medium Difficulty: Hard
Class: Amendment Status: Amendment 1 for Ada 2012 17-11-21
RM References: 4.03 (2) 4.03 (3/2) 4.03 (4) 4.03.01 (9) 4.03.01 (15/3) 4.03.01 (16/4) 4.03.01 (17/5) 4.03.01 (17.1/2) 4.03.03 (4) 4.03.03 (14) 4.03.03 (17) 4.03.04 (0) 7.05 (2.6/2)
@@ -961,7 +961,7 @@
AI12-0187-1/07 2017-12-07 -- Stable properties of abstract data types
Priority: Medium Difficulty: Hard
Class: Amendment Status: Amendment 1 for Ada 2012 17-11-21
- RM References: 7.03.03 (0) 13.01.01 (4/3)
+ RM References: 7.03.04 (0) 13.01.01 (4/3)
AI12-0188-1/01 2016-06-02 -- Add container iterator form supporting iteration over keys
Priority: Low Difficulty: Medium
@@ -1142,10 +1142,10 @@
Class: Binding Interpretation Status: Amendment 1 for Ada 2012 17-07-21
RM References: B.01 (38.1/3) B.03 (69/2) B.03 (70)
-AI12-0220-1/03 2017-06-12 -- Pre/Post for access-to-subprogram types
+AI12-0220-1/04 2018-04-05 -- Pre/Post for access-to-subprogram types
Priority: Low Difficulty: Hard
- Class: Amendment Status: Work Item 17-04-07
- RM References: 6.01.01 (1/4) 6.01.01 (39/3)
+ Class: Amendment Status: Amendment 1 for Ada 2012 18-04-05
+ RM References: 6.01.01 (1/4) 6.01.01 (2/3) 6.01.01 (4/3) 6.01.01 (19/3) 6.01.01 (28/3) 6.01.01 (29/3) 6.01.01 (39/3) 13.01.01 (12/5)
AI12-0221-1/01 2017-04-10 -- Defaults for in out parameters
Priority: Very Low Difficulty: Easy
@@ -1172,10 +1172,10 @@
Class: Binding Interpretation Status: Amendment 1 for Ada 2012 17-07-21
RM References: 3.05 (55.1/4)
-AI12-0226-1/01 2017-04-18 -- Generalize expressions that are objects
+AI12-0226-1/02 2018-04-09 -- Make objects more consistent
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 17-04-18
- RM References: 3.03 (11.1/3) 3.03 (12) 3.03 (21/3) 3.03 (22) 3.03 (23.7/3) 3.10 (9/3) 4.06 (58.1/4) 4.06 (58.4/4)
+ RM References: 3.03 (11.1/3) 3.03 (21.1/3) 3.03 (23.7/3) 4.06 (58.1/4) 4.06 (58.3/4)
AI12-0227-1/02 2017-07-21 -- Evaluation of nonstatic universal expressions when no operators are involved
Priority: Low Difficulty: Easy
@@ -1202,12 +1202,12 @@
Class: Binding Interpretation Status: Amendment 1 for Ada 2012 17-07-21
RM References: C.07.01 (15)
-AI12-0232-1/03 2017-11-20 -- Rules for pure generic bodies
+AI12-0232-1/04 2018-04-13 -- Rules for pure generic bodies
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Amendment 1 for Ada 2012 17-11-20
RM References: 10.02.01 (9/3) 10.02.01 (15.1/3) 10.02.01 (15.5/3)
-AI12-0233-1/04 2017-11-17 -- Pre'Class for hidden operations of private types
+AI12-0233-1/05 2018-04-13 -- Pre'Class for hidden operations of private types
Priority: Low Difficulty: Medium
Class: Ramification Status: ARG Approved 6-0-2 17-10-13
RM References: 6.01.01 (38/4)
@@ -1339,7 +1339,7 @@
Class: Amendment Status: Work Item 18-02-22
RM References: 4.01.03 (9.1/2) 4.01.03 (9.2/2)
-AI12-0258-1/02 2018-03-05 -- Containers and controlled element types
+AI12-0258-1/03 2018-04-13 -- Containers and controlled element types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2012 18-03-05
RM References: A.18 (10/4)
@@ -1354,7 +1354,7 @@
Class: Amendment Status: Amendment 1 for Ada 2012 18-03-05
RM References: 1.02 (8/3) A.03.05 (8/3) A.03.05 (20/3) A.03.05 (21/3) A.03.05 (33/3) A.03.05 (61/3)
-AI12-0261-1/02 2018-03-06 -- Conflict in "private with" rules
+AI12-0261-1/03 2018-04-13 -- Conflict in "private with" rules
Priority: Low Difficulty: Easy
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)
@@ -1369,15 +1369,15 @@
Class: Amendment Status: Amendment 1 for Ada 2012 18-03-08
RM References: 1.01.04 (14.2/3) 2.01 (1/3) 2.01 (3.1/3) 2.01 (4/3) 2.01 (4.1/5) 2.01 (5/3) 2.01 (15/3) 2.01 (4.1/5) 2.01 (5/3) 2.03 (4.1/5) 2.03 (5/3) 3.05.02 (2/3) 3.05.02 (3/3) 3.05.02 (4/3) A.01 (36.1/3) A.01 (36.2/3)
A.03.02 (32.6/5) A.03.05 (51.2/5) A.03.05 (55/3) A.03.05 (59/3) A.04.10 (3/3) B.05 (21/5)
-AI12-0264-1/01 2018-03-28 -- Overshifting and overrotating
+AI12-0264-1/02 2018-04-05 -- Overshifting and overrotating
Priority: Low Difficulty: Easy
- Class: Ramification Status: Work Item 18-03-28
+ Class: Ramification Status: Amendment 1 for Ada 2012 18-04-05
RM References: B.02 (9)
-AI12-0265-1/01 2018-03-28 -- Default_Initial_Condition for types
+AI12-0265-1/02 2018-04-04 -- Default_Initial_Condition for types
Priority: Low Difficulty: Easy
- Class: Amendment Status: Work Item 18-03-28
- RM References: 7.06.02 (0) 1.01.03 (17.1/5) 11.04.02 (23.2/5) 11.04.02 (23.3/5)
+ 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/01 2018-03-28 -- Parallel Container Iterators
Priority: Medium Difficulty: Medium
@@ -1394,8 +1394,28 @@
Class: Amendment Status: Work Item 18-03-29
RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3)
-AI12-0269-1/02 2018-03-28 -- Aspect No_Return for functions reprise
+AI12-0269-1/03 2018-04-04 -- Aspect No_Return for functions reprise
Priority: Low Difficulty: Medium
- Class: Amendment Status: Work Item 18-03-29
- RM References: 6.05.01 (0) 6.05.01 (5/2)
+ Class: Amendment Status: Amendment 1 for Ada 2012 18-04-04
+ RM References: 6.05.01 (0) 6.05.01 (1/3) 6.05.01 (3.1/3) 6.05.01 (3.4/3) 6.05.01 (5/2) 6.05.01 (6/2) 6.05.01 (7/2) J.15.02 (2/3) J.15.02 (3/3) J.15.02 (4/3)
+
+AI12-0270-1/00 2018-04-09 -- Eliminate differences between use of values and objects
+ Priority: Low Difficulty: Medium
+ Class: Amendment Status: Work Item 18-04-09
+ RM References: 3.03 (11.1/3) 3.03 (12)
+
+AI12-0271-1/00 2018-04-09 -- Specifying aspects of (anonymous) formal parameters
+ Priority: Low Difficulty: Medium
+ Class: Amendment Status: Work Item 18-04-09
+ RM References: 13.01.01 (3/3)
+
+AI12-0272-1/01 2018-04-09 -- Contracts for generic formal parameters
+ Priority: Low Difficulty: Easy
+ Class: Amendment Status: Work Item 18-04-09
+ RM References: 6.01.01 (1/5) 6.01.01 (40/5) 7.03.03 (1/5) 7.03.03 (2/5) 7.03.03 (8/5) 7.03.04 (5/5) F.01 (1)
+
+AI12-0273-1/00 2018-04-09 -- Contract matching for formal subprograms
+ Priority: Very Low Difficulty: Medium
+ Class: Amendment Status: Work Item 18-04-09
+ RM References: 12.06 (8.9/5)
Questions? Ask the ACAA Technical Agent