CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2012/12/05 04:18:26	1.12
+++ ai12s/ai12-summary.txt	2013/01/04 04:38:04	1.13
@@ -106,9 +106,9 @@
     Class: Amendment                   Status: Work Item     12-02-25
     RM References:  A.16 (0/3)  
 
-AI12-0022-1/03   2012-06-28 --  Raise expressions for specifying the exception raised for an assertion
+AI12-0022-1/04   2012-12-17 --  Raise expressions for specifying the exception raised for an assertion
     Priority: High                 Difficulty: Medium
-    Class: Amendment                   Status: ARG Approved  9-0-0  12-06-1
+    Class: Binding Interpretation      Status: Amendment 202x  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
@@ -118,12 +118,12 @@
 
 AI12-0024-1/01   2012-05-02 --  Compile-time detection of range and length errors
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     12-05-02
+    Class: Amendment                   Status: Hold          12-06-15
     RM References:  4.06 (30)  
 
 AI12-0025-1/01   2012-05-16 --  Allow 'Unchecked_Access on subprograms
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     12-05-16
+    Class: Amendment                   Status: Hold          12-06-15
     RM References:  13.10 (3)  
 
 AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
@@ -131,14 +131,14 @@
     Class: Amendment                   Status: Work Item     12-06-04
     RM References:  C.08 (0)  
 
-AI12-0027-1/03   2012-11-30 --  Access values should never designated unaliased components
+AI12-0027-1/05   2012-12-31 --  Access values should never designate unaliased components
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-06-04
-    RM References:  4.06 (8/2)   4.06 (24.8/2)  
+    Class: Binding Interpretation      Status: Amendment 202x  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/02   2012-07-15 --  Import of variadic C functions
+AI12-0028-1/03   2013-01-02 --  Import of variadic C functions
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-06-04
+    Class: Binding Interpretation      Status: Amendment 202x  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
@@ -161,10 +161,10 @@
     Class: Ramification                Status: Work Item     12-06-06
     RM References:  6.01.01 (26/3)   6.01.01 (27/3)  
 
-AI12-0033-1/02   2012-11-28 --  Sets of CPUs when defining dispatching domains
+AI12-0033-1/03   2013-01-03 --  Sets of CPUs when defining dispatching domains
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-06-06
-    RM References:  D.16.01 (7/3)  
+    RM References:  D.16.01 (9/3)   D.16.01 (23/3)   D.16.01 (24/3)  
 
 AI12-0034-1/02   2012-06-28 --  Remote stream attribute calls
     Priority: Low                  Difficulty: Medium
@@ -181,24 +181,24 @@
     Class: Binding Interpretation      Status: Work Item     12-11-29
     RM References:  12.05.01 (5.1/3)  
 
-AI12-0037-1/01   2012-11-29 --  New types in Ada.Locales can't be converted to/from strings
+AI12-0037-1/02   2012-12-28 --  New types in Ada.Locales can't be converted to/from strings
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     12-11-29
+    Class: Binding Interpretation      Status: Amendment 202x  12-12-28
     RM References:  A.19 (4/3)  
 
-AI12-0038-1/01   2012-11-28 --  Shared_Passive package restrictions
+AI12-0038-1/02   2012-12-31 --  Shared_Passive package restrictions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-11-28
-    RM References:  E.02.03 (7/1)  
+    Class: Binding Interpretation      Status: Amendment 202x  12-12-31
+    RM References:  E.02.01 (7/1)  
 
-AI12-0039-1/01   2012-11-29 --  Syntax for membership expressions is ambiguous
+AI12-0039-1/02   2012-12-27 --  Syntax for membership expressions is ambiguous
     Priority: High                 Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     12-11-29
-    RM References:  4.04 (3/3)   4.04 (3.2/3)  
+    Class: Binding Interpretation      Status: Amendment 202x  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/01   2012-11-29 --  Resolving the selecting_expression of a case_expression
+AI12-0040-1/02   2013-01-02 --  Resolving the selecting_expression of a case_expression
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     12-11-29
+    Class: Binding Interpretation      Status: Amendment 202x  13-01-02
     RM References:  8.06 (9)  
 
 AI12-0041-1/01   2012-11-29 --  Type_Invariant'Class for interface types
