Version 1.5 of ai12s/ai12-summary.txt

Unformatted version of ai12s/ai12-summary.txt version 1.5
Other versions for file ai12s/ai12-summary.txt

This is a summary of all Ada 2012 Issues. Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard.
AI12-0001-1/01 2011-11-08 -- Independence and Representation clauses for atomic objects
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 06-03-31 RM References: 13.02 (6.1/2) 13.02 (7) C.06 (10) C.06 (11) C.06 (21)
AI12-0002-1/01 2011-11-08 -- RCI units should not allow types with user-defined stream attributes
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 11-06-16 RM References: E.02.03 (11/1) E.02.03 (17)
AI12-0003-1/01 2011-11-08 -- Default storage pool for storage pools
Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-06-19 RM References: 3.10.02 (13.2/3)
AI12-0004-1/01 2011-11-08 -- Normalization and allowed characters for identifiers
Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-11-08 RM References: 2.01 (4.1/2)
AI12-0005-1/00 2011-11-11 -- Editorial comments on AARM 2012
Priority: Low Difficulty: Easy Class: Confirmation Status: Received 11-11-11 RM References: 6.06 (6)
AI12-0006-1/02 2011-12-14 -- Accessibility of null
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Deleted 11-11-11 RM References: 3.10.02 (13/2)
AI12-0007-1/02 2011-12-30 -- Accessibility of access discriminants of a subtype
Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Deleted 11-11-12 RM References: 3.10.02 (12.1/2)
AI12-0008-1/02 2011-12-30 -- Bad ancestor constraints for extension aggregates
Priority: Low Difficulty: Easy 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
Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-11-08 RM References: A.16 (112/3) A.17 (23/3)
AI12-0010-1/02 2011-12-30 -- Stream_IO should be preelaborated
Priority: Low Difficulty: Easy Class: Amendment Status: Deleted 11-11-13 RM References: A.12.01 (3)
AI12-0011-1/02 2011-12-30 -- Behavior of Random.Reset with default initialized State
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-12 RM References: A.05.02 (12) A.05.02 (35)
AI12-0012-1/02 2011-11-11 -- Failure behavior of Directories.Create_Path
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-11 RM References: A.16 (61/2)
AI12-0013-1/02 2011-11-11 -- More issues with the definition of volatile
Priority: Low Difficulty: Easy 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)
AI12-0017-1/01 2012-01-25 -- Compile-time-checked exception specifications
Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 12-01-25 RM References: 11.04.03 (0)
AI12-0018-1/01 2012-01-25 -- Entity versioning
Priority: Low Difficulty: Easy Class: Amendment Status: Work Item 12-01-25 RM References: A.16 (112/3) A.17 (23/3)
AI12-0019-1/01 2012-01-26 -- Generic formal record types
Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 12-01-26 RM References: 12.05.06 (0)

Questions? Ask the ACAA Technical Agent