CVS difference for arm/source/06.mss

Differences between 1.148 and version 1.149
Log of other versions for file arm/source/06.mss

--- arm/source/06.mss	2019/02/09 03:46:54	1.148
+++ arm/source/06.mss	2019/02/21 05:24:04	1.149
@@ -1,10 +1,10 @@
 @Part(06, Root="ada.mss")
 
-@Comment{$Date: 2019/02/09 03:46:54 $}
+@Comment{$Date: 2019/02/21 05:24:04 $}
 @LabeledSection{Subprograms}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/06.mss,v $}
-@Comment{$Revision: 1.148 $}
+@Comment{$Revision: 1.149 $}
 
 @begin{Intro}
 @Defn{subprogram}
@@ -1603,11 +1603,13 @@
 
 @begin{Incompatible2012}
   @ChgRef{Version=[4],Kind=[AddedNormal],ARef=[AI12-0045-1]}
+  @ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0005-1]}
   @ChgAdded{Version=[4],Text=[@Defn{incompatibilities with Ada 2012}@b<Corrigendum:>
   Precondition and postcondition aspects cannot be specified on instances of
   generic subprograms (they should be specified on the generic subprogram
   instead). This was (unintentionally) allowed by the Ada 2012 standard.
-  These are not be allowed on instances as there is no corresponding way to add
+  These are not @Chg{Version=[5],New=[],Old=[be ]}allowed on instances as
+  there is no corresponding way to add
   preconditions and postconditions to subprograms declared within the instance
   of a generic package. Therefore, allowing specification on a subprogram
   instance could present a maintenance problem in the future if the entity
@@ -1737,7 +1739,7 @@
 @noprefix@AddedSyn{Version=[5],lhs=<@Chg{Version=[5],New=<global_name>,Old=<>}>,
 rhs="@Chg{Version=[5],New=<
     @SynI{object_}@Syn2{name}
-  | @SynI{package_}@Syn2{name} [ @key[private] ]
+  | [@key[private of]] @SynI{package_}@Syn2{name}
   | @Syni{access_}@Syn2{subtype_mark}
   | @key[access] @Syn2{subtype_mark}>,Old=<>}"}
 
@@ -1909,9 +1911,9 @@
        of all variables declared within the declarative region of the package
        having the same accessibility level as the package, but not including
        those within the declarative region of a public child of the package; if
-       the reserved word @key[private] follows the @SynI<package_>@nt{name}, the
-       set is reduced to those variables declared in the private part or body of
-       the package or within a private descendant of the package;]}
+       the reserved words @key[private of] precede the @SynI<package_>@nt{name},
+       the set is reduced to those variables declared in the private part or
+       body of the package or within a private descendant of the package;]}
 
     @ChgRef{Version=[5],Kind=[AddedNormal]}
     @ChgAdded{Version=[5],Text=[@Syni{access_}@nt{subtype_mark} identifies
@@ -2623,8 +2625,9 @@
     By_Protected_Procedure],Old=[]}.]}
   @begin{Reason}
     @ChgRef{Version=[2],Kind=[AddedNormal]}
-    @ChgAdded{Version=[2],Text=[The profile of a prefixed view is
-    different than the @lquotes@;real@rquotes profile of the subprogram
+    @ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0005-1]}
+    @ChgAdded{Version=[2],Text=[The profile of a prefixed view is different
+    @Chg{Version=[5],New=[from],Old=[than]} the @lquotes@;real@rquotes profile of the subprogram
     (it doesn't have the first parameter), so we don't want to be able
     to take 'Access of it, as that would require generating a wrapper of
     some sort.]}
@@ -4180,7 +4183,7 @@
   @end{Itemize}
 
 @ChgRef{Version=[4],Kind=[Added],ARef=[AI12-0074-1]}
-@ChgAdded{Version=[4],NoPrefix=[T],Text=[then Program_Error
+@ChgAdded{Version=[4],NoPrefix=[T],Text=[then Program_Error@IndexCheck{Program_Error_Check}
 is raised;@Defn2{Term=[Program_Error],Sec=(raised by failure of runtime check)}]}
 
 @begin{Reason}

Questions? Ask the ACAA Technical Agent