CVS difference for ai12s/ai12-summary.txt

Differences between 1.28 and version 1.29
Log of other versions for file ai12s/ai12-summary.txt

--- ai12s/ai12-summary.txt	2014/07/04 03:43:18	1.28
+++ ai12s/ai12-summary.txt	2014/07/10 01:12:18	1.29
@@ -3,7 +3,7 @@
 
 AI12-0001-1/06   2013-08-27 --  Independence and Representation clauses for atomic objects
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-08
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-08
     RM References:  13.02 (6.1/2)   13.02 (7)   13.02 (8)   13.02 (9/3)   C.06 (8.1/3)   C.06 (10)   C.06 (11)   C.06 (21)   C.06 (24)  
 
 AI12-0002-1/02   2012-06-06 --  RCI units should not allow types with user-defined stream attributes
@@ -11,7 +11,7 @@
     Class: Binding Interpretation      Status: Work Item     11-06-16
     RM References:  E.02.03 (11/1)   E.02.03 (17)  
 
-AI12-0003-1/05   2015-05-25 --  Default storage pool for storage pools
+AI12-0003-1/05   2014-05-25 --  Default storage pool for storage pools
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     11-06-19
     RM References:  8.02 (11)   13.11.03 (3.1/3)   13.11.03 (4.1/3)   13.11.03 (4.2/3)   13.11.03 (6.2/3)  
@@ -108,7 +108,7 @@
 
 AI12-0022-1/05   2013-05-08 --  Raise expressions
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-17
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-17
     RM References:  4.04 (3/3)   11.02 (6)   11.03 (2/2)   11.03 (3)   11.03 (3.1/2)   11.03 (4/2)   11.04.01 (10.1/3)  
 
 AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
@@ -133,12 +133,12 @@
 
 AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-31
     RM References:  4.06 (24.17/3)   4.06 (24.21/2)   4.06 (58)   6.02 (10/3)   3.10.02 (10/3)  
 
 AI12-0028-1/03   2013-01-02 --  Import of variadic C functions
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-01-02
     RM References:  B.03 (1/3)   B.03 (60.15/3)   B.03 (75)  
 
 AI12-0029-1/02   2012-06-28 --  Relax requirement for functions to have return statements
@@ -148,57 +148,57 @@
 
 AI12-0030-1/06   2013-07-19 --  Formal derived types and stream attribute availability
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-16
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-16
     RM References:  12.05.01 (21/3)   13.13.02 (49/2)  
 
 AI12-0031-1/05   2014-05-08 --  All_Calls_Remote and indirect calls
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-17
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-17
     RM References:  E.02.03 (19/3)  
 
 AI12-0032-1/07   2013-07-17 --  Questions on 'Old
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-17
     RM References:  4.01.03 (9/3)   6.01.01 (22/3)   6.01.01 (26/3)   6.01.01 (35/3)  
 
 AI12-0033-1/08   2013-10-07 --  Sets of CPUs when defining dispatching domains
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
     RM References:  D.16.01 (7/3)   D.16.01 (9/3)   D.16.01 (20/3)   D.16.01 (23/3)   D.16.01 (24/3)   D.16.01 (26/3)  
 
 AI12-0034-1/05   2013-10-07 --  Remote stream attribute calls
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-17
     RM References:  E.04 (8)  
 
 AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-08
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-08
     RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)   A.18.18 (39/3)   A.18.18 (47/3)  
 
 AI12-0036-1/03   2014-05-08 --  The actual for an untagged formal derived type cannot be tagged
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
     RM References:  12.05.01 (5.1/3)  
 
 AI12-0037-1/03   2013-05-08 --  New types in Ada.Locales can't be converted to/from strings
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-28
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-28
     RM References:  A.19 (4/3)  
 
 AI12-0038-1/04   2014-06-23 --  Shared_Passive package restrictions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-31
     RM References:  E.02.01 (7/1)   E.02.01 (8/1)  
 
 AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
     Priority: High                 Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-17
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-17
     RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)   4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30
.3/3)   4.09 (11/3)   4.09 (32.6/3)   8.06 (27.1/3)   3.02.04 (17/3)  
 
 AI12-0040-1/03   2013-05-08 --  Resolving the selecting_expression of a case_expression
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-01-02
     RM References:  8.06 (9)  
 
 AI12-0041-1/01   2012-11-29 --  Type_Invariant'Class for interface types
@@ -208,57 +208,57 @@
 
 AI12-0042-1/09   2014-06-23 --  Type invariant checking rules
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-11
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-11
     RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)  
 
 AI12-0043-1/02   2013-01-02 --  Details of the storage pool used when Storage_Size is specified
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-01-02
     RM References:  13.11 (18)  
 
 AI12-0044-1/05   2013-10-07 --  Calling visible functions from type invariant expressions
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-06-28
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-06-28
     RM References:  7.03.02 (19/3)  
 
 AI12-0045-1/03   2013-05-08 --  Pre- and Postconditions are allowed on generic subprograms
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-27
     RM References:  6.01.01 (1/3)  
 
 AI12-0046-1/02   2012-12-27 --  Enforcing legality for anonymous access components in record aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-27
     RM References:  4.03.01 (16/3)  
 
 AI12-0047-1/06   2013-05-08 --  Generalized iterators and discriminant-dependent components
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-31
     RM References:  5.05.02 (6/3)  
 
 AI12-0048-1/03   2013-05-08 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-01-03
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-01-03
     RM References:  D.16.01 (30/3)  
 
 AI12-0049-1/03   2013-05-08 --  Invariants need to be checked on the initialization of deferred constants
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-27
     RM References:  7.03.02 (10/3)  
 
 AI12-0050-1/04   2013-07-17 --  Conformance of quantified expressions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-17
     RM References:  6.03.01 (20)   6.03.01 (21)  
 
 AI12-0051-1/03   2013-05-08 --  The Priority aspect can be specified when Attach_Handler is specified
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 2015  12-12-27
     RM References:  D.03 (10/3)  
 
 AI12-0052-1/04   2014-05-08 --  Implicit objects are considered overlapping
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-18
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-18
     RM References:  A (3/2)   A.10.03 (21)  
 
 AI12-0053-1/02   2012-12-27 --  Predicate failure raises Constraint_Error
