CVS difference for arm/source/safety.mss

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

--- arm/source/safety.mss	2000/04/30 02:44:42	1.9
+++ arm/source/safety.mss	2000/05/16 04:48:25	1.10
@@ -1,9 +1,8 @@
 @Comment{ $Source: e:\\cvsroot/ARM/Source/safety.mss,v $ }
-@Comment{ $Revision: 1.9 $ $Date: 2000/04/30 02:44:42 $ $Author: Randy $ }
+@Comment{ $Revision: 1.10 $ $Date: 2000/05/16 04:48:25 $ $Author: Randy $ }
 @Part(safety, Root="ada.mss")
-@Modify(Appendix, Numbered <@A.>, Referenced <@A>)
 
-@Comment{$Date: 2000/04/30 02:44:42 $}
+@Comment{$Date: 2000/05/16 04:48:25 $}
 @LabeledNormativeAnnex{Safety and Security}
 
 @begin{Intro}
@@ -380,12 +379,13 @@
  run-time
 system components, and with an identification of those instructions and
 data that will be relocated at load time;
-@Discussion{The object code listing should enable a validator to estimate
+@begin{Discussion}
+The object code listing should enable a validator to estimate
 upper bounds for the time taken by critical parts of a program.
 Similarly, by an analysis of the entire partition, it should be possible
 to ensure that the storage requirements are suitably bounded,
 assuming that the partition was written in an appropriate
-manner.}
+manner.@end{discussion}
 
 A description of the run-time model relevant to the partition.
 @begin{Discussion}
@@ -487,12 +487,13 @@
 An @i{inspection point} is a point in the object code
 corresponding to the occurrence of a pragma Inspection_Point in the
 compilation unit.
-@ramification{If a pragma Inspection_Point is in an in-lined subprogram, there
+@begin{ramification}
+If a pragma Inspection_Point is in an in-lined subprogram, there
 might be numerous inspection points in the object code corresponding to
 the single occurrence of the pragma in the source; similar considerations
 apply if such a
 pragma is in a generic, or in a loop that has been ``unrolled'' by an
-optimizer.}
+optimizer.@end{ramification}
 @Defn{inspectable object}
 An object is @i{inspectable} at an inspection point if the corresponding
 pragma Inspection_Point either has an argument denoting that object,
@@ -526,11 +527,12 @@
 with respect to the values
 of the inspectable objects at that point
 (see @RefSecNum{Conformity of an Implementation with the Standard}).
-@Ramification{The compiler is inhibited from moving an assignment to
+@begin{Ramification}
+The compiler is inhibited from moving an assignment to
 an inspectable variable past an inspection point for that variable.
 On the other hand, the evaluation of an expression that might raise
 an exception may be moved past an inspection point
-(see @RefSecNum[Exceptions and Optimization]).}
+(see @RefSecNum[Exceptions and Optimization]).@end{ramification}
 @end{ImplReq}
 
 @begin{DocReq}

Questions? Ask the ACAA Technical Agent