CVS difference for arm/source/pre_math.mss

Differences between 1.26 and version 1.27
Log of other versions for file arm/source/pre_math.mss

--- arm/source/pre_math.mss	2005/01/22 02:25:17	1.26
+++ arm/source/pre_math.mss	2005/01/25 07:00:12	1.27
@@ -1,8 +1,8 @@
 @comment{ $Source: e:\\cvsroot/ARM/Source/pre_math.mss,v $ }
-@comment{ $Revision: 1.26 $ $Date: 2005/01/22 02:25:17 $ $Author: Randy $ }
+@comment{ $Revision: 1.27 $ $Date: 2005/01/25 07:00:12 $ $Author: Randy $ }
 @Part(predefmath, Root="ada.mss")
 
-@Comment{$Date: 2005/01/22 02:25:17 $}
+@Comment{$Date: 2005/01/25 07:00:12 $}
 
 @LabeledClause{The Numerics Packages}
 
@@ -22,11 +22,13 @@
 @ChgRef{Version=[1], Kind=[Deleted]}
 @ChgDeleted[Version=[1],Text=<@ @;@comment{Empty paragraph to hang junk paragraph number from original RM}>]
 @begin{Example}
+@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00388-01]}
 @key[package] Ada.Numerics @key[is]@ChildUnit{Parent=[Ada],Child=[Numerics]}
    @key[pragma] Pure(Numerics);
    @AdaDefn{Argument_Error} : @key[exception];
    @AdaDefn{Pi} : @key[constant] :=
-          3.14159_26535_89793_23846_26433_83279_50288_41971_69399_37511;
+          3.14159_26535_89793_23846_26433_83279_50288_41971_69399_37511;@Chg{Version=[2],New=[
+   @pi  : @key[constant] := Pi;],Old=[]}
    @AdaDefn{e}  : @key[constant] :=
           2.71828_18284_59045_23536_02874_71352_66249_77572_47093_69996;
 @key[end] Ada.Numerics;
@@ -55,6 +57,13 @@
 Numerics and its children were not predefined in Ada 83.
 @end{Extend83}
 
+@begin{Extend95}
+  @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00388-01]}
+  @ChgAdded{Version=[2],Text=[@Defn{extensions to Ada 95}
+  The alternative declaration of @pi is new.]}
+@end{Extend95}
+
+
 @LabeledSubClause{Elementary Functions}
 
 @begin{Intro}
@@ -465,6 +474,10 @@
 @key[end] Ada.Numerics.Float_Random;
 @end{Example}
 
+@ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00360-01]}
+@ChgAdded{Version=[2],Text=[The type Generator needs finalization
+(see @RefSecNum{User-Defined Assignment and Finalization}).]}
+
 The generic library package Numerics.Discrete_Random has the following
 declaration:
 @begin{Example}
@@ -543,6 +556,11 @@
 cannot be declared pure.
 @end{ImplNote}
 
+@ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00360-01]}
+@ChgAdded{Version=[2],Text=[The type Generator needs finalization
+(see @RefSecNum{User-Defined Assignment and Finalization})
+in every instantiation of Numerics.Discrete_Random.]}
+
 An object of the limited private type Generator is associated with a sequence
 of random numbers. Each generator has a hidden (internal) state, which the
 operations on generators use to determine the position in the associated
@@ -863,9 +881,21 @@
 generators in each Worker task.
 @end{Notes}
 
+@begin{Incompatible95}
+  @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00360-01]}
+  @ChgAdded{Version=[2],Text=[@Defn{incompatibilities with Ada 95}
+  Type Generator in Numerics.Float_Random and in an instance of
+  Numerics.Discrete_Random is defined to need finalization. If the
+  restriction No_Nested_Finalization (see @RefSecNum{Tasking Restrictions})
+  applies to the partition, and Generator does not have a controlled part, it
+  will not be allowed in local objects in Ada 2005 whereas it would be allowed
+  in Ada 95. Such code is not portable, as another Ada compiler may have a
+  controlled part in Generator, and thus would be illegal.]}
+@end{Incompatible95}
+
 @begin{DiffWord95}
   @ChgRef{Version=[2],Kind=[AddedNormal],Ref=[8652/0050],ARef=[AI95-00089-01]}
   @ChgAdded{Version=[2],Text=[@b<Corrigendum:> Made the passing of an incorrect
   Image of a generator a bounded error, as it may not be practical to check
   for problems (if a generator consists of several related values).]}
-@end{DiffWord95}
\ No newline at end of file
+@end{DiffWord95}

Questions? Ask the ACAA Technical Agent