@@ -274,7 +274,7 @@
 
 AI12-0054-2/05   2013-10-07 --  Aspect Predicate_Failure
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-05
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-05
     RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
     Alternatives:   AI12-0054-1
 
@@ -285,7 +285,7 @@
 
 AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Corrigendum 2014  13-01-14
+    Class: Presentation                Status: Corrigendum 2015  13-01-14
     RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)   A.18.26 (9.2/3)  
 
 AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
@@ -315,7 +315,7 @@
 
 AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
     Priority: Low                  Difficulty: Easy
-    Class: Ramification                Status: Corrigendum 2014  13-01-14
+    Class: Ramification                Status: Corrigendum 2015  13-01-14
     RM References:  11.03 (4/2)  
 
 AI12-0063-1/01   2013-01-31 --  No_Return functions
@@ -330,7 +330,7 @@
 
 AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Corrigendum 2014  13-12-17
+    Class: Ramification                Status: Corrigendum 2015  13-12-17
     RM References:  7.03.01 (5.2/3)  
 
 AI12-0066-1/01   2013-12-18 --  If it ain't broke...
@@ -340,7 +340,7 @@
 
 AI12-0067-1/02   2013-10-07 --  Accessibility level of explicitly aliased parameters of procedures and entries
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
     RM References:  3.10.02 (7/3)  
 
 AI12-0068-1/01   2014-06-23 --  Predicates and the current instance of a subtype
@@ -350,30 +350,30 @@
 
 AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-11
     RM References:  A.18.10 (153/3)   A.18.10 (155/3)   A.18.10 (157/3)   A.18.10 (159/3)  
 
 AI12-0070-1/03   2013-10-07 --  9.3(2) does not work for anonymous access types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
     RM References:  3.10.02 (13.1/3)   9.03 (2)  
 
 AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-13
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-13
     RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)   3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30
/3)   4.06 (51/3)   4.09.01 (10/3)   5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
 
 AI12-0072-1/05   2013-10-07 --  Missing rules for Discard_Names aspect
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-11
     RM References:  C.05 (1)   C.05 (5)   C.05 (7/2)   C.05 (8)  
 
 AI12-0073-1/02   2013-07-05 --  Synchronous Barriers are not allowed with Ravenscar
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-05
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-05
     RM References:  D.13 (6/3)  
 
-AI12-0074-1/04   2015-05-28 --  View conversions and out parameters passed by copy
+AI12-0074-1/04   2014-05-28 --  View conversions and out parameters passed by copy
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     13-07-08
     RM References:  4.06 (56)   6.04.01 (12)   6.04.01 (13.1/3)  
@@ -385,17 +385,17 @@
 
 AI12-0076-1/04   2013-10-07 --  Variable state in pure packages
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-11
     RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
 
 AI12-0077-1/02   2013-10-07 --  Has_Same_Storage on objects of size zero
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-07-15
     RM References:  13.03 (73.4/3)  
 
 AI12-0078-1/01   2013-06-14 --  Definition of node for tree container is confusing
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-06-28
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-06-28
     RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
 
 AI12-0079-1/00   2013-06-28 --  Global-in and global-out annotations
@@ -405,17 +405,17 @@
 
 AI12-0080-1/06   2014-05-16 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Corrigendum 2014  13-12-11
+    Class: Presentation                Status: Corrigendum 2015  13-12-11
     RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)  
 
 AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
     RM References:  D.01 (17/3)   D.16 (9/3)  
 
 AI12-0082-1/03   2014-05-08 --  Definition of "dispatching domain"
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-07
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-07
     RM References:  D.16.01 (16/3)   D.16.01 (22/3)   D.16.01 (25/3)   D.16.01 (27/3)   D.16.01 (29/3)  
 
 AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
@@ -425,12 +425,12 @@
 
 AI12-0084-1/01   2013-10-28 --  Box expressions in array aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
     RM References:  4.03.03 (23.1/2)  
 
 AI12-0085-1/03   2014-05-08 --  Missing aspect cases for Remote_Types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-11
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-11
     RM References:  E.02.02 (17/2)  
 
 AI12-0086-1/01   2013-10-30 --  Aggregates and variant parts
@@ -445,12 +445,12 @@
 
 AI12-0088-1/03   2013-12-06 --  UTF_Encoding.Conversions and overlong characters on input
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-06
     RM References:  A.04.11 (54/3)   A.04.11 (55/3)  
 
 AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-18
+    Class: Binding Interpretation      Status: Corrigendum 2015  13-12-18
     RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
 
 AI12-0090-1/02   2014-05-30 --  Pre- and Postconditions and requeues
@@ -470,7 +470,7 @@
 
 AI12-0093-1/04   2014-05-08 --  Iterator with indefinite cursor
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Corrigendum 2014  13-12-11
+    Class: Ramification                Status: Corrigendum 2015  13-12-11
     RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
 
 AI12-0094-1/00   2013-11-12 --  access_to_subprogram_definition should be a declarative region

Questions? Ask the ACAA Technical Agent