CVS difference for arm/source/safety.mss

Differences between 1.74 and version 1.75
Log of other versions for file arm/source/safety.mss

--- arm/source/safety.mss	2022/03/30 07:20:30	1.74
+++ arm/source/safety.mss	2022/05/14 04:06:51	1.75
@@ -1,8 +1,8 @@
 @Comment{ $Source: e:\\cvsroot/ARM/Source/safety.mss,v $ }
-@Comment{ $Revision: 1.74 $ $Date: 2022/03/30 07:20:30 $ $Author: randy $ }
+@Comment{ $Revision: 1.75 $ $Date: 2022/05/14 04:06:51 $ $Author: randy $ }
 @Part(safety, Root="ada.mss")
 
-@Comment{$Date: 2022/03/30 07:20:30 $}
+@Comment{$Date: 2022/05/14 04:06:51 $}
 @LabeledRevisedNormativeAnnex{Version=[2],
 New=[High Integrity Systems], Old=[Safety and Security]}
 
@@ -195,7 +195,7 @@
 @Redundant[The documentation might be provided either
 independently of any compilation unit or partition, or as part of an annotated
 listing for a given unit or partition.
-See also @RefSecNum(Conformity of an Implementation with the Standard), and
+See also @RefSecNum(Conformity of an Implementation), and
 @RefSecNum(Structure).]
 @ChgImplDef{Version=[2],Kind=[Deleted],InitialVersion=[0],
 Text=[@ChgDeleted{Version=[2],
@@ -427,7 +427,6 @@
 since the Ada language does not explicitly define such a model.
 @end{Discussion}
 @end{itemize}
-@end{ImplReq}
 
 @Chgnote{The following paragraph is missing a number in the original version.
 To give it a number in the new version, it is marked as an insertion.}
@@ -436,14 +435,15 @@
 information, both within each compilation unit and across
 the compilation units of the partition.
 @begin{Discussion}
+   This requirement is quite vague, since it is unclear what control and data
+   flow information the compiler has produced. It is really a plea not to throw
+   away information that could be useful to the validator. Note that the data
+   flow information is relevant to the detection of @lquotes@;possibly uninitialized@rquotes@;
+   objects referred to above.
+@end{Discussion}
+@end{ImplReq}
 
-This requirement is quite vague, since it is unclear what control and data
-flow information the compiler has produced. It is really a plea not to throw
-away information that could be useful to the validator. Note that the data
-flow information is relevant to the detection of @lquotes@;possibly uninitialized@rquotes@;
-objects referred to above.
 
-@end{Discussion}
 @begin{ImplAdvice}
 The implementation should provide the above
 information in both a human-readable
@@ -589,7 +589,7 @@
 Reaching an inspection point is an external interaction
 with respect to the values
 of the inspectable objects at that point
-(see @RefSecNum{Conformity of an Implementation with the Standard}).
+(see @RefSecNum{Conformity of an Implementation}).
 @begin{Ramification}
 The compiler is inhibited from moving an assignment to
 an inspectable variable past an inspection point for that variable.
@@ -1669,12 +1669,14 @@
 
 @LabeledAddedClause{Version=[5],Name=[Extensions to Global and Global'Class Aspects]}
 
+@begin{Intro}
 @ChgRef{Version=[5],Kind=[AddedNormal],ARef=[AI12-0079-3]}
 @ChgAdded{Version=[5],Text=[In addition to the entities specified in
 @RefSecNum{The Global and Global'Class Aspects}, the Global aspect may be
 specified for a subtype (including a formal subtype), formal package,
 formal subprogram, and formal object of an anonymous
 access-to-subprogram type.]}
+@end{Intro}
 
 @begin{Syntax}
 
@@ -1752,6 +1754,7 @@
 
 @LabeledAddedSubClause{Version=[5],Name=[The Use_Formal and Dispatching Aspects]}
 
+@begin{Intro}
 @ChgRef{Version=[5],Kind=[AddedNormal],ARef=[AI12-0380-1]}
 @ChgAdded{Version=[5],Text=[The Use_Formal and Dispatching aspects are
 provided to more precisely
@@ -1823,6 +1826,7 @@
 rhs="@Chg{Version=[5],New=<
     @SynI{dispatching_operation_}@Syn2{name} (@SynI{object_}@Syn2{name})>,Old=<>}"}
 @end{Description}
+@end{Intro}
 
 @begin{Resolution}
 

Questions? Ask the ACAA Technical Agent