CVS difference for ais/ai-summary.txt

Differences between 1.116 and version 1.117
Log of other versions for file ais/ai-summary.txt

--- ais/ai-summary.txt	2003/02/05 21:45:40	1.116
+++ ais/ai-summary.txt	2003/03/04 04:56:23	1.117
@@ -721,9 +721,9 @@
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  C.03.02 (16)   C.03.02 (18)  
 
-AI95-00167-01/02   2002-09-25 --  Scalar unchecked conversion is never erroneous
+AI95-00167-01/03   2003-02-09 --  Scalar unchecked conversion can be used with 'Valid to prevent erroneousness
     Priority: Low                  Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     98-03-18
+    Class: Binding Interpretation      Status: Amendment 200Y  03-02-19
     RM References:  13.09.01 (12)  
 
 AI95-00168-01/09   2000-09-25 --  Aliased objects cannot have discriminants modified
@@ -776,9 +776,9 @@
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  B.03.01 (40)  
 
-AI95-00178-01/02   2003-01-10 --  Which I/O operations are potentially blocking?
+AI95-00178-01/03   2003-02-20 --  Which I/O operations are potentially blocking?
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Work Item     99-09-18
+    Class: Ramification                Status: ARG Approved  8-0-0  03-02-09
     RM References:  9.05.01 (18)  
 
 AI95-00179-01/05   2000-07-12 --  Finalization and Unchecked_Deallocation
@@ -966,9 +966,9 @@
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  E.04 (18)  
 
-AI95-00216-01/10   2003-01-30 --  Unchecked unions -- variant records with no run-time discriminant
+AI95-00216-01/11   2003-02-17 --  Unchecked unions -- variant records with no run-time discriminant
     Priority: Medium               Difficulty: Hard
-    Class: Amendment                   Status: Work Item     02-11-06
+    Class: Amendment                   Status: Amendment 200Y  03-02-17
     RM References:  B.03.03 (00)   B.03 (60.2)  
 
 AI95-00217-01/03   2000-04-13 --  Handling Mutually Dependent Type Definitions that Cross Packages
@@ -1044,10 +1044,10 @@
     Class: Binding Interpretation      Status: Amendment 200Y  02-05-09
     RM References:  A.10.06 (05)  
 
-AI95-00224-01/07   2003-01-14 --  pragma Unsuppress
+AI95-00224-01/08   2003-02-17 --  pragma Unsuppress
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     99-11-19
-    RM References:  11.05 (1-8)   11.05 (27)  
+    Class: Amendment                   Status: Amendment 200Y  03-02-17
+    RM References:  11.05 (1)   11.05 (3)   11.05 (4)   11.05 (5)   11.05 (6)   11.05 (7)   11.05 (8)   11.05 (27)   11.05 (29)   J.10 (00)  
 
 AI95-00225-01/04   2002-06-07 --  Aliased current instance for limited types
     Priority: Medium               Difficulty: Medium
@@ -1064,9 +1064,9 @@
     Class: Binding Interpretation      Status: Amendment 200Y  02-01-17
     RM References:  13.13.01 (4)   13.13.01 (5)   13.13.01 (8)  
 
-AI95-00228-01/03   2003-01-07 --  Premature use of 'shall be overridden' subprograms
+AI95-00228-01/04   2003-02-20 --  Premature use of 'shall be overridden' subprograms
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     02-01-23
+    Class: Binding Interpretation      Status: Amendment 200Y  03-02-20
     RM References:  3.09.03 (6)   8.05.04 (5/1)  
 
 AI95-00229-01/05   2002-05-14 --  Accessibility rules and generics
@@ -1204,10 +1204,10 @@
     Class: Binding Interpretation      Status: Amendment 200Y  02-10-25
     RM References:  8.05.01 (05)   12.04 (09)  
 
