This is an index of all Ada 2005 Issues.
Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard.
Some AIs have alternatives; these are used when the best solution is not apparent. Alternatives
share the AI number, but have a different alternative number (following the second dash).
For issues that probably will not be considered by the ARG, look in the
Ada Commentaries Index.
For Ada 95 issues that have or will be considered by the ARG, look in the
Ada 95 Issues Index.
For Ada 2012 issues that have or will be considered by the ARG, look in the
Ada 2012 Issues Index.
For Ada 2022 issues that have or will be considered by the ARG, look in the
Ada 2022 Issues Index.
The Ada 2005 Issues are indexed in numeric order,
by the class of issue,
by the current status,
and by the section referenced.
AI05-0001-1/09 2009-10-15 -- Bounded containers and other container issues
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2012 09-06-26
RM References: A.04.09 (8/2) A.04.09 (11/2) A.04.10 (0) A.18 (4/2) A.18.01 (5/2) A.18.02 (34/2) A.18.02 (88/2) A.18.02 (89/2)
A.18.02 (93/2) A.18.02 (115/2) A.18.02 (147/2) A.18.02 (149/2) A.18.03 (17/2) A.18.03 (60/2) A.18.03 (65/2) A.18.03 (86/2)
A.18.03 (88/2) A.18.04 (10/2) A.18.04 (19/2) A.18.04 (41/2) A.18.04 (43/2) A.18.05 (17/2) A.18.05 (53/2) A.18.06 (16/2)
A.18.06 (58/2) A.18.07 (10/2) A.18.07 (18/2) A.18.07 (36/2) A.18.07 (38/2) A.18.08 (17/2) A.18.08 (75/2) A.18.09 (16/2)
A.18.09 (81/2) A.18.18 (0) A.18.19 (0) A.18.20 (0) A.18.21 (0) A.18.22 (0) A.18.23 (0) A.18.24 (0)
A.18.26 (1/2) A.18.26 (9/2)
AI05-0002-1/04 2007-10-01 -- Unconstrained arrays and C interfacing
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-25
RM References: B.01 (17) B.03 (62) B.03 (71.1/2)
AI05-0003-1/04 2009-04-23 -- Qualified expressions and names
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 08-11-26
RM References: 3.03 (11) 3.03 (21) 4.01 (2) 4.04 (7) 4.07 (3) 5.04 (7)
AI05-0004-1/13 2009-04-03 -- Presentation issues in the Standard
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2012 08-11-26
RM References: C.07.01 (17/2) 1.01.02 (21) 1.01.04 (14.1/2) 3.08 (11) 3.08 (13.1/2) 3.09.04 (22/2) 3.09.04 (29/2) 3.10.02 (12.2/2)
4.01 (7) 4.01.04 (3) 4.03.03 (32) 7.03 (10.1/2) 7.04 (10) 10.01.03 (10) 10.01.01 (17) 12.03 (7)
A.11 (4/2) A.18.07 (58/2) A.18.07 (79/2) A.18.07 (82/2) D.09 (6) J.01
AI05-0005-1/00 2006-03-15 -- Editorial comments on AARM 2005
Priority: Low Difficulty: Easy
Class: Confirmation Status: Received 06-03-15
RM References: 12.03 (11)
AI05-0006-1/06 2008-07-07 -- Nominal subtypes for all names
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.05.01 (6) 4.01.04 (9)
AI05-0007-1/04 2007-05-15 -- Stream 'Read and private scalar types
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.13.02 (50/2) 13.13.02 (51/2)
AI05-0008-1/05 2007-10-01 -- General access values that might designate constrained objects
Priority: High Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.03 (23) 3.10.02 (26/2) 4.01 (9) 6.04.01 (17) 8.05.01 (5/2)
AI05-0009-1/10 2009-05-21 -- Confirming representation items and independence
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 09-03-09
RM References: 9.10 (1) 13.01 (15/1) 13.02 (9) 13.03 (13) C.06 (2) C.06 (4) C.06 (6) C.06 (9)
C.06 (13) C.06 (14)
AI05-0010-1/02 2006-12-14 -- Suppressing 11.6 permissions
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (8-0-3) 09-11-07
RM References: 11.06 (5)
AI05-0011-1/01 2006-03-27 -- Recursive types and generic instantiations
Priority: Medium Difficulty: Hard
Class: Amendment Status: Deleted 07-11-17
RM References: 4.01 (2) 4.07 (0)
AI05-0012-1/03 2011-11-08 -- Independence and Representation clauses for atomic objects
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Deleted 11-11-08
RM References: 13.02 (6.1/2) 13.02 (7) C.06 (10) C.06 (11) C.06 (21)
AI05-0013-1/13 2008-05-21 -- No_Nested_Finalization is difficult to enforce
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 7.06 (9.4/2) 13.12 (8) D.07 (3) D.07 (4/2) D.07 (10/2) D.07 (10.1/2) D.07 (10.2/2) D.07 (10.8/2)
AI05-0014-1/03 2007-05-25 -- Accessibility of designated objects
Priority: High Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.10.02 (15)
AI05-0015-1/04 2007-05-17 -- Constant return objects
Priority: High Difficulty: Easy
Class: Amendment Status: Revision 2012 08-11-26
RM References: 6.05 (2.1/2) 3.03 (10/2) 3.03 (21) 6.05 (5/2) 6.05 (5.7/2)
AI05-0016-1/02 2006-12-13 -- Others => <> can be used in place of null record
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.03.01 (15)
AI05-0017-1/04 2007-10-01 -- Freezing and incomplete types
Priority: High Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.14 (3/1)
AI05-0018-1/03 2007-06-16 -- Formal Package Matching Rules
Priority: Medium Difficulty: Medium
Class: Pathology Status: No Action (8-1-1) 07-06-03
RM References: 4.09 (38/2) 12.07 (6/2)
AI05-0019-1/04 2007-10-01 -- Primitive subprograms are frozen with a tagged type
Priority: High Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.14 (2) 13.14 (3/1) 13.14 (8.1/1) 13.14 (10) 13.14 (14) 13.14 (15.1/2)
AI05-0020-1/03 2007-05-25 -- Universal operators of fixed point and access types
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.05.02 (9.3/2) 4.05.05 (19.2/2)
AI05-0021-1/03 2007-05-17 -- Issues with containers
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A.18.03 (102/2) A.18.02 (139/2) A.18.03 (83/2) A.18.04 (38/2) A.18.07 (36/2) A.18.02 (237/2) A.18.03 (151/2)
AI05-0022-1/04 2008-04-09 -- Container tampering should be checked for formal subprograms
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A.18.02 (239/2) A.18.03 (152/2) A.18.04 (75/2) A.18.07 (96/2)
AI05-0023-1/07 2011-04-28 -- 'Read on records with variant parts
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.13.02 (9/2) 13.13.02 (27/2) 13.13.02 (56/2)
AI05-0024-1/05 2007-10-01 -- Run-time accessibility checks
Priority: High Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.08 (10.1/2) 3.10.02 (14.1-14.4 6.05 (8/2)
AI05-0025-1/03 2007-05-17 -- Missing legality rules for formal_package_association
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 12.07 (4/2)
AI05-0026-1/04 2008-04-09 -- Missing rules for Unchecked_Unions
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 7.06 (9.4/2) B.03.03 (9/2) B.03.03 (10/2)
AI05-0027-1/06 2008-05-15 -- Behavior of container operations when passed a finalized container object
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A.18.02 (239/2) A.18.03 (152/2) A.18.04 (75/2) A.18.07 (96/2)
AI05-0028-1/06 2007-10-01 -- Problems with preelaboration
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 10.02.01 (9/2) 10.02.01 (10.1/2) 10.02.01 (11.1/2) 10.02.01 (11.2/2) 10.02.01 (11.4/2) 10.02.01 (11.8/2)
AI05-0029-1/04 2008-04-21 -- Operations that are not declared but still exist
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 7.03.01 (3/1) 7.03.01 (6/1) 12.05 (8/2) 12.05.01 (21/2)
AI05-0030-1/02 2007-09-27 -- Requeue on synchronized interfaces
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (8-1-1) 08-02-09
RM References: 9.05.04 (3)
Alternatives: AI05-0030-2
AI05-0030-2/05 2009-04-03 -- Requeue on synchronized interfaces
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 08-11-26
RM References: 9.05 (9) 9.05.04 (2) 9.05.04 (3) 9.05.04 (5) 9.05.04 (6) 9.05.04 (7) 9.05.04 (12)
Alternatives: AI05-0030-1
AI05-0031-1/04 2010-06-07 -- Add a From parameter to Find_Token
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 10-04-05
RM References: A.04.03 (16) A.04.03 (67) A.04.03 (68/1) A.04.04 (51) A.04.05 (46)
AI05-0032-1/02 2007-11-11 -- Extended return statements for class-wide functions
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 08-11-26
RM References: 6.05 (5.2/2) 6.05 (5.3/2) 6.05 (5.6/2) 6.05 (5.8/2) 6.05 (8/2)
AI05-0033-1/04 2008-05-21 -- Rules for non-library level interrupt handlers
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.11.02 (16) C.03.01 (7/2) C.03.01 (8/2)
AI05-0034-1/04 2007-11-26 -- Categorization of limited views
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 10.02.01 (11/1) 10.02.01 (17/2)
AI05-0035-1/04 2007-10-01 -- Inconsistencies with pure units
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 10.02.01 (15.1/2) 10.02.01 (15.4/2) 10.02.01 (15.5/2) 10.02.01 (17/2)
AI05-0036-1/01 2007-01-18 -- Number of characters to be output for Text_IO for enumerations
Priority: Medium Difficulty: Easy
Class: Confirmation Status: WG9 Approved 08-06-20
RM References: A.10.06 (8) A.10.10 (11)
AI05-0037-1/02 2007-10-08 -- Out of range <> associations in array aggregates
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.03.03 (29)
AI05-0038-1/03 2007-11-26 -- Minor Errors in Ada.Text_IO
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A.10.05 (37) A.10.07 (8/1) A.10.07 (10) A.10.07 (12) A.10.08 (10) A.10.08 (24)
AI05-0039-1/04 2008-05-15 -- User-defined stream attributes cannot be dynamic
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.03 (4) 13.03 (6) 13.13.02 (38/2)
AI05-0040-1/03 2007-10-08 -- Limited with clauses on descendants
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 10.01.02 (20/2)
AI05-0041-1/08 2008-05-15 -- Derived types and partial views
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.07.01 (7/2) 3.03 (23.9/3) 3.03 (23.10/3) 3.10.02 (26/3) 3.10.02 (27.2/2) 3.10.02 (28) 4.08 (6/2)
AI05-0042-1/04 2008-05-21 -- Overriding versus implemented-by
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 9.01 (9.2/2) 9.04 (11.1/2)
AI05-0043-1/02 2007-10-08 -- The Exception_Message for failed language-defined checks.
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 11.04.01 (10.1/2) 11 (2)
AI05-0044-1/05 2009-10-14 -- Equivalence and equality in containers
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A.18 (4/2) A.18.02 (231/2) A.18.03 (145/2) A.18.06 (56/2) A.18.08 (66/2) A.18.09 (79/2) A.18.26 (5/2) A.18.26 (9/2)
AI05-0045-1/05 2008-04-21 -- Termination of unactivated tasks
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 9.02 (6)
AI05-0046-1/03 2007-10-08 -- Null exclusions must match for profiles to be fully conformant
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 6.03.02 (18)
AI05-0047-1/07 2008-05-27 -- Annoyances in the array packages
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: G.03.01 (78/2) G.03.01 (90/2) G.03.02 (16/2) G.03.02 (75/2) G.03.02 (146/2) G.03.02 (160/2)
AI05-0048-1/03 2008-04-21 -- Redispatching is not expected in language-defined subprograms
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A (3)
AI05-0049-1/04 2010-06-08 -- Extend file name processing in Ada.Directories
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-04-06
RM References: A.16 (20/2) A.16 (82/2) A.16.01 (0)
AI05-0050-1/07 2009-05-31 -- Return permissions are not enough for built-in-place return objects
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 6.05 (24/2)
AI05-0051-1/10 2010-11-16 -- Accessibility checks for class-wide types and return from nested-extension primi
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 10-11-16
RM References: 3.10.02 (14/2) 3.10.02 (14.4/2) 3.10.02 (19/2) 4.08 (5.2/2) 4.08 (10.1/2) 6.05 (21/2) 7.06.01 (11/2) 13.11 (25.2/2)
AI05-0052-1/11 2008-10-22 -- Coextensions and distributed overhead
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.08 (5.3/2) 7.05 (8)
AI05-0053-1/06 2008-05-27 -- Aliased views of unaliased objects
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.10 (9/2) 6.05 (2.1/2)
AI05-0054-1/01 2007-05-15 -- Variable views of constant objects
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: No Action (7-0-1) 08-11-02
RM References: 3.10.02 (29) 13.09.01 (13)
Alternatives: AI05-0054-2 AI05-0054-3 AI05-0054-4
AI05-0054-2/06 2009-05-21 -- Variable views of constant objects
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.03 (13) 3.03 (25) 13.09.01 (13)
Alternatives: AI05-0054-1 AI05-0054-3 AI05-0054-4
AI05-0054-3/01 2008-11-01 -- Variable views of constant objects
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: No Action (7-0-1) 08-11-02
RM References: 3.03 (13) 13.09.01 (13)
Alternatives: AI05-0054-1 AI05-0054-2 AI05-0054-4
AI05-0054-4/01 2008-11-01 -- Variable views of constant objects
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: No Action (7-0-1) 08-11-02
RM References: 3.03 (13) 13.09.01 (13)
Alternatives: AI05-0054-1 AI05-0054-2 AI05-0054-3
AI05-0055-1/03 2007-10-08 -- Glitch in EDF protocol
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: D.02.06 (26/2)
AI05-0056-1/02 2007-06-17 -- Wrong result for Index functions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A.04.03 (56.2/2) A.04.03 (58.5/2)
AI05-0057-1/04 2008-02-22 -- The class attribute of a constrained subtype
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 07-05-25
RM References: 3.09 (13-15) 3.02 (8/2) 4.05.01 (30.1/2) 4.06 (51/2) 4.09.01 (2/2) 4.09.01 (4) 6.05 (5.2/2) 6.05 (5.8/2)
7.04 (6/2)
AI05-0058-1/01 2007-08-01 -- Abnormal completion of an extended return statement
Priority: High Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 6.05 (22/2)
AI05-0059-1/03 2008-06-13 -- Limited derived types and build-in-place
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Deleted 08-06-13
RM References: 7.05 (8.1/2)
AI05-0060-1/07 2008-05-21 -- The definition of Remote access types is too limiting
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A (4) E.02.02 (9/1) E.02.02 (9.2/1) E.02.02 (14/2) E.02.02 (18)
AI05-0061-1/02 2008-02-05 -- Assume-the-worst rule needed for access-to-discriminated checks
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Deleted 08-02-05
RM References: 3.10.02 (27.2/2)
AI05-0062-1/03 2008-04-18 -- Null exclusions and deferred constants
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 7.04 (6/2) 7.04 (7.1/2)
AI05-0063-1/05 2008-07-07 -- Access discriminants on derived formal types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.07 (10/2)
AI05-0064-1/01 2007-09-13 -- Redundant finalization rule
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 7.06.01 (17.1/1)
AI05-0065-1/03 2008-04-18 -- Remote access types should be defined as externally streamable
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.13.02 (52/2)
AI05-0066-1/05 2008-05-21 -- Temporary objects are required to live too long
Priority: High Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.10.02 (14.4/2) 7.06.01 (13/2) 7.06.01 (13.1/2)
AI05-0067-1/09 2009-05-29 -- Objects that are built in place
Priority: High Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.03.02 (5/2) 7.05 (8.1/2) 7.05 (9/2) 7.06 (0) 7.06 (16) 7.06 (17/2) 7.06 (17.1/2) 7.06 (18)
7.06 (19) 7.06 (20) 7.06 (21/2)
AI05-0068-1/03 2008-04-18 -- Inherited subprograms may be both abstract and require overriding
Priority: Medium Difficulty: Hard
Class: Ramification Status: WG9 Approved 08-06-20
RM References: 3.09.03 (3/2) 3.09.03 (4/2) 3.09.03 (5/2) 3.09.03 (6/2)
AI05-0069-1/05 2009-05-29 -- Holder container
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2012 08-11-26
RM References: A.18.18 (0)
AI05-0070-1/01 2007-10-24 -- Elaboration of interface types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.09.04 (18/2)
AI05-0071-1/05 2008-10-22 -- Class-wide operations for formal subprograms
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 12.05.01 (23.1/2) 12.06 (10)
AI05-0072-1/02 2007-12-13 -- Termination only signals 'Terminated when it is True
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 9.10 (6.1/1)
AI05-0073-1/04 2008-04-18 -- Questions about functions returning abstract types
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.09.03 (8) 3.09.03 (10) 6.05 (8/2)
AI05-0074-1/02 2007-11-17 -- Limited view of generic instantiations
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 12.03 (1)
Alternatives: AI05-0074-2 AI05-0074-3 AI05-0074-4 AI05-0074-5
AI05-0074-2/01 2008-07-20 -- Allowing an explicit "end private;" in a package spec
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 7.01 (3) 7.01 (6/2) 7.03 (4) 7.04 (3) 8.02 (2) 8.02 (8) 8.02 (9)
Alternatives: AI05-0074-1 AI05-0074-3 AI05-0074-4 AI05-0074-5
AI05-0074-3/00 2008-10-24 -- Deferred instance freezing
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 12.05 (3)
Alternatives: AI05-0074-1 AI05-0074-2 AI05-0074-4 AI05-0074-5
AI05-0074-4/02 2009-02-16 -- Private Instantiations
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 3.09.03 (9) 3.10.01 (10/2) 7.03 (4) 7.03.01 (12/2) 7.03.01 (13) 10.02.01 (17/2) 12.03 (12) 12.03.01 (0)
Alternatives: AI05-0074-1 AI05-0074-2 AI05-0074-3 AI05-0074-5
AI05-0074-5/01 2009-10-14 -- Private Instantiations - Take 2
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 12.03 (12) 12.03.01 (0)
Alternatives: AI05-0074-1 AI05-0074-2 AI05-0074-3 AI05-0074-4
AI05-0075-1/03 2008-07-19 -- More access discriminant checks needed
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Deleted 08-07-19
RM References: 6.05 (21/2)
AI05-0076-1/03 2008-04-18 -- Meaning of "function with a controlling result"
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.09.02 (2/2)
AI05-0077-1/03 2008-04-18 -- The scope of a declaration does not include any context clause
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 10.01.02 (12/2) 10.01.02 (21/2) 10.01.02 (22/2)
AI05-0078-1/03 2008-04-18 -- Alignment need not match for Unchecked_Conversion
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.09 (7)
AI05-0079-1/04 2008-05-21 -- An other_format character should be allowed wherever a separator is allowed
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 2.01 (4/2) 2.02 (7)
AI05-0080-1/04 2008-05-21 -- "view of" is not needed when it is clear from context
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.01 (7)
AI05-0081-1/02 2008-02-25 -- 4.8(5.1) should be checked in the private part of an instance
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Deleted 08-02-25
RM References: 4.08 (5.1/2)
AI05-0082-1/03 2008-04-18 -- Accessibility level of generic formal types
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.10.02 (19/2) 3.10.02 (20)
AI05-0083-1/04 2008-10-21 -- Representation values of formal parameters
Priority: Low Difficulty: Medium
Class: Ramification Status: WG9 Approved 08-10-31
RM References: 13.01 (11/2) 13.03 (22/2) 13.03 (40)
AI05-0084-1/03 2008-04-18 -- Pragma Remote_Types for Container library units
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: A.18.02 (6/2) A.18.03 (5/2) A.18.05 (2/2) A.18.06 (2/2) A.18.08 (2/2) A.18.09 (2/2) A.18.18 (5/3)
AI05-0085-1/02 2008-02-21 -- Allow Assertion_Policy to apply to a smaller scope
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: No Action (7-0-2) 08-02-10
RM References: 11.04.02 (7/2)
AI05-0086-1/02 2008-04-18 -- Statically compatible needs to take null exclusions into account
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.09.01 (4)
AI05-0087-1/03 2008-04-18 -- Formal nonlimited derived types should not have limited actual types
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 7.05 (5/2) 12.05.01 (5.1/2)
AI05-0088-1/01 2008-01-30 -- Only the value of "**" is equivalent to repeated "*"s
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.05.06 (11)
AI05-0089-1/01 2008-02-21 -- Renames of components of Unchecked_Union types
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: No Action (7-0-2) 08-02-10
RM References: 8.05.01 (5/2)
AI05-0090-1/05 2008-10-21 -- Ambiguities with prefixed views of synchronized primitives
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.01.03 (9.2/2) 9.01 (9.5/2) 9.04 (11.4/2)
AI05-0091-1/03 2008-10-18 -- An other_format character is not allowed in an identifier
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 2.03 (3.1/2) 2.03 (4/2) 2.03 (5/2) 2.03 (5.1/2) 2.03 (5.2/2) 2.03 (5.3/2) 2.09 (2/2)
AI05-0092-1/17 2011-03-02 -- More presentation issues in the Standard
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2012 11-02-04
RM References: 3.03.01 (20.4/2) 3.03.01 (23) 3.09 (25.1/2) 6.03.01 (21.1/2) 7.06 (9.3/2) 9.06 (6) 9.06 (8) 9.06 (22)
9.06 (28) 13.03 (75/1) 13.13.02 (55/2) 13.13.02 (56/2) A.11 (4/2) A.11 (5/2) A.16 (44/2) A.16 (68/2)
A.16 (104/2) A.16 (112/2) A.18.02 (189/2) A.18.10 (2/2) A.18.11 (2/2) A.18.12 (2/2) A.18.13 (2/2) A.18.14 (2/2)
A.18.15 (2/2) D.05.01 (18) D.14.02 (4/2) D.14.02 (21/2) G.02.02 (11) J.08 (3)
AI05-0093-1/03 2008-10-18 -- Additional rules that need to use "immutably limited"
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.03 (23.4/3)
AI05-0094-1/03 2008-10-18 -- Timing_Events should not require deadlock
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: D.15 (15/2)
AI05-0095-1/04 2009-05-30 -- Address of intrinsic subprograms
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.03 (11/1)
AI05-0096-1/04 2008-10-18 -- Deriving from formal limited types
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.04 (5.1/2) 6.02 (7)
AI05-0097-1/03 2008-10-18 -- 3.9.3(4) includes abstract null extensions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.09.03 (4/2)
AI05-0098-1/03 2008-10-18 -- Incomplete type names can be used in anonymous access-to-subprogram types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.10.01 (6) 3.10.01 (9.2/2)
AI05-0099-1/04 2009-05-30 -- The tag, not the type, of an object determines if it is controlled
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 7.06.01 (6) 7.06.01 (7) 7.06.01 (8) 7.06.01 (9/2)
AI05-0100-1/04 2009-05-30 -- Placement of pragmas
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 2.08 (7)
AI05-0101-1/05 2009-05-30 -- Remote functions must support external streaming
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: E.02.02 (14/2) E.02.02 (16/1) E.02.03 (14/2) E.04 (7)
AI05-0102-1/04 2009-10-12 -- Some implicit conversions ought to be illegal
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 09-06-27
RM References: 3.07 (16) 3.07.01 (9) 6.04.01 (6) 8.06 (27/2)
AI05-0103-1/05 2009-05-30 -- Return statements should require at least static compatibility
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 09-02-21
RM References: 6.05 (5.2/2)
AI05-0104-1/02 2008-07-07 -- Null exclusions are not allowed in uninitialized allocators
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 4.08 (2)
AI05-0105-1/02 2008-07-03 -- Resolution of renames uses anonymousness
Priority: Low Difficulty: Easy
Class: Confirmation Status: WG9 Approved 08-10-31
RM References: 8.05.01 (3/2)
AI05-0106-1/04 2009-05-30 -- Representation items are not allowed on generic formal parameters
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.01 (9.1/1)
AI05-0107-1/04 2009-10-12 -- A failed allocator need not leak memory
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 09-06-27
RM References: 7.06.01 (20) 13.11 (16) 13.11 (21) 13.11.02 (9/2)
AI05-0108-1/03 2009-05-30 -- The incomplete view from a limited view does not have a discriminant part
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 10.01.01 (12.3/2)
AI05-0109-1/03 2009-05-30 -- Redundant check in S'Class'Input
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 13.13.02 (34/2)
AI05-0110-1/06 2011-09-27 -- Inheritance of characteristics of generic formal derived types
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 11-05-05
RM References: 3.04 (7) 7.03 (16/2) 12.05.01 (20/2) 12.05.01 (21/3)
AI05-0111-1/09 2010-05-17 -- Specifying a pool on an allocator
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (7-0-0) 10-06-20
RM References: 4.08 (2) 4.08 (3/2) 4.08 (10.1/3) 13.11 (16/3) 13.11.04 (0) 13.11.05 (0) 13.11.06 (0) 13.11.07 (0)
Alternatives: AI05-0111-2 AI05-0111-3
AI05-0111-2/01 2010-05-20 -- Specifying a pool on an allocator (without reachability checks)
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 10-10-29
RM References: 4.08 (2) 4.08 (3/2) 4.08 (10.1/3) 13.11 (16/3) 13.11.04 (0) 13.11.05 (0) 13.11.06 (0)
Alternatives: AI05-0111-1 AI05-0111-3
AI05-0111-3/13 2011-10-10 -- Subpools, allocators, and control of finalization
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2012 11-06-11
RM References: 4.08 (2) 4.08 (3/2) 4.08 (5/2) 4.08 (10.3/2) 13.11 (16/3) 13.11 (38) 13.11 (39/1) 13.11 (41)
13.11 (43) 13.11.04 (0) 13.11.05 (0) 13.11.06 (0)
Alternatives: AI05-0111-1 AI05-0111-2
AI05-0112-1/03 2009-05-30 -- Names for anonymous aspects of representation
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 09-02-21
RM References: 13.01 (8)
AI05-0113-1/06 2010-06-07 -- Conflicting external tags and other tag issues
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-04-02
RM References: 3.09 (12.1/2) 3.09 (26.1/2) 13.03 (76)
AI05-0114-1/03 2010-10-08 -- Conflicting definition of Letter
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-08-12
RM References: A.03.02 (59) A.04.06 (7)
AI05-0115-1/12 2011-09-27 -- Aggregates with components that are not visible
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-05-14
RM References: 3.09 (12.2/2) 4.03.02 (5/2) 4.06 (21/2) 4.06 (24/2) 7.03.01 (5/1)
AI05-0116-1/04 2009-05-30 -- The value of Alignment for a class-wide object
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 09-03-09
RM References: 13.03 (29) 13.11 (16)
AI05-0117-1/03 2010-11-23 -- Memory barriers and Volatile objects
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2012 10-11-23
RM References: C.06 (16)
AI05-0118-1/03 2009-05-30 -- The association of parameter associations
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 6.04.01 (2) 12.03 (9)
AI05-0119-1/02 2011-03-11 -- Package Calendar, Daylight Savings Time, and UTC_Offset
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 9.06 (24/2) 9.06.01 (41/2) 9.06.01 (42/2)
AI05-0120-1/03 2009-05-30 -- The current instance of a protected object is a constant view
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.03 (21)
AI05-0121-1/01 2008-10-17 -- Opening a non-existent file in Append_File mode
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (7-0-1) 08-11-02
RM References: A.08.02 (6-8)
AI05-0122-1/02 2010-10-08 -- Private with and children of generics
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 10-08-12
RM References: 10.01.02 (12/2)
AI05-0123-1/07 2009-10-12 -- Composability of equality
Priority: Low Difficulty: Hard
Class: Amendment Status: Revision 2012 09-06-29
RM References: 4.05.02 (9.7/2) 4.05.02 (14) 4.05.02 (15) 4.05.02 (24) 8.05.04 (8)
AI05-0124-1/03 2010-06-07 -- Where is the elaboration check suppressed?
Priority: Low Difficulty: Easy
Class: Ramification Status: WG9 Approved 10-06-18
RM References: 11.05 (7.1/2) 11.05 (20)
AI05-0125-1/03 2011-02-09 -- Nonoverridable operations of an ancestor
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (7-0-1) 11-03-17
RM References: 7.03.01 (6) 8.03 (12.3/2) 8.03.01 (5/2)
AI05-0126-1/03 2009-05-30 -- Dispatching when there is no declared operation
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 08-11-26
RM References: 3.09.02 (20/2) 3.09.02 (20.1/2) 3.09.02 (20.2/2)
AI05-0127-1/02 2009-10-31 -- Adding Locale Capabilities
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 10-06-20
RM References: A.19 A.19.01 A.19.02 A.19.03 A.19.05 A.19.06 A.19.07 A.19.08
A.19.09 A.19.10 A.19.11 A.19.12 A.19.13
Alternatives: AI05-0127-2
AI05-0127-2/05 2010-10-15 -- Adding Locale Capabilities
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 10-08-05
RM References: A.19 (0) 1.02 (1) 1.02 (4/2)
Alternatives: AI05-0127-1
AI05-0128-1/03 2009-05-30 -- "/=" is a primitive operation
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 09-03-09
RM References: 3.02.03 (6) 6.06 (6)
AI05-0129-1/04 2009-05-30 -- A limited view does not contain views of incomplete types
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 09-03-09
RM References: 10.01.01 (12.2/2) 10.01.01 (12.3/2)
AI05-0130-1/04 2011-07-28 -- Order of initialization/finalization of record extension components
Priority: Low Difficulty: Medium
Class: Pathology Status: WG9 Approved 09-11-05
RM References: 7.06 (12) 7.06.01 (9/2)
AI05-0131-1/04 2011-05-05 -- Class-wide operations for formal subprograms revisited
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 8.04 (8/2) 12.06 (9) 12.06 (10)
AI05-0132-1/03 2009-05-30 -- A library unit pragma must apply to a library unit
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 09-03-09
RM References: 10.01.05 (7)
AI05-0133-1/02 2009-03-09 -- Extending a type with a self-referencing discriminant constraint on a component
Priority: Low Difficulty: Medium
Class: Ramification Status: WG9 Approved 09-06-12
RM References: 8.06 (17)
AI05-0134-1/03 2009-05-31 -- Full conformance should include the profiles of anonymous access-to-subprogram p
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 09-03-09
RM References: 6.03.01 (18)
AI05-0135-1/05 2009-05-27 -- "Integrated" nested packages
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 4.01.03 (12) 7.01 (2) 7.01.03 (7) 8.04 (5/2) 8.04 (11) 8.04 (18) 8.05.03 (3) 8.05.03 (4)
12.03 (2/2) 12.03 (18)
Alternatives: AI05-0135-2
AI05-0135-2/02 2010-01-15 -- "Integrated" nested packages
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (8-0-1) 10-10-29
RM References: 4.01.03 (12) 7.01 (2) 7.01 (3) 7.01 (4) 7.01 (5/2) 7.01 (7) 8.03 (25) 8.04 (5/2)
8.04 (16) 8.05.03 (3) 8.05.03 (4) 10.01.01 (12.2/3) 12.03 (2/2) 12.03 (18)
Alternatives: AI05-0135-1
AI05-0136-1/07 2010-06-02 -- Multiway tree container
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-01-15
RM References: A.18.10 (0) A.18.17 (0) A.18.25 (0)
AI05-0137-1/05 2009-10-12 -- String encoding package
Priority: Medium Difficulty: Easy
Class: Amendment Status: WG9 Approved 09-11-05
RM References: A.04.11
Alternatives: AI05-0137-2
AI05-0137-2/03 2010-10-19 -- String encoding packages
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 10-05-07
RM References: A.04.11
Alternatives: AI05-0137-1
AI05-0138-1/00 2009-02-13 -- Improving accessibility
Priority: Medium Difficulty: Hard
Class: Amendment Status: No Action (11-0-1) 09-11-06
RM References: 3.10.02
AI05-0139-1/02 2009-06-08 -- User-defined iterators
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 5.05
Alternatives: AI05-0139-2
AI05-0139-2/14 2011-09-26 -- Syntactic sugar for accessors, containers, and iterators
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 11-06-09
RM References: 4.01 (2) 4.01.05 (0) 4.01.06 (0) 5.05 (3) 5.05 (9) 5.05.01 (0) 5.05.02 (0) 13.03.02 (9)
Alternatives: AI05-0139-1
AI05-0140-1/02 2009-03-06 -- Identity functions
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (8-0-0) 09-02-22
RM References: 5.05
AI05-0141-1/01 2009-02-13 -- User-dereferencing in Storage Pools
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 13.11
AI05-0142-1/01 2009-02-14 -- Variable function results
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 6.05
Alternatives: AI05-0142-2 AI05-0142-3 AI05-0142-4
AI05-0142-2/01 2009-04-03 -- Limited access types
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 3.10 (6) 3.10 (12/2) 3.10.02 (13.1/2) 3.10.02 (18.1/2)
Alternatives: AI05-0142-1 AI05-0142-3 AI05-0142-4
AI05-0142-3/02 2009-04-27 -- Accessors for Ada.Containers
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 3.10.02 (13.1/2)
Alternatives: AI05-0142-1 AI05-0142-2 AI05-0142-4
AI05-0142-4/09 2010-10-19 -- Explicitly aliased parameters
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-08-20
RM References: 3.10 (9/2) 3.10.02 (13.1/2) 3.10.02 (19/2) 6.01 (15/2) 6.01 (23/2) 6.02 (3) 6.02 (10) 6.03.01 (16/2)
6.04.01 (6) 6.04.01 (15) 7.06.01 (13/3) C.06 (12)
Alternatives: AI05-0142-1 AI05-0142-2 AI05-0142-3
AI05-0143-1/04 2010-06-02 -- In Out parameters for functions
Priority: High Difficulty: Medium
Class: Amendment Status: Revision 2012 09-06-27
RM References: 6.01 (18) 6.06 (03)
AI05-0144-1/03 2009-04-30 -- Detecting dangerous order dependencies
Priority: High Difficulty: Hard
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 6.04 (09)
Alternatives: AI05-0144-2
AI05-0144-2/09 2010-10-15 -- Detecting dangerous order dependences
Priority: High Difficulty: Hard
Class: Amendment Status: Revision 2012 10-04-23
RM References: 6.04.01 (6) 6 (5.8/3)
Alternatives: AI05-0144-1
AI05-0145-1/02 2009-02-16 -- Pre- and Postconditions
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-0) 10-02-27
RM References: 11.05 (00) 11.04.01 (10)
Alternatives: AI05-0145-2
AI05-0145-2/09 2010-10-18 -- Pre- and Postconditions
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-09-02
RM References: 6.01.01 (00)
Alternatives: AI05-0145-1
AI05-0146-1/08 2010-10-19 -- Type Invariants
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-09-02
RM References: 7.03.02 (00)
AI05-0147-1/14 2010-10-18 -- Conditional expressions
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-07-26
RM References: 4.03.03 (15) 4.04 (1) 4.04 (7) 4.05.07 (0) 4.07 (2) 4.07 (3) 4.09 (12) 4.09 (33)
5.03 (3) 5.03 (4) 7.05 (2.1/2)
AI05-0148-1/06 2009-10-12 -- Accessibility of anonymous access stand-alone objects
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 09-06-25
RM References: 3.10.02 (13.1/2) 3.10.02 (19/2) 4.06 (24.17/2) 4.06 (48)
AI05-0149-1/07 2010-06-08 -- Access type conversion and membership
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 09-12-17
RM References: 4.05.02 (30.2/2) 8.06 (25/2) 8.06 (27/2) 8.06 (29)
AI05-0150-1/04 2010-06-07 -- Use all type clause
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-04-02
RM References: 8.04 (4) 8.04 (8/2)
AI05-0151-1/08 2010-10-15 -- Allow incomplete types as parameter and result types
Priority: High Difficulty: Hard
Class: Amendment Status: Revision 2012 10-08-10
RM References: 3.10.01 (8/2) 3.10.01 (8.2/2) 3.10.01 (9.1/2) 3.10.01 (9.2/2) 3.10.01 (10/2) 3.10.01 (13)
AI05-0152-1/03 2009-10-12 -- Restriction No_Anonymous_Allocators
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 09-06-25
RM References: H.04 (8/1)
AI05-0153-1/07 2010-06-30 -- Subtype predicates
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (10-0-0) 10-10-29
RM References: 3.02.04 (0)
Alternatives: AI05-0153-2 AI05-0153-3
AI05-0153-2/05 2010-02-12 -- Set constraints and extended discriminant constraints
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (6-0-5) 10-02-28
RM References: 3.02.02 (7)
Alternatives: AI05-0153-1 AI05-0153-3
AI05-0153-3/11 2011-06-02 -- Subtype predicates
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 11-03-04
RM References: 3.02.04 (0) 3.08.01 (5) 3.08.01 (8) 3.08.01 (11) 3.08.01 (15) 4.03.03 (17) 4.05.02 (29) 4.05.02 (30/2)
4.06 (51/2) 4.09 (26/2) 4.09.01 (2/2) 4.09.01 (4) 5.04 (5) 5.04 (7) 6.04.01 (13) 13.09.02 (3)
Alternatives: AI05-0153-1 AI05-0153-2
AI05-0154-1/00 2009-06-01 -- Unconstrained 'Access on array components
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (7-1-2) 10-10-30
RM References: 3.10.02 (27)
AI05-0155-1/05 2010-10-08 -- 'Size clause on type with nonstatic bounds
Priority: Medium Difficulty: Medium
Class: Ramification Status: WG9 Approved 10-10-28
RM References: 13.01 (23) 13.03 (56.2/2)
AI05-0156-1/02 2009-06-25 -- Elaborate_All applies to bodies imported with limited with
Priority: Low Difficulty: Medium
Class: Ramification Status: WG9 Approved 09-11-05
RM References: 8.06 (17)
AI05-0157-1/04 2010-06-08 -- Calling Unchecked_Deallocation is illegal for zero-sized pools
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 09-12-10
RM References: 4.08 (5.3/2) 13.11.02 (4) 13.11.02 (17)
AI05-0158-1/09 2011-01-17 -- Generalizing membership tests
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 10-11-12
RM References: 3.08.01 (5) 4.04 (1) 4.04 (2) 4.04 (3) 4.05.02 (3/2) 4.05.02 (4) 4.05.02 (27) 4.05.02 (28)
4.05.02 (29) 4.05.02 (30/2) 4.09 (11) 4.09 (33)
AI05-0159-1/13 2011-07-18 -- Queue containers
Priority: Medium Difficulty: Hard
Class: Amendment Status: Revision 2012 10-08-04
RM References: A.18.27 A.18.28 A.18.29 A.18.30 A.18.31
AI05-0160-1/03 2010-06-07 -- Additional ways to invalidate cursors
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 09-12-17
RM References: A.18.02 (249/2) A.18.02 (251/2) A.18.03 (154/2) A.18.03 (156/2) A.18.04 (77/2) A.18.04 (79/2) A.18.07 (98/2) A.18.07 (100/2)
A.18.19 (9/3) A.18.20 (13/3) A.18.21 (14/3) A.18.22 (11/3) A.18.23 (14/3) A.18.24 (11/3)
AI05-0161-1/02 2009-07-25 -- Restrictions for default stream attributes of elementary types
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (8-0-2) 10-10-30
RM References: 13.12.01 (4/2) 13.13.02 (40/2) 13.13.02 (52/2)
AI05-0162-1/04 2010-06-06 -- Allow incomplete types to be completed by partial views
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 10-04-02
RM References: 3.10.01 (2.5/2) 3.10.01 (2.6/2) 3.10.01 (3) 3.10.01 (4/2)
AI05-0163-1/03 2010-10-07 -- Pragmas in place of null
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 10-07-07
RM References: 2.08 (7) 2.08 (16)
AI05-0164-1/02 2009-11-30 -- Parameters of access-to-subprogram parameters and derivation
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 09-11-30
RM References: 3.04 (18/2) 6.01 (27.1/2) 6.01 (28.2/2)
AI05-0165-1/01 2009-10-21 -- Inheriting non-conformant homographs
Priority: Low Difficulty: Easy
Class: Ramification Status: WG9 Approved 10-10-28
RM References: 8.03 (12.3/2) 8.03 (26/2)
AI05-0166-1/07 2010-06-07 -- Yield for non-preemptive dispatching
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 10-04-05
RM References: D.02.01 (1.2/2) D.02.01 (6/2) D.02.04 (2/2) D.02.04 (9/2)
AI05-0167-1/12 2011-06-06 -- Managing affinities for programs executing on multiprocessors
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 11-03-15
RM References: D.16.01 (0) C.03.02 (2) C.03.02 (10) C.03.02 (22/1) J.15.10 (0)
AI05-0168-1/05 2010-06-07 -- Extended suspension objects
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 10-04-05
RM References: D.10 (5) D.10 (10) D.10 (11)
AI05-0169-1/06 2010-10-12 -- Defining group budgets for multiprocessor platforms
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 10-08-12
RM References: D.14.02 (3-4/2) D.14.02 (21/2)
AI05-0170-1/06 2010-10-20 -- Monitoring the time spent in Interrupt Handlers
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 10-08-09
RM References: D.14 (9/2) D.14 (11/2) D.14 (13/2) D.14 (18/2) D.14.03 (0)
AI05-0171-1/06 2010-10-15 -- Pragma CPU and Ravenscar Profile
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 10-08-12
RM References: D.13.01 (4/2) D.16
AI05-0172-1/01 2009-10-22 -- Extension to Ravenscar Profile
Priority: Medium Difficulty: Easy
Class: Amendment Status: No Action (10-0-1) 10-02-26
RM References: D.07 (14) D.13.01 (4/2)
AI05-0173-1/03 2010-10-16 -- Testing if tags represent abstract types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 10-06-03
RM References: 3.09 (7.4/2) 3.09 (12.4/2)
AI05-0174-1/06 2010-10-21 -- Implement Task barriers in Ada
Priority: High Difficulty: Medium
Class: Amendment Status: Revision 2012 10-08-12
RM References: D.10.01 (00)
AI05-0175-1/02 2010-02-16 -- Cyclic fixed point types
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (10-0-0) 10-02-26
RM References: 3.05.09
AI05-0176-1/10 2010-11-18 -- Quantified expressions
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 10-06-03
RM References: 2.09 (2/2) 4.04 (7) 4.05.08 (0)
AI05-0177-1/07 2011-02-03 -- Expression functions
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 10-11-19
RM References: 3.01 (3/2) 3.11.01 (1/1) 6.01 (20/2) 6.01 (30/2) 6.07 (2/3) 6.07 (3/2) 6.07 (5/2) 6.08 (0)
7.05 (2.8/2) 8.03 (18/2) 8.03.01 (3/2) 13.14 (8/1) 13.14 (10.1/3) 13.14 (10.2/3)
AI05-0178-1/03 2010-06-07 -- Incomplete views are limited
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 09-12-11
RM References: 7.05 (3/2) 7.05 (6/2)
AI05-0179-1/04 2010-04-05 -- Labels at end of a sequence_of_statements
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 10-04-05
RM References: 5.01 (2)
AI05-0180-1/01 2009-10-29 -- Exits from named blocks
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (10-0-1) 09-11-08
RM References: 5.07 (4)
AI05-0181-1/03 2010-06-03 -- Soft hyphen is a nongraphic character
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 09-12-12
RM References: 3.05.02 (2/2) A.01 (35/2) A.03.03 (21)
AI05-0182-1/03 2011-03-11 -- Preciseness of S'Value
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 3.05 (56/2)
AI05-0183-1/13 2011-04-19 -- Aspect Specifications
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-09-01
RM References: 3.02.01 (3) 3.02.02 (2) 3.03.01 (2/2) 3.08 (6) 3.09.03 (1.1/2) 6.01 (2/2) 6.03 (2/2) 6.07 (2/2)
9.05.02 (2/2) 7.01 (3) 7.03 (2) 7.03 (3) 8.02 (10.1/2) 8.03 (23.1/2) 8.05.01 (2/2) 8.05.02 (2)
8.05.03 (2) 8.05.04 (2/2) 8.05.05 (2) 9.01 (2/2) 9.01 (3/2) 9.04 (2/2) 9.04 (3/2) 9.05.02 (2/2)
11.01 (2) 12.01 (3) 12.03 (2/2) 12.04 (2/2) 12.05 (2) 12.06 (2.1/2) 12.06 (2.2/2) 12.07 (2)
13.01 (0.1/2) 13.01 (8.1/1) 13.01 (9) 13.01 (9.1/1) 13.01 (11/2) 13.01.01 (0) 13.01 (15.1/2) 13.03 (5/1)
13.03 (73.1/1) 13.13.02 (1/1) 13.14 (7.1/2) 13.14 (8/2)
AI05-0184-1/04 2010-08-11 -- Compatibility of streaming of containers
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-08-11
RM References: A.18.19 (0) A.18.20 (0) A.18.21 (0) A.18.22 (0) A.18.23 (0) A.18.24 (0) A.18.25 (0)
AI05-0185-1/06 2011-09-28 -- Wide_Character and Wide_Wide_Character classification and folding
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 10-08-11
RM References: A.03.05 (0) A.03.06 (0) A.03.01 (7/2) A.03.02 (4) A.03.02 (32)
AI05-0186-1/05 2010-02-03 -- Global-in and global-out annotations
Priority: Medium Difficulty: Medium
Class: Amendment Status: No Action (9-0-1) 10-06-19
RM References: 13.03.04 (0)
AI05-0187-1/01 2009-11-03 -- Shorthand for assignments with expressions naming target
Priority: Low Difficulty: Medium
Class: Amendment Status: No Action (8-0-2) 10-02-27
RM References: 5.02.01 (0)
AI05-0188-1/12 2011-02-19 -- Case expressions
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 10-07-26
RM References: 3.08.01 (15) 3.10.02 (9/2) 3.10.02 (32/2) 4.05.07 (0) 4.09 (12) 4.09 (33) 5.04 (2) 5.04 (4)
5.04 (6) 5.04 (7) 5.04 (8) 5.04 (9) 5.04 (11) 5.04 (12) 6.02 (10) 6.05 (5.5/2)
AI05-0189-1/05 2011-01-27 -- Restriction No_Standard_Allocators_After_Elaboration
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 10-11-22
RM References: D.07 (19.1/2) H.04 (23.3/2) C.07.01 (3/1) C.07.01 (4) C.07.01 (8) C.07.01 (10)
AI05-0190-1/14 2011-10-10 -- Global storage pool controls
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-06-03
RM References: 13.11.03 (2) 13.11.03 (3) 13.11.03 (4) 13.11.03 (5) 13.11.03 (6) 13.11.03 (8) 7.06.01 (11/2) H.04 (8/1)
AI05-0191-1/06 2011-01-07 -- Aliasing predicates
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 10-11-18
RM References: 13.03 (9/1) 13.03 (73)
AI05-0192-1/02 2011-03-11 -- Behavior of 'Input for types with constrained first subtypes
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 13.01 (15.2/2) 13.13.02 (8.1/2) 13.13.02 (25/2) 13.13.02 (50/2)
AI05-0193-1/03 2010-06-06 -- Alignment of allocators
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 09-11-30
RM References: 13.11 (16) 13.11 (21) 13.11.01 (0) 13.11.01 (1) 13.11.01 (2) 13.11.01 (3)
AI05-0194-1/03 2011-03-11 -- The default value of S'Stream_Size
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 13.13.02 (1.2/2)
AI05-0195-1/01 2010-02-01 -- Uninitialized scalars
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: No Action (6-0-2) 10-06-20
RM References: 13.09.01 (10)
AI05-0196-1/02 2010-02-04 -- Null exclusion checks for 'out' parameters
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-04-02
RM References: 6.04.01 (13)
AI05-0197-1/02 2011-05-02 -- Dispatching when there are multiple inherited operations
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-05-02
RM References: 3.09.02 (20.1/2) 3.09.02 (20.2/2)
AI05-0198-1/02 2011-03-11 -- Inheriting abstract operators for untagged types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 3.09.03 (4/3)
AI05-0199-1/02 2010-11-22 -- Record aggregates with components of anonymous access types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-11-22
RM References: 4.03.01 (16)
AI05-0200-1/03 2011-03-17 -- Mismatches in formal package declarations
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 11-03-24
RM References: 12.07 (4.1/2)
AI05-0201-1/02 2011-03-11 -- Independence and components of atomic objects
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 9.10 (1/3) C.06 (22/2) C.06 (23/2)
AI05-0202-1/03 2011-02-19 -- Task_Termination and Exceptions raised during finalization
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-10
RM References: C.07.03 (8/2)
AI05-0203-1/03 2010-06-06 -- A return_subtype_indication cannot denote an abstract subtype
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-04-02
RM References: 3.09.03 (8/3)
AI05-0204-1/01 2010-02-15 -- String packages should be Remote_Types
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (8-0-2) 10-02-26
RM References: A.04.04 (3) A.04.05 (3) A.04.05 (7) A.04.05 (75)
AI05-0205-1/03 2010-06-03 -- An extended return statement declares a name usable inside the statement
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-04-02
RM References: 8.03 (17)
AI05-0206-1/05 2011-05-02 -- Remote_Types and Remote_Call_Interface packages should be able to depend on Pree
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-05-02
RM References: A (5/3) E.02 (5) E.02 (9) E.02 (10) E.02.02 (6) E.02.03 (8)
AI05-0207-1/03 2010-06-03 -- Access constant is considered for mode conformance
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-04-02
RM References: 6.03.01 (16/2)
AI05-0208-1/05 2010-06-03 -- Characteristics of incomplete views
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 10-04-02
RM References: 3.10.01 (2.4/2) 3.10.01 (2.6/2)
AI05-0209-1/02 2010-10-12 -- Universal operators of fixed point types with parameters of incomplete types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-08-10
RM References: 4.05.05 (19.2/3)
AI05-0210-1/03 2010-10-12 -- Correct Timing_Events metric
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-08-10
RM References: D.15 (24/2)
AI05-0211-1/02 2010-08-12 -- No_Relative_Delay should not allow relative timing events
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-08-12
RM References: D.07 (5) D.07 (10/2) D.07 (10.4/2) D.07 (10.7/2)
AI05-0212-1/14 2011-10-12 -- Accessors and Iterators for Ada.Containers
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 11-06-18
RM References: 7.06 (4/1) A.18.02 (6/2) A.18.02 (8/2) A.18.02 (11/2) A.18.02 (34/2) A.18.02 (72/2) A.18.02 (74/2) A.18.02 (97/2)
A.18.02 (147/2) A.18.02 (225/2) A.18.02 (226/2) A.18.02 (230/2) A.18.02 (240/2) A.18.02 (252/2) A.18.03 (5/2) A.18.03 (6/2)
A.18.03 (9/2) A.18.03 (17/2) A.18.03 (44/2) A.18.03 (46/2) A.18.03 (69/2) A.18.03 (86/2) A.18.03 (139/2) A.18.03 (140/2)
A.18.03 (144/2) A.18.03 (157/2) A.18.04 (18/2) A.18.04 (41/2) A.18.04 (72/2) A.18.04 (73/2) A.18.04 (80/2) A.18.05 (2/2)
A.18.05 (3/2) A.18.05 (6/2) A.18.05 (17/2) A.18.05 (33/2) A.18.05 (37/2) A.18.05 (61/2) A.18.06 (2/2) A.18.06 (4/2)
A.18.06 (7/2) A.18.06 (16/2) A.18.06 (43/2) A.18.06 (51/2) A.18.06 (94/2) A.18.07 (19/2) A.18.07 (36/2) A.18.07 (83/2)
A.18.07 (84/2) A.18.07 (96/2) A.18.07 (101/2) A.18.08 (2/2) A.18.08 (3/2) A.18.08 (6/2) A.18.08 (17/2) A.18.08 (45/2)
A.18.08 (49/2) A.18.08 (58/2) A.18.08 (85/2) A.18.09 (2/2) A.18.09 (4/2) A.18.09 (7/2) A.18.09 (16/2) A.18.09 (53/2)
A.18.09 (61/2) A.18.09 (73/2) A.18.09 (113/2) A.18.10 (0) A.18.18 (0) A.18.32 (0)
AI05-0213-1/03 2011-05-14 -- Formal incomplete types
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 11-05-11
RM References: 3.10.01 (8/2) 12.05 (2) 12.05.01 (1/2) 12.05.01 (6) 12.05.01 (11) 12.05.01 (18) 13.14 (5)
AI05-0214-1/05 2011-03-11 -- Default discriminants for limited tagged types
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 11-03-11
RM References: 3.07 (9.1/2) 3.07.02 (3)
AI05-0215-1/09 2011-05-11 -- Pragma Implemented should be an aspect, renamed, and better defined
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-05-11
RM References: 9.05 (9) 9.05.04 (3) 9.05.04 (5) E.02.02 (14)
AI05-0216-1/03 2010-10-07 -- No_Task_Hierarchy is still wrong
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-08-10
RM References: D.07 (3/3)
AI05-0217-1/03 2010-10-07 -- Record extensions and "immutably limited"
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-08-12
RM References: 7.05 (8.2/3)
AI05-0218-1/02 2011-03-03 -- Generics and volatility
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 11-03-24
RM References: C.06 (12)
AI05-0219-1/02 2010-08-12 -- Pure permissions and limited parameters
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-08-12
RM References: 10.02.01 (18/2)
AI05-0220-1/02 2011-03-11 -- Definition of "needed component"
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 4.03.01 (17)
AI05-0221-1/02 2011-03-11 -- Correction to "preelaborable initialization"
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 10.02.01 (11.4/3)
AI05-0222-1/02 2010-11-18 -- A completion of a primitive subprogram can occur after freezing
Priority: Low Difficulty: Easy
Class: Ramification Status: ARG Approved 9-0-1 10-10-30
RM References: 3.09.02 (13) 13.14 (16)
AI05-0223-1/02 2010-11-18 -- Wide_Maps needs finalization
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-11-18
RM References: A.04.07 (28) A.04.08 (28/2)
AI05-0224-1/02 2011-01-28 -- No_Task_Allocators and classwide returns
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: D.07 (7) D.07 (10.3/2)
AI05-0225-1/05 2011-03-10 -- Call using constant protected objects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-10
RM References: 9.05 (2) 9.05 (7.1/2)
AI05-0226-1/01 2010-06-29 -- Extended digits extended
Priority: Low Difficulty: Easy
Class: Amendment Status: No Action (7-1-1) 10-10-29
RM References: 2.04.02 (5) 2.04.02 (6) 2.04.02 (8)
AI05-0227-1/05 2011-05-05 -- Identifier equivalence
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 1.01.04 (14.2/2) 2.03 (5/2) 2.03 (5.3/2) 3.05.01 (5)
AI05-0228-1/05 2011-05-05 -- Default initial values for scalar and array types
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 11-03-11
RM References: 3.03.01 (11) 3.03.01 (13) 3.03.01 (21) 3.05 (56/2) 3.06 (22/2) 6.04.01 (13) 13.13.02 (35/2)
AI05-0229-1/14 2011-10-14 -- Specifiable aspects
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 11-06-06
RM References: 1.01.03 (17) 2.09 (18) 2.08 (29/2) 3.06.02 (11) 3.07 (37/2) 3.09 (18.2/2) 3.11 (11) 3.11.01 (6)
3.11.01 (9) 4.08 (15) 6.01 (20/2) 6.03.01 (3) 6.03.01 (14) 6.03.02 (2) 6.03.02 (3) 6.03.02 (4)
6.03.02 (5) 6.03.02 (6) 6.03.02 (6.1/2) 6.03.02 (7) 6.05.01 (1/2) 6.05.01 (2/2) 6.05.01 (3/2) 6.05.01 (4/2)
6.05.01 (8/2) 6.05.01 (10/2) 7.04 (2) 7.04 (8) 7.04 (14) 9.10 (1) 9.10 (15) 10.01.04 (7/2)
10.02.01 (25) 10.02.01 (26) 11.04.01 (4/2) 11.05 (7.2/2) 11.06 (6) 13.01 (28/2) 13.01.01 (0) 13.02 (1)
13.02 (2) 13.02 (3) 13.02 (4) 13.02 (5) 13.02 (7) 13.03 (20) 13.03 (38) 13.03 (58)
13.03 (60) 13.03 (61) 13.03 (62) 13.03 (63) 13.03 (64) 13.03 (65) 13.03 (66) 13.03 (73)
13.06 (1) 13.07 (14) 13.07.01 (7) 13.07.01 (8) 13.07.01 (10) 13.07.01 (11) 13.07.02 (3) 13.07.02 (4)
13.08 (13) 13.09 (3) 13.11.02 (3) 13.11.03 (1) 13.11.03 (2) 13.11.03 (3) 13.11.03 (4) 13.11.03 (5)
13.11.03 (6) 13.11.03 (7) 13.11.03 (8) 13.12.01 (4/2) A.01 (37) A.01 (42) A.01 (42.1/2) B.01 (1)
B.01 (2) B.01 (4) B.01 (5) B.01 (6) B.01 (7) B.01 (9.1/1) B.01 (10) B.01 (11)
B.01 (14) B.01 (21) B.01 (22) B.01 (23) B.01 (25) B.01 (26) B.01 (27) B.01 (28)
B.01 (29) B.01 (30) B.01 (31) B.01 (31)
AI05-0230-1/02 2010-11-16 -- Inheritance of null procedures with preconditions
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 10-11-16
RM References: 6.01.01 (9/3)
AI05-0231-1/02 2010-11-19 -- Issues in Ada.Directories
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 10-11-19
RM References: A.16 (59/2) A.16 (67/2) A.16 (125/2)
AI05-0232-1/02 2011-01-27 -- Hole in AI05-0067-1
Priority: Low Difficulty: Easy
Class: Ramification Status: ARG Approved 6-0-2 11-02-20
RM References: 7.06 (17.1/3)
AI05-0233-1/01 2010-11-22 -- Questions on Locales
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 10-11-22
RM References: A.19 (8/3)
AI05-0234-1/08 2011-09-27 -- Hole in AI05-0051-1
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Revision 2012 11-06-03
RM References: 3.10.02 (10/2) 3.10.02 (12.1/2) 3.10.02 (14.4/2) 3.10.02 (19/2) 4.08 (10.1/2) 6.04.01 (6) 6.04.01 (15) 6.05 (21/2)
AI05-0235-1/04 2011-03-04 -- Accessibility of explicitly aliased parameters
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-03-04
RM References: 3.10.02 (7/2) 3.10.02 (19.2/3)
AI05-0236-1/02 2011-03-16 -- Additional Problem with preelaborated generics
Priority: Medium Difficulty: Easy
Class: Confirmation Status: ARG Approved 8-0-0 11-03-17
RM References: 10.02.01 (10/2) 10.02.01 (10.1/2) 10.02.01 (11.1/2) 10.02.01 (11.2/2) 10.02.01 (11.4/2) 10.02.01 (11.8/2)
AI05-0237-1/02 2011-03-11 -- Ancestor types for synchronized formal types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 12.05.01 (5.1/2)
AI05-0238-1/02 2011-03-11 -- Split behavior at the limit
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-11
RM References: 9.06.01 (70/2)
AI05-0239-1/01 2011-02-04 -- Hyphens in mode conformant
Priority: Low Difficulty: Easy
Class: Presentation Status: ARG Approved 7-0-1 11-02-19
RM References: 3.10.02 (32/2) 4.06 (24.20/2) 6.03.01 (17) 8.05.04 (4) 8.05.04 (5/1) 8.06 (25.2/2) 12.05.04 (5) 12.06 (7)
12.06 (8)
AI05-0240-1/02 2011-03-02 -- Rewordings from First Editorial Review
Priority: Medium Difficulty: Easy
Class: Presentation Status: Revision 2012 11-02-04
RM References: 3.04 (18/3) 3.10.01 (8/3) 3.10.02 (13.1/2) 5.04 (6) 6.02 (11) 6.02 (12)
AI05-0241-1/05 2012-04-20 -- Aspect-related restrictions
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-03-11
RM References: 13.12.01 (1/2) 13.12.01 (5/2) 13.12.01 (6/2) 13.12.01 (7/2) 13.12.01 (8/2)
AI05-0242-1/02 2011-03-11 -- No_Implementation_Units restriction
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-03-11
RM References: 13.12.01 (3/2)
AI05-0243-1/08 2011-10-27 -- Clarification of categorizations
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 11-06-02
RM References: 10.02.01 (11/3) 10.02.01 (17/3) A.03 (1/2) E.02 (2) E.02 (3) E.02 (4/1) E.02 (5) E.02 (6)
E.02 (7) E.02 (8) E.02 (9) E.02 (10) E.02 (11) E.02.01 (4) E.02.01 (6) E.02.02 (4)
E.02.02 (6) E.02.03 (7/1) E.02.03 (8) E.02.03 (20)
AI05-0244-1/02 2011-03-09 -- Ancestor parts that are qualified or parenthesized
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-03-09
RM References: 4.03.02 (5.1/3)
AI05-0245-1/07 2012-01-21 -- Introduction update for Ada 2012
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-03-10
RM References:
AI05-0246-1/05 2011-06-09 -- Restriction No_Implementation_Identifiers and Profile No_Implementation_Extensio
Priority: Medium Difficulty: Easy
Class: Amendment Status: Revision 2012 11-05-02
RM References: 13.12 (1) 13.12 (9.2/1) 13.12.01 (2/2) 13.12.01 (8/2) D.13 (1/2) D.13 (2/2) D.13 (3/2) D.13 (4/2)
D.13 (5/2) D.13 (6/2)
AI05-0247-1/11 2011-06-09 -- Preconditions, Postconditions, multiple inheritance, and dispatching calls
Priority: High Difficulty: Hard
Class: Amendment Status: Revision 2012 11-06-09
RM References: 6.01.01 (0) 7.03.02 (0)
AI05-0248-1/05 2011-05-18 -- More Rewordings from the First Editorial Review
Priority: Medium Difficulty: Easy
Class: Presentation Status: Revision 2012 11-03-31
RM References: 4.06 (24.17/2) 4.06 (48) 11.04.01 (10.1/2) A.01 (35) A.04.10 (0) A.16 (20) A.16 (82/2) A.16.01 (0)
A.17 (8/2) A.17 (22/2) A.18.02 (147/2) A.18.02 (149/2) A.18.02 (239/2) A.18.03 (86/2) A.18.03 (88/2) A.18.03 (152/2)
A.18.04 (41/2) A.18.04 (43/2) A.18.04 (75/2) A.18.05 (53/2) A.18.07 (36/2) A.18.07 (38/2) A.18.07 (96/2) A.18.08 (75/2)
A.18.10 (0) A.18.18 (0) A.18.19 (0) A.18.20 (0) A.18.21 (0) A.18.22 (0) A.18.23 (0) A.18.24 (0)
A.18.25 (0) A.18.26 (9/2) A.18.26 (11/2) A.18.30 (0) A.19 (0) B.03 (62) D.01 (29) F.03.02 (73)
AI05-0249-1/01 2011-06-12 -- AI05-0130-1 should be a pathology
Priority: Low Difficulty: Easy
Class: Pathology Status: ARG Approved 7-1-4 11-06-26
RM References: 7.06 (12/2)
AI05-0250-1/03 2011-09-27 -- Thoughts on type invariants
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-07-27
RM References: 7.03.02 (0) 3.09.02 (20.2/2)
AI05-0251-1/02 2011-07-20 -- Problems with queue containers
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 11-07-20
RM References: A.18.27 (0) A.18.30 (0) A.18.31 (0)
AI05-0252-1/02 2011-07-24 -- Questions on subpools
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 11-07-24
RM References: 13.11.04 (0)
AI05-0253-1/02 2011-07-28 -- Accessibility of allocators for anonymous access of an object
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 11-07-28
RM References: 3.10.02 (14/3)
AI05-0254-1/03 2011-07-24 -- Do we REALLY have contracts right?
Priority: High Difficulty: Hard
Class: Amendment Status: Revision 2012 11-07-22
RM References: 6.01.01 (0) 3.09.02 (20.2/2)
AI05-0255-1/02 2011-07-20 -- Missing text about user-defined iterators and quantified expressions
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-07-20
RM References: 3.01 (6/2) 3.03.01 (23) 8.01 (4)
AI05-0256-1/03 2011-11-08 -- RCI units should not allow types with user-defined stream attributes
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Deleted 11-11-08
RM References: E.02.03 (11/1) E.02.03 (17)
AI05-0257-1/02 2011-07-28 -- Insert returning a Position
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-07-28
RM References: A.18.03 (92/2) A.18.03 (94/2) A.18.10 (0)
AI05-0258-1/02 2011-07-28 -- Preserving information in an exception occurrence
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-07-28
RM References: 11 (2/3) 11.04.01 (10.1/3)
AI05-0259-1/02 2011-07-28 -- Default convention of anonymous access-to-subprogram parameters
Priority: Low Difficulty: Easy
Class: Confirmation Status: ARG Approved 12-0-0 11-06-25
RM References: 6.03.01 (13.1/2)
AI05-0260-1/02 2011-07-28 -- Pedantic question on the wording of the definition of modulo
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-07-28
RM References: 4.05.05 (8)
AI05-0261-1/02 2011-11-08 -- Default storage pool for storage pools
Priority: Low Difficulty: Medium
Class: Amendment Status: Deleted 11-11-08
RM References: 3.10.02 (13.2/3)
AI05-0262-1/05 2011-12-15 -- Rewordings from the Second Editorial Review
Priority: Medium Difficulty: Easy
Class: Presentation Status: Revision 2012 11-07-27
RM References: 1.01.02 (23) 1.01.04 (14.1/2) 2.01 (4/2) 2.01 (13/2) 2.01 (14/2) 2.02 (2/2) 2.02 (5/2) 3.01 (1)
3.02.04 (0) 3.03 (19) 3.05 (30/2) 3.05.02 (2/3) 3.05.02 (3/2) 3.05.02 (3.1/2) 3.05.02 (3.2/2) 3.08.01 (10)
3.08.01 (11) 3.08.01 (15) 3.09 (25.1/2) 3.10.02 (16.1/2) 4.03.03 (18) 4.05.02 (2) 4.05.02 (9.7/2) 4.05.02 (39)
4.05.07 (0) 4.09 (33) 4.09 (34) 5.04 (7) 5.05 (9) 6.01.01 (0) 6.02 (3) 6.03.01 (16/2)
6.03.01 (18) 6.04.01 (6) 6.06 (3) 6.08 (0) 7.04 (6) 7.05 (2.1/2) 7.06.01 (13.1/2) 7.06.01 (20)
9.10 (7) 10.01.01 (12.2/2) 10.01.01 (12.3/2) 10.01.02 (21/2) 10.01.02 (22/2) 13.11 (21) 13.11.02 (16) 13.11.03 (4)
A.04.05 (82.1/2) A.04.11 (0) A.13 (14) A.16 (104/2) A.16 (110/2) A.16 (112/2) A.18.01 (7/2) A.18.02 (88/2)
A.18.02 (147/2) A.18.02 (230/2) A.18.02 (231/2) A.18.02 (251/2) A.18.02 (254/2) A.18.03 (60/2) A.18.03 (88/2) A.18.03 (102/2)
A.18.03 (144/2) A.18.03 (145/2) A.18.03 (156/2) A.18.03 (159/2) A.18.04 (19/2) A.18.04 (43/2) A.18.04 (79/2) A.18.04 (82/2)
A.18.06 (46/2) A.18.06 (58/2) A.18.06 (74/2) A.18.06 (94/2) A.18.07 (18/2) A.18.07 (38/2) A.18.07 (100/2) A.18.07 (103/2)
A.18.09 (61/2) A.18.09 (81/2) A.18.09 (93/2) A.18.09 (113/2) A.18.10 (0) A.18.18 (0) A.18.26 (5/2) A.18.26 (9/2)
A.18.27 (0) A.18.30 (0) B (1) B.02 (10.1/2) B.03 (2/2) C.07.01 (14) D.02.02 (3.5/2) D.02.02 (6.2/2)
D.07 (19.1/2) H.04 (8/1)
AI05-0263-1/01 2011-07-28 -- No_Dependence should sometimes be excluded from applying to the run-time
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-07-28
RM References: H.04 (24)
AI05-0264-1/02 2011-08-14 -- Add missing commas and other editorial changes in the standard
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2012 11-08-10
RM References: 3.03 (23) 4.05.02 (28) 4.05.07 (0) 6.07 (3/2) 6.08 (0) 13.03 (73) 13.13.02 (9/2) 13.13.02 (56/2)
A.10.07 (8/1) A.16 (82/2) A.18.02 (115/2) A.18.10 (0) A.18.19 (0) A.18.20 (0) A.18.21 (0) A.18.22 (0)
A.18.23 (0) A.18.24 (0) A.18.25 (0) A.18.27 (0) D.02.04 (2/2) D.14.03 (0) D.15 (15/2) D.16 (0)
AI05-0265-1/02 2011-12-16 -- The location of tampering checks should be specified
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-10-27
RM References: A.18.02 (97/2) A.18.02 (137/2) A.18.02 (139/2) A.18.02 (141/2) A.18.02 (145/2) A.18.02 (147/2) A.18.02 (228/2) A.18.02 (230/2)
A.18.03 (69/2) A.18.03 (83/2) A.18.03 (85/2) A.18.03 (86/2) A.18.03 (142/2) A.18.03 (144/2) A.18.04 (15/2) A.18.04 (38/2)
A.18.04 (40/2) A.18.04 (41/2) A.18.04 (75/2) A.18.05 (61/2) A.18.06 (94/2) A.18.07 (14/2) A.18.07 (36/2) A.18.07 (86/2)
A.18.07 (95/2) A.18.07 (96/2) A.18.08 (85/2) A.18.09 (113/2) A.18.10 (0) A.18.18 (0) A.18.19 (0) A.18.20 (0)
A.18.21 (0) A.18.22 (0) A.18.23 (0) A.18.24 (0) A.18.25 (0)
AI05-0266-1/02 2011-12-19 -- Use the latest version of ISO/IEC 10646
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-12-19
RM References: 1.01.04 (14.2/2) 1.02 (7/2) 1.02 (8/2) 1.02 (9/2) 2.01 (1/2) 2.01 (3.1/2) 2.01 (4/2) 2.01 (4.1/2)
2.01 (15/2) 2.01 (16/2) 2.03 (5/2) 3.05.02 (2/2) A.01 (36.1/2) A.01 (36.2/2) A.03.05 (0)
AI05-0267-1/02 2011-12-21 -- Improvements for aspect specifications
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 11-12-21
RM References: 13.01.01 (0) 7.02 (2) 9.01 (6) 9.04 (7) 10.01.03 (3/2) 10.01.03 (4) 10.01.03 (5) 10.01.03 (6)
AI05-0268-1/02 2011-12-16 -- Examples in new sections of the Standard
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-11-11
RM References: 4.01.05 (0/3) 4.01.06 (0/3) 5.05.02 (0/3)
AI05-0269-1/11 2012-03-27 -- Editorial comments on Draft 14
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 12-01-12
RM References: 3.02.04 (0) 3.05 (56/2) 3.10.01 (13) 4.01.05 (0) 4.01.06 (0) 4.05.02 (2) 4.05.02 (27) 4.05.02 (28)
4.05.02 (30.2/2) 4.05.07 (0) 4.08 (3/1) 4.09 (11) 4.09 (33) 5.05.02 (0) 6.01.01 (0) 7.03 (15)
7.03.01 (5/1) 7.03.02 (0) 7.04 (2) 7.06 (17/2) 7.06.01 (13/2) 9.06.01 (42/2) 13.03 (65) 13.11 (21)
13.11.03 (5) 13.11.04 (0) 13.12 (7/2) 13.13.02 (26) A.03.05 (0) A.04.11 (0) A.16.01 (0) A.17 (19/2)
A.18.02 (147/2) A.18.02 (230/2) A.18.03 (86/2) A.18.03 (144/2) A.18.04 (41/2) A.18.05 (61/2) A.18.06 (94/2) A.18.07 (36/2)
A.18.07 (96/2) A.18.08 (85/2) A.18.09 (113/2) A.18.10 (0) A.18.18 (0) A.18.21 (0) A.18.22 (0) A.18.23 (0)
A.18.24 (0) B.01 (1) B.01 (40) B.01 (51) B.03 (23) B.03.03 (1/2) D.02.04 (11/2) D.10 (10)
D.14 (11/2) D.16.01 (0) E.02 (5) E.02 (6) E.02.02 (14/2)
AI05-0270-1/01 2011-11-11 -- Accessibility of null
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-11-11
RM References: 3.10.02 (13/2)
AI05-0271-1/01 2011-12-15 -- Failure behavior of Directories.Create_Path
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-11-11
RM References: A.16 (61/2) A.16 (69/2)
AI05-0272-1/02 2011-12-20 -- Pragma and Attribute restrictions
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-11-13
RM References: 13.12.01 (6/2) 13.12.01 (7/2) 2.08 (10) H.04 (24)
AI05-0273-1/03 2012-02-06 -- Problems with the Old attribute
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-11-12
RM References: 6.01.01 (0)
AI05-0274-1/08 2012-03-28 -- Side-effects during assertion evaluation
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 11-11-12
RM References: 6.01.01 (0) 11.04.02 (1/2) 11.04.02 (23/2) 11.04.02 (25/2)
AI05-0275-1/03 2012-02-25 -- More issues with the definition of volatile
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-12-27
RM References: C.06 (16)
AI05-0276-1/01 2011-11-12 -- Violation of predicate legality rules in generic units
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 11-11-12
RM References: 3.02.04 (0)
AI05-0277-1/02 2012-11-07 -- Aliased views of extended return objects
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-11-12
RM References: 3.01 (6/2) 3.10 (9/2) 6.05 (2.1/2) 6.05 (5.6/2) 8.03 (17)
AI05-0278-1/01 2011-11-12 -- Set_CPU called during a protected action
Priority: Low Difficulty: Medium
Class: Amendment Status: Revision 2012 11-11-12
RM References: D.16.01 (0)
AI05-0279-1/01 2011-11-13 -- Renaming an invalid Unchecked_Conversion result
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 11-11-13
RM References: 13.09.01 (12/2)
AI05-0280-1/01 2011-11-12 -- Behavior of Random.Reset with default initialized State
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-11-11
RM References: A.05.02 (29)
AI05-0281-1/01 2011-11-12 -- Accessibility of access discriminants of a subtype
Priority: Low Difficulty: Hard
Class: Ramification Status: ARG Approved 5-0-4 11-11-12
RM References: 3.10.02 (12/2) 3.10.02 (12.1/2) 3.10.02 (12.5/3)
AI05-0282-1/03 2011-12-30 -- Bad ancestor constraints for extension aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 11-12-30
RM References: 4.03.02 (8)
AI05-0283-1/03 2012-03-09 -- Stream_IO should be preelaborated
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 12-03-09
RM References: A.12.01 (3)
AI05-0284-1/02 2012-03-09 -- Accessibility of anonymous access returns
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Revision 2012 12-03-09
RM References: 3.10.02 (10/2)
AI05-0285-1/03 2012-03-09 -- Defaulted environment variable queries
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 12-01-27
RM References: A.17 (4/2) A.17 (11/2)
AI05-0286-1/04 2012-03-12 -- Internationalization of Ada
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 12-02-10
RM References: 2.01 (16/2) 2.01 (18) A.03.05 (0) A.04.07 (1/2) A.04.07 (1/2) A.04.07 (29/2) A.04.08 (1/2) A.04.08 (29/2)
A.04.10 (0)
AI05-0287-1/02 2012-03-13 -- Some questions on subtype predicates
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 12-02-13
RM References: 3.02.04 (0) 8.06 (17/2)
AI05-0288-1/02 2012-03-09 -- Conformance of formal access-to-subprogram types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 12-02-13
RM References: 12.05.04 (5)
AI05-0289-1/02 2012-03-14 -- Invariants and in-mode parameters whose value is changed
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 12-02-13
RM References: 7.03.02 (0)
AI05-0290-1/07 2012-03-19 -- Improved control over assertions
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 12-02-14
RM References: 2.08 (3) 2.08 (4) 3.02.04 (0) 3.08.01 (21) 4.06 (51/2) 4.06 (57) 4.09.01 (4) 6.01.01 (0)
7.03.02 (0) 11.04.02 (6/2) 11.04.02 (7/2) 11.04.02 (9/2) 11.04.02 (10/2) 11.04.02 (16/2) 11.04.02 (17/2) 11.04.02 (18/2)
11.05 (7.2/2) 11.05 (25)
AI05-0291-1/03 2012-03-15 -- Target object needs to include synchronized interfaces
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Revision 2012 12-02-15
RM References: 9.04 (11.9/2) 9.05 (2) 9.05 (3) 9.05 (4) 9.05 (5) 9.05 (6) 9.05 (7.1/2) 9.07.02 (3.3/2)
AI05-0292-1/02 2012-03-15 -- Terminology: "Indexable type" is confusing
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 12-02-15
RM References: 4.01.06 (0) 5.05.01 (0) 5.05.02 (0)
AI05-0293-1/02 2012-03-09 -- Remove unnecessary hyphens
Priority: Low Difficulty: Easy
Class: Presentation Status: ARG Approved 10-0-0 12-02-24
RM References: 1.01.03 (1/2)
AI05-0294-1/02 2012-03-14 -- Update the glossary
Priority: Low Difficulty: Easy
Class: Presentation Status: ARG Approved 9-0-1 12-02-25
RM References: N (1/2)
AI05-0295-1/03 2012-03-15 -- Improve presentation of aspects
Priority: Medium Difficulty: Medium
Class: Amendment Status: Revision 2012 12-02-15
RM References: 13.01 (0) 3.08 (11) 9.10 (1) 13.01 (0.1/1) 13.01 (8) 13.01 (9.1/1) 13.01 (10) 13.01 (11)
13.01 (12) 13.01 (13/1) 13.01 (13.1/2) 13.01 (15/1) 13.01 (15.1/1) 13.01 (18.2/2) 13.01 (20) 13.01 (21)
13.01 (22) 13.01 (24/2) 13.01 (25/2) 13.01 (26/2) 13.01 (27/2) 13.01 (28/2) 13.01.01 (0)
AI05-0296-1/02 2012-03-14 -- Freezing of actual subprograms which have parameters of formal incomplete types
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 12-02-15
RM References: 13.14 (10) 12.06 (8.4/2)
AI05-0297-1/03 2012-03-27 -- First_Valid and Last_Valid attributes
Priority: Low Difficulty: Easy
Class: Amendment Status: Revision 2012 12-02-26
RM References: 3.05.05 (7)
AI05-0298-1/02 2012-06-27 -- Last-minute presentation issues in the Standard
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2012 11-05-16
RM References: 13.11.04 (0) 13.11.06 (0) A.04.09 (5/2) A.04.09 (2/2) A.04.09 (7/2) A.04.09 (10/2) A.04.09 (11.2/3) A.04.09 (11.5/3)
A.04.09 (11.7/3) A.04.09 (11.10/3) A.04.10 (2/3) A.04.10 (5/3) A.04.10 (7/3) A.04.10 (10/3) A.04.10 (13/3) A.04.10 (16/3)
A.04.10 (18/3) A.04.10 (21/3) A.10.08 (26)
AI05-0299-1/01 2012-11-26 -- Last-second presentation issues in the Standard
Priority: Low Difficulty: Easy
Class: Presentation Status: Revision 2012 11-11-16
RM References: 1 (1) 1 (2/3) 1.01 (1) 1.02 (1) 1.02 (1.1/3) 1.02 (4.1/3) 1.02 (6) 1.03 (0)
3.05.01 (5/3) 4.01.05 (10/3) 4.01.05 (11/3) 6.04 (20) 6.04 (23) 6.05 (2.2/3) 8.06 (27.1/3) 13.04 (11/1)
A.32.18 (10/3) A.32.18 (14/3) A.32.18 (17/3)
|