CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2012/07/19 02:42:10	1.11
+++ ai12s/ai12-summary.txt	2012/12/05 04:18:26	1.12
@@ -11,10 +11,10 @@
     Class: Binding Interpretation      Status: Work Item     11-06-16
     RM References:  E.02.03 (11/1)   E.02.03 (17)  
 
-AI12-0003-1/01   2011-11-08 --  Default storage pool for storage pools
+AI12-0003-1/02   2012-12-01 --  Default storage pool for storage pools
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     11-06-19
-    RM References:  3.10.02 (13.2/3)  
+    RM References:  3.10.02 (13.2/3)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4.1/3)   13.11.03 (4.2/3)   13.11.03 (5/3)   13.11.03 (6/3)  
 
 AI12-0004-1/01   2011-11-08 --  Normalization and allowed characters for identifiers
     Priority: Low                  Difficulty: Medium
@@ -76,7 +76,7 @@
     Class: Amendment                   Status: Work Item     11-12-21
     RM References:  A.20 (0)  
 
-AI12-0016-1/00   2011-12-30 --  Implementation model of dynamic accessibility checking
+AI12-0016-1/01   2012-11-30 --  Implementation model of dynamic accessibility checking
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     11-11-13
     RM References:  3.10.02 (22)  
@@ -111,7 +111,7 @@
     Class: Amendment                   Status: ARG Approved  9-0-0  12-06-1
     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/01   2012-04-20 --  Make Root_Stream_Type an interface
+AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     12-04-20
     RM References:  6.01.01 (0/3)  
@@ -126,13 +126,13 @@
     Class: Amendment                   Status: Work Item     12-05-16
     RM References:  13.10 (3)  
 
-AI12-0026-1/01   2012-06-04 --  Reentrant categorization
+AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     12-06-04
     RM References:  C.08 (0)  
 
-AI12-0027-1/02   2012-07-15 --  Contract violation for aliased components of actuals for formal array types
-    Priority: Low                  Difficulty: Medium
+AI12-0027-1/03   2012-11-30 --  Access values should never designated 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)  
 
@@ -151,19 +151,19 @@
     Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  12.05.01 (20/3)   13.13.02 (49/2)  
 
-AI12-0031-1/01   2012-06-06 --  All_Calls_Remote and indirect calls
+AI12-0031-1/02   2012-11-17 --  All_Calls_Remote and indirect calls
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Work Item     12-06-06
+    Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  E.02.03 (19/3)  
 
-AI12-0032-1/02   2012-06-08 --  Questions on 'Old
+AI12-0032-1/03   2012-11-30 --  Questions on 'Old
     Priority: Low                  Difficulty: Medium
     Class: Ramification                Status: Work Item     12-06-06
     RM References:  6.01.01 (26/3)   6.01.01 (27/3)  
 
-AI12-0033-1/01   2012-06-06 --  Sets of CPUs when defining dispatching domains
+AI12-0033-1/02   2012-11-28 --  Sets of CPUs when defining dispatching domains
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Work Item     12-06-06
+    Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  D.16.01 (7/3)  
 
 AI12-0034-1/02   2012-06-28 --  Remote stream attribute calls
@@ -171,8 +171,93 @@
     Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  E.04 (8)  
 
-AI12-0035-1/01   2012-06-08 --  Accessibility checks for indefinite elements of containers
+AI12-0035-1/02   2012-12-02 --  Accessibility checks for indefinite elements of containers
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-06-08
     RM References:  A.18.18 (47/3)  
+
+AI12-0036-1/01   2012-11-29 --  The actual for an untagged formal derived type cannot be tagged
+    Priority: Low                  Difficulty: Medium
+    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
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     12-11-29
+    RM References:  A.19 (4/3)  
+
+AI12-0038-1/01   2012-11-28 --  Shared_Passive package restrictions
+    Priority: Low                  Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     12-11-28
+    RM References:  E.02.03 (7/1)  
+
+AI12-0039-1/01   2012-11-29 --  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)  
+
+AI12-0040-1/01   2012-11-29 --  Resolving the selecting_expression of a case_expression
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     12-11-29
+    RM References:  8.06 (9)  
+
+AI12-0041-1/01   2012-11-29 --  Type_Invariant'Class for interface types
+    Priority: Medium               Difficulty: Easy
+    Class: Amendment                   Status: Work Item     12-11-29
+    RM References:  7.03.02 (3/3)  
+
+AI12-0042-1/01   2012-11-29 --  Type invariants cannot be inherited by non-private extensions
+    Priority: Medium               Difficulty: Medium
+    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
+    Priority: Medium               Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     12-11-29
+    RM References:  13.11 (18)  
+
+AI12-0044-1/01   2012-12-01 --  Calling visible functions from type invariant expressions
+    Priority: High                 Difficulty: Medium
+    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
+    Priority: Medium               Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     12-12-01
+    RM References:  6.01.01 (1/3)  
+
+AI12-0046-1/01   2012-12-01 --  Enforcing legality for anonymous access components in record aggregates
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     12-12-01
+    RM References:  4.03.01 (16/3)  
+
+AI12-0047-1/01   2012-12-01 --  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)  
+
+AI12-0048-1/01   2012-12-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
+    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
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     12-12-03
+    RM References:  7.03.02 (10/3)  
+
+AI12-0050-1/01   2012-12-04 --  Conformance of quantified expressions
+    Priority: Low                  Difficulty: Medium
+    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
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     12-12-04
+    RM References:  D.03 (10/3)  
+
+AI12-0052-1/01   2012-12-04 --  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)  
 

Questions? Ask the ACAA Technical Agent