-AI95-00256-01/06   2002-10-23 --  Various wording changes to the standard
+AI95-00256-01/07   2003-02-20 --  Various wording changes to the standard
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     01-02-12
-    RM References:  13.11.01 (01)   A.12.01 (30)   G.02.02 (03)   7.06.01 (16)   7.04 (09)   10.02 (09)   D.04 (15)  
+    Class: Binding Interpretation      Status: Amendment 200Y  03-02-20
+    RM References:  13.11.01 (01)   A.12.01 (30)   G.02.02 (03)   7.06.01 (16)   7.04 (09)   10.02 (09)   D.02.02 (17)   D.03 (15)   D.04 (15)  
 
 AI95-00257-01/04   2002-05-10 --  Restrictions for implementation-defined entities
     Priority: Low                  Difficulty: Easy
@@ -1219,10 +1219,10 @@
     Class: Binding Interpretation      Status: Amendment 200Y  02-05-09
     RM References:  B.03 (50)  
 
-AI95-00259-01/03   2003-01-15 --  Can accesses to volatile objects be combined?
+AI95-00259-01/04   2003-02-20 --  Can accesses to volatile objects be combined?
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     02-04-19
-    RM References:  C.06 (16)   C.06 (21)  
+    Class: Binding Interpretation      Status: Amendment 200Y  03-02-20
+    RM References:  C.06 (21)  
 
 AI95-00260-01/04   2002-05-10 --  How to control the tag representation in a stream
     Priority: Low                  Difficulty: Medium
@@ -1231,7 +1231,7 @@
 
 AI95-00261-01/01   2001-02-15 --  Extending enumeration types
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     01-02-15
+    Class: Amendment                   Status: No Action     (8-0-0) 03-02-07
     RM References:  13.13.02 (31)   13.13.02 (34)  
 
 AI95-00262-01/06   2002-12-03 --  Access to private units in the private part
@@ -1249,10 +1249,10 @@
     Class: Amendment                   Status: Work Item     01-05-09
     RM References:  11.01 (02)   11.03 (02)  
 
-AI95-00265-01/04   2003-01-06 --  Partition Elaboration Policy for High-Integrity Systems
+AI95-00265-01/07   2003-02-18 --  Partition Elaboration Policy for High-Integrity Systems
     Priority: High                 Difficulty: Medium
-    Class: Amendment                   Status: Work Item     01-05-10
-    RM References:  D.02.02 (5)   D.07 (00)  
+    Class: Amendment                   Status: Amendment 200Y  03-02-18
+    RM References:  H.06 (00)  
 
 AI95-00266-01/05   2002-03-09 --  Task Termination procedure
     Priority: High                 Difficulty: Medium
@@ -1281,10 +1281,10 @@
     Class: Binding Interpretation      Status: Work Item     01-05-25
     RM References:  4.09 (29)  
 
-AI95-00270-01/03   2002-10-24 --  Stream item size control
+AI95-00270-01/04   2003-02-18 --  Stream item size control
     Priority: High                 Difficulty: Hard
-    Class: Amendment                   Status: Work Item     01-05-25
-    RM References:  13.13.01 (00)  
+    Class: Amendment                   Status: Amendment 200Y  03-02-18
+    RM References:  13.13.02 (02)   13.13.02 (09/1)   13.13.02 (17)  
 
 AI95-00271-01/03   2002-01-04 --  (Deleted)
     Priority: Medium               Difficulty: Hard
@@ -1303,7 +1303,7 @@
 
 AI95-00274-01/00   2001-09-19 --  Requiring complete record representation clauses
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     01-09-19
+    Class: Amendment                   Status: No Action     (8-0-0) 03-02-07
     RM References:  13.05.01 (2)  
 
 AI95-00275-01/01   2001-09-20 --  Aliased components and generic formal arrays
@@ -1323,22 +1323,22 @@
 
 AI95-00278-01/01   2001-10-17 --  Task Entry without Accept Statement
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: No Action     02-02-10
+    Class: Amendment                   Status: No Action     (7-0-0) 02-02-10
     RM References:  9.05.02 (27)  
 
