CVS difference for arm/source/06.mss
--- arm/source/06.mss 2016/11/24 02:33:51 1.140
+++ arm/source/06.mss 2017/01/14 02:32:56 1.141
@@ -1,10 +1,10 @@
@Part(06, Root="ada.mss")
-@Comment{$Date: 2016/11/24 02:33:51 $}
+@Comment{$Date: 2017/01/14 02:32:56 $}
@LabeledSection{Subprograms}
@Comment{$Source: e:\\cvsroot/ARM/Source/06.mss,v $}
-@Comment{$Revision: 1.140 $}
+@Comment{$Revision: 1.141 $}
@begin{Intro}
@Defn{subprogram}
@@ -929,6 +929,15 @@
constant; the type of X'Old is the type of X. These implicit constant
declarations occur in an
arbitrary order.@PDefn2{Term=[arbitrary order],Sec=[allowed]}]}],Old=[]}]}@Comment{End of Annex text here.}
+
+ @begin{Ramification}
+ @ChgRef{Version=[5],Kind=[AddedNormal],ARef=[AI12-0193-1]}
+ @ChgAdded{Version=[5],Text=[In the case of an accept statement, the
+ constant is declared inside of the rendezvous. It is considered part of
+ the initialization of the postcondition check, which is part of the
+ rendezvous by definition (see @RefSecNum{Entries and Accept Statements}).]}
+ @end{Ramification}
+
@ChgRef{Version=[4],Kind=[Added],ARef=[AI12-0032-1],ARef=[AI12-0159-1]}
@ChgAdded{Version=[4],Type=[Leading],NoPrefix=[T],Text=[The implicitly declared
Questions? Ask the ACAA Technical Agent