@@ -211,9 +211,9 @@
     Class: Binding Interpretation      Status: Work Item     12-11-29
     RM References:  7.03.02 (6/3)  
 
-AI12-0043-1/01   2012-11-29 --  Details of the storage pool used when Storage_Size is specified
+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: Work Item     12-11-29
+    Class: Binding Interpretation      Status: Amendment 202x  13-01-02
     RM References:  13.11 (18)  
 
 AI12-0044-1/01   2012-12-01 --  Calling visible functions from type invariant expressions
@@ -221,29 +221,29 @@
     Class: Binding Interpretation      Status: Work Item     12-12-01
     RM References:  7.03.02 (19/3)  
 
-AI12-0045-1/01   2012-12-01 --  Pre- and Postconditions are allowed on generic subprograms
+AI12-0045-1/02   2012-12-27 --  Pre- and Postconditions are allowed on generic subprograms
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-12-01
+    Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  6.01.01 (1/3)  
 
-AI12-0046-1/01   2012-12-01 --  Enforcing legality for anonymous access components in record aggregates
+AI12-0046-1/02   2012-12-27 --  Enforcing legality for anonymous access components in record aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     12-12-01
+    Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  4.03.01 (16/3)  
 
-AI12-0047-1/01   2012-12-01 --  Generalized iterators and finalization of the associated object
+AI12-0047-1/03   2012-12-31 --  Generalized iterators and finalization of the associated object
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-12-01
-    RM References:  4.06 (8/2)   4.06 (24.8/2)  
+    Class: Binding Interpretation      Status: Amendment 202x  12-12-31
+    RM References:  5.05.02 (6/3)   7.06.01 (3/2)  
 
-AI12-0048-1/01   2012-12-03 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
+AI12-0048-1/02   2013-01-03 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-11-29
+    Class: Binding Interpretation      Status: Amendment 202x  13-01-03
     RM References:  D.16.01 (30/3)  
 
-AI12-0049-1/01   2012-12-03 --  Invariants need to be checked on the initialization of deferred constants
+AI12-0049-1/02   2012-12-27 --  Invariants need to be checked on the initialization of deferred constants
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     12-12-03
+    Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  7.03.02 (10/3)  
 
 AI12-0050-1/01   2012-12-04 --  Conformance of quantified expressions
@@ -251,13 +251,28 @@
     Class: Binding Interpretation      Status: Work Item     12-12-04
     RM References:  6.03.01 (21)  
 
-AI12-0051-1/01   2012-12-04 --  The Priority aspect can be specified with Attach_Handler
+AI12-0051-1/02   2012-12-27 --  The Priority aspect can be specified with Attach_Handler
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     12-12-04
+    Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  D.03 (10/3)  
 
-AI12-0052-1/01   2012-12-04 --  Implicit objects are considered overlapping
+AI12-0052-1/02   2013-01-02 --  Implicit objects are considered overlapping
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-12-04
     RM References:  A (3/2)   A.10.03 (21)   A.16 (123/2)   A.16 (30/2)  
+
+AI12-0053-1/02   2012-12-27 --  Predicate failure raises Constraint_Error
+    Priority: High                 Difficulty: Medium
+    Class: Binding Interpretation      Status: No Action     10-0-1  12-12-08
+    RM References:  3.02.04 (31/3)   4.06 (57/3)  
+
+AI12-0054-1/02   2012-12-09 --  A raise_expression does not cause membership failure
+    Priority: High                 Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     12-12-08
+    RM References:  11.03 (4/2)   13.09.02 (2)   13.09.02 (3/3)  
+
+AI12-0055-1/01   2013-01-03 --  All properties of a profile are defined by pragmas
+    Priority: Medium               Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     12-12-08
+    RM References:  D.13 (8/3)   D.13 (9/3)  
 

Questions? Ask the ACAA Technical Agent