-AI95-00279-01/02   2002-06-11 --  Tag read by T'Class'Input
+AI95-00279-01/03   2003-02-20 --  Tag read by T'Class'Input
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     01-12-21
     RM References:  13.13.02 (34)   3.09 (12)   13.13.02 (36/1)  
 
-AI95-00280-01/02   2002-04-19 --  Allocation, deallocation, and use of objects after finalization
+AI95-00280-01/03   2003-02-19 --  Allocation, deallocation, and use of objects after finalization
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     01-12-21
     RM References:  9.04 (20)   4.08 (11)  
 
 AI95-00281-01/01   2001-12-26 --  Representation of enumeration type image attribute
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: No Action     02-02-10
+    Class: Amendment                   Status: No Action     (7-0-0) 02-02-10
     RM References:  13.04 (04)  
 
 AI95-00282-01/01   2001-12-26 --  Ada unit information symbols
@@ -1348,7 +1348,7 @@
 
 AI95-00283-01/01   2002-06-10 --  Truncation of stream files by Close and Reset
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     02-06-10
+    Class: Binding Interpretation      Status: Amendment 200Y  03-02-18
     RM References:  A.12.01 (28)   A.08.02 (03)   A.08.02 (10)   A.08.02 (16)   A.08 (01)  
 
 AI95-00284-01/04   2002-11-27 --  Nonreserved keywords
@@ -1366,10 +1366,10 @@
     Class: Amendment                   Status: Work Item     02-02-05
     RM References:  11.05 (00)   11.04.01 (10)  
 
-AI95-00287-01/03   2003-02-03 --  Limited Aggregates Allowed
+AI95-00287-01/04   2003-02-19 --  Limited Aggregates Allowed
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     02-10-09
-    RM References:  7.05 (00)  
+    Class: Amendment                   Status: Amendment 200Y  03-02-19
+    RM References:  3.03.01 (05)   3.06.02 (16)   3.08 (08)   3.08 (25)   4.03 (03)   4.03.01 (04)   4.03.01 (08)   4.03.01 (16)   4.03.01 (17)   4.03.01 (20)  
 
 AI95-00288-01/01   2002-03-08 --  Pre/Postconditions and Invariants
     Priority: Medium               Difficulty: Medium
@@ -1378,7 +1378,7 @@
 
 AI95-00289-01/03   2002-03-19 --  Truncation of real static expressions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     02-03-14
+    Class: Binding Interpretation      Status: No Action     (7-0-0) 03-02-09
     RM References:  4.09 (38)  
 
 AI95-00290-01/00   2002-03-14 --  Declaring functions Pure
@@ -1416,15 +1416,15 @@
     Class: Amendment                   Status: Received      02-06-07
     RM References:  G (00)  
 
-AI95-00297-01/03   2003-01-07 --  Timing Events
+AI95-00297-01/04   2003-02-10 --  Timing Events
     Priority: High                 Difficulty: Medium
     Class: Amendment                   Status: Work Item     02-06-01
     RM References:  D.08 (00)  
 
-AI95-00298-01/03   2003-01-06 --  Non-Preemptive Dispatching
+AI95-00298-01/04   2003-02-19 --  Non-Preemptive Dispatching
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     02-06-01
-    RM References:  D.08 (00)  
+    Class: Amendment                   Status: Work Item     03-02-19
+    RM References:  D.02.04 (00)  
 
 AI95-00299-01/02   2002-09-25 --  Defaults for generic formal parameters
     Priority: Medium               Difficulty: Medium
@@ -1461,10 +1461,10 @@
     Class: Amendment                   Status: Amendment 200Y  02-10-23
     RM References:  D.07 (10)   D.07 (15)   D.07 (19)   H.05 (01)  
 
