CVS difference for ai12s/ai12-summary.txt
--- ai12s/ai12-summary.txt 2011/11/09 18:10:50 1.3
+++ ai12s/ai12-summary.txt 2012/01/05 06:18:32 1.4
@@ -26,19 +26,19 @@
Class: Confirmation Status: Received 11-11-11
RM References: 6.06 (6)
-AI12-0006-1/01 2011-11-08 -- Accessibility of null
+AI12-0006-1/02 2011-12-14 -- Accessibility of null
Priority: Low Difficulty: Medium
- Class: Binding Interpretation Status: Work Item 11-11-08
+ Class: Binding Interpretation Status: Deleted 11-11-11
RM References: 3.10.02 (13/2)
-AI12-0007-1/01 2011-11-08 -- Accessibility of access discriminants of a subtype
+AI12-0007-1/02 2011-12-30 -- Accessibility of access discriminants of a subtype
Priority: Low Difficulty: Hard
- Class: Binding Interpretation Status: Work Item 11-11-08
+ Class: Binding Interpretation Status: Deleted 11-11-12
RM References: 3.10.02 (12.1/2)
-AI12-0008-1/01 2011-11-08 -- Bad ancestor constraints for extension aggregates
+AI12-0008-1/02 2011-12-30 -- Bad ancestor constraints for extension aggregates
Priority: Low Difficulty: Easy
- Class: Binding Interpretation Status: Work Item 11-11-08
+ Class: Binding Interpretation Status: Deleted 11-11-13
RM References: 4.03.02 (8)
AI12-0009-1/01 2011-11-08 -- Iterators for Directories and Environment_Variables
@@ -46,23 +46,38 @@
Class: Amendment Status: Work Item 11-11-08
RM References: A.16 (112/3) A.17 (23/3)
-AI12-0010-1/01 2011-11-08 -- Stream_IO should be preelaborated
+AI12-0010-1/02 2011-12-30 -- Stream_IO should be preelaborated
Priority: Low Difficulty: Easy
- Class: Amendment Status: Work Item 11-11-08
+ Class: Amendment Status: Deleted 11-11-13
RM References: A.12.01 (3)
-AI12-0011-1/01 2011-11-09 -- Behavior of Random.Reset with default initialized State
+AI12-0011-1/02 2011-12-30 -- Behavior of Random.Reset with default initialized State
Priority: Low Difficulty: Easy
- Class: Binding Interpretation Status: Work Item 11-11-09
+ Class: Binding Interpretation Status: Deleted 11-11-12
RM References: A.05.02 (12) A.05.02 (35)
-AI12-0012-1/01 2011-11-09 -- Failure behavior of Directories.Create_Path
+AI12-0012-1/02 2011-11-11 -- Failure behavior of Directories.Create_Path
Priority: Low Difficulty: Easy
- Class: Binding Interpretation Status: Work Item 11-11-09
+ Class: Binding Interpretation Status: Deleted 11-11-11
RM References: A.16 (61/2)
-AI12-0013-1/01 2011-11-09 -- More issues with the definition of volatile
+AI12-0013-1/02 2011-11-11 -- More issues with the definition of volatile
Priority: Low Difficulty: Easy
- Class: Binding Interpretation Status: Work Item 11-11-09
+ Class: Binding Interpretation Status: Deleted 11-11-12
RM References: C.06 (16/3)
+
+AI12-0014-1/01 2011-12-21 -- Postconditions on subprogram bodies
+ Priority: Low Difficulty: Medium
+ Class: Amendment Status: Work Item 11-12-21
+ RM References: 6.01.01 (0/3)
+
+AI12-0015-1/00 2011-12-30 -- Ada unit information
+ Priority: Low Difficulty: Medium
+ Class: Amendment Status: Work Item 11-12-21
+ RM References: A.20 (0)
+
+AI12-0016-1/00 2011-12-30 -- Implementation model of dynamic accessibility checking
+ Priority: Medium Difficulty: Hard
+ Class: Binding Interpretation Status: Work Item 11-11-13
+ RM References: 3.10.02 (22)
Questions? Ask the ACAA Technical Agent