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.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: Amendment 201Z 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.16 (0) A.18.17 (0) A.18.18 (0) A.18.19 (0) A.18.20 (0) A.18.21 (0) A.18.22 (0) A.18.23 (1/2) A.18.23 (9/2)
AI05-0002-1/04 2007-10-01 -- Unconstrained arrays and C interfacing
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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/02 2007-05-20 -- 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)
AI05-0013-1/13 2008-05-21 -- No_Nested_Finalization is difficult to enforce
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 08-11-26
RM References: 3.10.02 (15)
AI05-0015-1/04 2007-05-17 -- Constant return objects
Priority: High Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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/06 2008-04-09 -- 'Read on records with variant parts
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Binding Interpretation Status: Amendment 201Z 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/02 2010-02-15 -- Add a From parameter to Find_Token
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 06-11-03
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: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 08-11-26
RM References: 10.02.01 (11/1) 10.02.01 (17/2)
AI05-0035-1/04 2007-10-01 -- Inconsistences with pure units
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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.23 (5/2) A.18.23 (9/2)
AI05-0045-1/05 2008-04-21 -- Termination of unactivated tasks
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 08-11-26
RM References: A (3)
AI05-0049-1/02 2010-02-22 -- Extend file name processing in Ada.Directories
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 07-04-10
RM References: A.16 (82/2)
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: Amendment 201Z 08-11-26
RM References: 6.05 (24/2)
AI05-0051-1/08 2009-06-01 -- Accessibility checks for class-wide types and return from nested-extension prim
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Work Item 07-05-04
RM References: 3.10.02 (14/2) 3.10.02 (14.4/2) 3.10.02 (19/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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 08-11-26
RM References: A.18.16 (0)
AI05-0070-1/01 2007-10-24 -- Elaboration of interface types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Work Item 07-10-24
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: Work Item 08-01-18
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: Work Item 08-10-24
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: Work Item 09-02-15
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: Work Item 09-10-14
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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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.16 (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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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/08 2009-11-23 -- More presentation issues in the Standard
Priority: Low Difficulty: Easy
Class: Presentation Status: Work Item 06-03-05
RM References: 3.03.01 (20.4/2) 3.09 (25.1/2) 6.03.01 (21.1/2) 9.06 (22) 13.03 (75/1) 13.13.02 (55/2) 13.13.02 (56/2) A.11 (4/2) A.11 (5/2) A.16 (68/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) G.02.02 (11)
AI05-0093-1/03 2008-10-18 -- Additional rules that need to use "immutably limited"
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 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: Amendment 201Z 08-11-26
RM References: 13.13.02 (34/2)
AI05-0110-1/00 2008-08-08 -- Characteristics of generic formal derived type are not inherited
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Work Item 08-08-08
RM References: 12.05.01 (21/2)
AI05-0111-1/08 2010-02-23 -- Specifying a pool on an allocator
Priority: Medium Difficulty: Hard
Class: Amendment Status: Work Item 08-08-08
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)
AI05-0112-1/03 2009-05-30 -- Names for anonymous aspects of representation
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 09-02-21
RM References: 13.01 (8)
AI05-0113-1/04 2009-12-28 -- Conflicting external tags and other tag issues
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 08-10-06
RM References: 3.09 (12.1/2) 3.09 (26.1/2) 13.03 (76)
AI05-0114-1/01 2008-10-06 -- Conflicting definition of Letter
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 08-10-06
RM References: 3.09 (12.1/2) 3.09 (25.3/2) 3.09 (26.1/2) 13.03 (76)
AI05-0115-1/04 2009-06-02 -- Aggregates with components that are not visible
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 08-10-15
RM References: 4.03.01 (13) 4.03.01 (14) 4.03.02 (5/2)
AI05-0116-1/04 2009-05-30 -- The value of Alignment for a class-wide object
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Amendment 201Z 09-03-09
RM References: 13.03 (29) 13.11 (16)
AI05-0117-1/00 2008-10-16 -- Memory barriers and Volatile objects
Priority: Medium Difficulty: Hard
Class: Amendment Status: Work Item 08-10-16
RM References: C.06 (23)
AI05-0118-1/03 2009-05-30 -- The association of parameter associations
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 08-11-26
RM References: 6.04.01 (2) 12.03 (9)
AI05-0119-1/00 2008-10-17 -- Package Calendar, Daylight Savings Time, and UTC_Offset
Priority: Medium Difficulty: Hard
Class: Amendment Status: Work Item 08-10-17
RM References: 9.06 (24) 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: Amendment 201Z 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/00 2008-10-17 -- Private with and generic children
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Work Item 08-10-17
RM References: 10.01.02 (12-16/2)
AI05-0123-1/07 2009-10-12 -- Composability of equality
Priority: Low Difficulty: Hard
Class: Amendment Status: Amendment 201Z 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/01 2008-10-18 -- Where is the elaboration check suppressed?
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 08-10-18
RM References: 11.05 (7.1/2) 11.05 (20)
AI05-0125-1/01 2008-10-20 -- Nonoverridable operations of an ancestor
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 08-10-20
RM References: 7.03.01 (6) 8.03 (23) 8.03.01 (5/2) 8.03.01 (6/2)
AI05-0126-1/03 2009-05-30 -- Dispatching when there is no declared operation
Class: Binding Interpretation Status: Amendment 201Z 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: Work Item 08-10-22
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
AI05-0128-1/03 2009-05-30 -- "/=" is a primitive operation
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Amendment 201Z 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: Amendment 201Z 09-03-09
RM References: 10.01.01 (12.2/2) 10.01.01 (12.3/2)
AI05-0130-1/03 2009-06-26 -- Order of initialization/finalization of record extension components
Priority: Low Difficulty: Medium
Class: Ramification Status: WG9 Approved 09-11-05
RM References: 7.06 (12) 7.06.01 (9/2)
AI05-0131-1/01 2008-12-04 -- Class-wide operations for formal subprograms revisited
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Work Item 08-12-04
RM References: 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: Amendment 201Z 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
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 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: Work Item 09-01-31
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: Work Item 10-01-07
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/06 2010-01-15 -- Multiway tree container
Priority: Medium Difficulty: Medium
Class: Amendment Status: Amendment 201Z 10-01-15
RM References: A.18.18 (1)
AI05-0137-1/05 2009-10-12 -- String encoding package
Priority: Medium Difficulty: Easy
Class: Amendment Status: Amendment 201Z 09-06-30
RM References: A.04.11
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: Work Item 09-02-13
RM References: 5.05
Alternatives: AI05-0139-2
AI05-0139-2/04 2010-02-11 -- Syntactic sugar for accessors, containers, and iterators
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-02-13
RM References: 5.05
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: Work Item 09-02-13
RM References: 13.11
AI05-0142-1/01 2009-02-14 -- Variable function results
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-02-14
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: Work Item 09-04-04
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: Work Item 09-04-10
RM References: 3.10.02 (13.1/2)
Alternatives: AI05-0142-1 AI05-0142-2 AI05-0142-4
AI05-0142-4/05 2009-12-09 -- Explicitly aliased parameters and accessors for Ada.Containers
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-05-17
RM References: 3.10 (9/2) 3.10.02 (13.1/2) 6.01 (15/2) 6.01 (23) 6.02 (3) 6.02 (10) 6.03.01 (16/2) 6.04.01 (6) 6.04.01 (15) 7.06.01 (13/3)
Alternatives: AI05-0142-1 AI05-0142-2 AI05-0142-3
AI05-0143-1/03 2009-06-27 -- In Out parameters for functions
Priority: High Difficulty: Medium
Class: Amendment Status: Amendment 201Z 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: Work Item 09-02-15
RM References: 6.04 (09)
Alternatives: AI05-0144-2
AI05-0144-2/03 2010-02-24 -- Detecting dangerous order dependencies
Priority: High Difficulty: Hard
Class: Amendment Status: Work Item 09-06-07
RM References: 6.02 (11)
Alternatives: AI05-0144-1
AI05-0145-1/02 2009-02-16 -- Pre- and Postconditions
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-02-15
RM References: 11.05 (00) 11.04.01 (10)
Alternatives: AI05-0145-2
AI05-0145-2/05 2010-02-04 -- Pre- and Postconditions
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 10-01-14
RM References: 13.03.02 (00)
Alternatives: AI05-0145-1
AI05-0146-1/03 2009-11-02 -- Type and Package Invariants
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-02-15
RM References: 11.05 (00) 11.04.01 (10)
AI05-0147-1/09 2010-02-04 -- Conditional expressions
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-03-13
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: Amendment 201Z 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/06 2009-12-17 -- Access types conversion and membership
Priority: Medium Difficulty: Medium
Class: Amendment Status: Amendment 201Z 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/03 2010-02-04 -- Use all type clause
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-04-22
RM References: 8.04 (4) 8.04 (8/2)
AI05-0151-1/06 2010-01-11 -- Allow incomplete types as parameter and result types
Priority: High Difficulty: Hard
Class: Amendment Status: Work Item 09-12-12
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/2)
AI05-0152-1/03 2009-10-12 -- Restriction No_Anonymous_Allocators
Priority: Medium Difficulty: Medium
Class: Amendment Status: Amendment 201Z 09-06-25
RM References: H.04 (8/1)
AI05-0153-1/04 2010-02-11 -- Subtype predicates
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-05-27
RM References: 3.02.02 (2)
Alternatives: AI05-0153-2
AI05-0153-2/05 2010-02-12 -- Set constraints and extended discriminant constraints
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-10-16
RM References: 3.02.02 (7)
Alternatives: AI05-0153-1
AI05-0154-1/00 2009-06-01 -- Unconstrained 'Access on array components
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-06-01
RM References: 3.10.02 (27)
AI05-0155-1/01 2009-06-01 -- 'Size clause on type with nonstatic bounds
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 09-06-01
RM References: 13.01 (23)
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/03 2009-12-10 -- Calling Unchecked_Deallocation is illegal for zero-sized pools
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Amendment 201Z 09-12-10
RM References: 4.08 (5.3/2) 13.11.02 (4) 13.11.02 (17)
AI05-0158-1/04 2010-01-20 -- Generalizing membership tests
Priority: Low Difficulty: Medium
Class: Amendment Status: Work Item 09-06-07
RM References: 3.08.01 (5) 4.04 (3) 4.05.02 (3) 4.05.02 (5) 4.05.02 (27)
AI05-0159-1/04 2009-11-08 -- Queue containers
Priority: Medium Difficulty: Hard
Class: Amendment Status: Work Item 06-03-15
RM References: A.18.24
AI05-0160-1/02 2009-12-17 -- Additional ways to invalidate cursors
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 09-12-17
RM References: A.18.02 (251/2) A.18.02 (253/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.17 (9/3) A.18.18 (13/3) A.18.19 (14/3) A.18.20 (11/3) A.18.21 (14/3) A.18.22 (11/3)
AI05-0161-1/02 2009-07-25 -- Restrictions for default stream attributes of elementary types
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-07-08
RM References: 13.12.01 (4/2) 13.13.02 (40/2) 13.13.02 (52/2)
AI05-0162-1/02 2010-01-29 -- Allow incomplete types to be completed by partial views
Priority: Medium Difficulty: Easy
Class: Amendment Status: Work Item 09-10-15
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/01 2009-11-19 -- Pragmas in place of null
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Work Item 09-10-16
RM References: 2.08 (7)
AI05-0164-1/02 2009-11-30 -- Parameters of access-to-subprogram parameters and derivation
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Amendment 201Z 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: Work Item 09-10-21
RM References: 8.03 (12.3/2) 8.03 (26/2)
AI05-0166-1/03 2010-02-23 -- Yield for non-preemptive dispatching
Priority: Medium Difficulty: Easy
Class: Amendment Status: Work Item 09-10-22
RM References: D.02.01 (1.2/2) D.02.01 (6/2) 9.05.01 (16) D.02.04 (2/2) D.02.04 (9/2)
AI05-0167-1/02 2010-02-18 -- Managing affinities for programs executing on multiprocessor platforms
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-10-22
RM References: D.16
AI05-0168-1/03 2010-02-23 -- Extended suspension objects
Priority: Medium Difficulty: Easy
Class: Amendment Status: Work Item 09-10-22
RM References: D.10 (5) D.10 (11)
AI05-0169-1/02 2010-02-18 -- Defining group budgets for multiprocessor platforms
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 09-10-22
RM References: D.14.02 (3-4/2) D.14.02 (21/2)
AI05-0170-1/02 2010-02-18 -- Monitoring the time spent in Interrupt Handlers
Priority: Medium Difficulty: Easy
Class: Amendment Status: Work Item 09-10-22
RM References: D.14 (29/2) D.14.01 (28/2)
AI05-0171-1/03 2010-02-23 -- Ravenscar Profile for Multiprocessor Systems
Priority: Medium Difficulty: Easy
Class: Amendment Status: Work Item 09-10-22
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: Work Item 09-10-22
RM References: D.07 (14) D.13.01 (4/2)
AI05-0173-1/01 2009-10-22 -- Testing if tags represent abstract types
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 09-10-22
RM References: 3.09 (7.4/2) 3.09 (12.4/2)
AI05-0174-1/02 2010-02-24 -- Implement Task barriers in Ada
Priority: High Difficulty: Medium
Class: Amendment Status: Work Item 09-10-23
RM References: D.10.01 (00) 13.07 (10) 13.07 (30)
AI05-0175-1/02 2010-02-16 -- Cyclic fixed point types
Priority: Low Difficulty: Medium
Class: Amendment Status: Work Item 09-10-28
RM References: 3.05.09
AI05-0176-1/04 2010-02-22 -- Quantified expressions
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 09-10-28
RM References: 2.09 (2/2) 3.03 (19) 4.04 (7) 4.05.09 (0)
AI05-0177-1/01 2009-10-29 -- Renaming of expressions as functions
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 09-10-29
RM References: 13.11.01 (3/2)
AI05-0178-1/02 2009-12-11 -- Incomplete views are limited
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 09-12-11
RM References: 7.05 (3/2) 7.05 (6/2)
AI05-0179-1/03 2010-02-04 -- Labels at end of a sequence_of_statements
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 09-10-29
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/02 2009-12-12 -- Soft hyphen is a nongraphic character
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 201Z 09-12-12
RM References: 3.05.02 (2/2) A.01 (35/2)
AI05-0182-1/01 2009-10-30 -- Preciseness of S'Value
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 09-10-30
RM References: 3.05 (39.4/2)
AI05-0183-1/02 2009-12-28 -- Aspect Specifications
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-11-01
RM References: 3.09.03 (1.1/2) 6.01 (2/2) 6.07 (2/2) 9.05.02 (2/2) 13.01 (0.1/2) 13.03.01 (0)
AI05-0184-1/03 2010-02-24 -- Compatibility of streaming of containers
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-11-02
RM References: A.18.17 (0) A.18.18 (0) A.18.19 (0) A.18.20 (0) A.18.21 (0) A.18.22 (0)
AI05-0185-1/01 2009-11-02 -- Wide_Character and Wide_Wide_Character classification and folding
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-11-02
RM References: A.03.05 (0) A.03.06 (0)
AI05-0186-1/05 2010-02-03 -- Global-in and global-out annotations
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 09-11-02
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: Work Item 09-11-03
RM References: 5.02.01 (0)
AI05-0188-1/04 2010-02-24 -- Case expressions
Priority: Low Difficulty: Medium
Class: Amendment Status: Work Item 09-11-03
RM References: 4.03.03 (14) 4.04 (1) 4.05.08 (0) 4.09 (12) 4.09 (33) 7.05 (2.1/2)
AI05-0189-1/01 2009-11-03 -- Restriction No_Allocators_After_Elaboration
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 09-11-03
RM References: D.07 (19.1/2)
AI05-0190-1/03 2010-02-24 -- Global storage pool controls
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 09-11-03
RM References: D.07 (8)
AI05-0191-1/01 2009-11-03 -- Aliasing predicates
Priority: Low Difficulty: Medium
Class: Amendment Status: Work Item 09-11-03
RM References: H.08 (0)
AI05-0192-1/01 2009-11-03 -- Behavior of 'Input for types with constrained first subtypes
Priority: Low Difficulty: Easy
Class: Ramification Status: Work Item 09-11-03
RM References: 13.01 (15.2/2) 13.13.02 (36/2) 13.13.02 (50/2)
AI05-0193-1/02 2009-11-30 -- Alignment of allocators
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 201Z 09-11-30
RM References: 13.11 (16/2) 13.11 (21) 13.11.01 (0) 13.11.01 (1) 13.11.01 (2) 13.11.01 (3)
AI05-0194-1/02 2009-12-08 -- The default value of S'Stream_Size
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 09-11-03
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: Work Item 10-02-01
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: Work Item 10-02-03
RM References: 6.04.01 (13)
AI05-0197-1/01 2010-02-08 -- Dispatching when there are multiple inherited operations
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Work Item 10-02-08
RM References: 3.09.02 (20.2/2)
AI05-0198-1/01 2010-02-09 -- Inheriting abstract operators for untagged types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 10-02-09
RM References: 3.09.03 (4/3)
AI05-0199-1/01 2010-02-12 -- Record aggregates with components of anonymous access types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 10-02-12
RM References: 4.03.01 (16)
AI05-0200-1/00 2010-02-12 -- Mismatches in formal package declarations
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Work Item 10-02-12
RM References: 12.07 (16)
AI05-0201-1/01 2010-02-12 -- Independence and components of atomic objects
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Work Item 10-02-12
RM References: 9.10 (1/3) C.06 (22/2) C.06 (23/2)
AI05-0202-1/01 2010-02-12 -- Task_Termination and Exceptions raised during finalization
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Work Item 10-02-12
RM References: C.07.03 (8/2)
AI05-0203-1/01 2010-02-13 -- A return_subtype_indication cannot denote an abstract subtype
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 10-02-13
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: Work Item 10-02-15
RM References: A.04.04 (3) A.04.05 (3) A.04.05 (7) A.04.05 (75)
AI05-0205-1/01 2010-02-15 -- An extended return statement declares a name usable inside the statement
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 10-02-15
RM References: 8.03 (16) 8.03 (18/2)
AI05-0206-1/01 2010-02-15 -- Remote_Types packages should be able to depend on Preelaborated packages
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Work Item 10-02-15
RM References: E.02.02 (6)
AI05-0207-1/01 2010-02-15 -- Access constant is considered for mode conformance
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 10-02-15
RM References: 6.03.01 (16/2)
AI05-0208-1/02 2010-02-24 -- Characteristics of incomplete views
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 10-02-22
RM References: 3.10.01 (2.4/2) 3.10.01 (2.6/2)
AI05-0209-1/01 2010-02-23 -- Universal operators of fixed point types (again)
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 10-02-23
RM References: 4.05.05 (19.2/3)