-AI95-00306-01/01   2002-10-09 --  Classwide extension aggregate expressions
+AI95-00306-01/02   2003-02-18 --  Class-wide extension aggregate expressions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     02-10-09
-    RM References:  4.03.02 (04)   4.03.02 (05)  
+    Class: Binding Interpretation      Status: Amendment 200Y  03-02-18
+    RM References:  4.03.02 (05)  
 
 AI95-00307-01/02   2003-01-15 --  Execution-Time Clocks
     Priority: High                 Difficulty: Hard
@@ -1473,7 +1473,7 @@
 
 AI95-00308-01/01   2002-08-30 --  Private generic children are private
     Priority: Low                  Difficulty: Medium
-    Class: Confirmation                Status: Work Item     02-08-30
+    Class: Confirmation                Status: No Action     (8-0-0) 03-02-09
     RM References:  A.05.04 (00)  
 
 AI95-00309-01/00   2002-09-25 --  Pragma Inline issues
@@ -1481,10 +1481,10 @@
     Class: Binding Interpretation      Status: Received      02-09-17
     RM References:  6.03.02 (03)   10.01.05 (02)   10.01.05 (05)   10.01.05 (06)  
 
-AI95-00310-01/02   2003-01-08 --  Ignore abstract nondispatching subprograms during overloading
+AI95-00310-01/03   2003-02-19 --  Ignore abstract nondispatching subprograms during overloading
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     02-09-30
-    RM References:  3.09.03 (07)  
+    Class: Amendment                   Status: Amendment 200Y  03-02-19
+    RM References:  6.04 (08)  
 
 AI95-00311-01/01   2002-09-26 --  Static matching of formal scalar subtypes
     Priority: Low                  Difficulty: Easy
@@ -1503,7 +1503,7 @@
 
 AI95-00314-01/00   2002-09-30 --  Standardize Discard_Names
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: No Action     8-2-0 02-10-13
+    Class: Amendment                   Status: No Action     (8-2-0) 02-10-13
     RM References:  C.05 (00)  
 
 AI95-00315-01/00   2002-09-30 --  Full support for IEEE 754
@@ -1513,8 +1513,8 @@
 
 AI95-00316-01/01   2002-10-03 --  Return accessibility checks and value conversions
     Priority: Medium               Difficulty: Easy
-    Class: Ramification                Status: Work Item     02-10-03
-    RM References:  6.05 (18)   C.06 (21)  
+    Class: Ramification                Status: Amendment 200Y  03-02-18
+    RM References:  6.05 (18)  
 
 AI95-00317-01/02   2003-02-05 --  Partial Parameter Lists for Formal Packages
     Priority: Medium               Difficulty: Easy
@@ -1528,10 +1528,10 @@
 
 AI95-00319-01/01   2002-10-09 --  Object_Size attribute
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     02-10-09
+    Class: Amendment                   Status: No Action     (6-1-1) 03-02-08
     RM References:  13.03 (58)  
 
-AI95-00320-01/01   2003-01-02 --  Violating Ada semantics with an interfacing pragma
+AI95-00320-01/02   2003-02-18 --  Violating Ada semantics with an interfacing pragma
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     03-01-02
     RM References:  B.01 (49)  
@@ -1543,12 +1543,12 @@
 
 AI95-00322-01/00   2003-01-22 --  User-defined operator symbols
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     03-01-22
+    Class: Amendment                   Status: No Action     (6-2-0) 03-02-08
     RM References:  6.06 (00)  
 
 AI95-00323-01/01   2003-01-22 --  Allow in out parameters for functions.
     Priority: High                 Difficulty: Easy
-    Class: Amendment                   Status: Work Item     03-01-23
+    Class: Amendment                   Status: No Action     (7-1-0) 03-02-08
     RM References:  6.01 (18)   6.06 (03)   9.05.01 (02)  
 
 AI95-00324-01/01   2003-02-01 --  Physical Units Checking

Questions? Ask the ACAA Technical Agent