CVS difference for arm/source/safety.mss

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

--- arm/source/safety.mss	2005/09/22 05:10:56	1.31
+++ arm/source/safety.mss	2005/10/08 06:29:22	1.32
@@ -1,8 +1,8 @@
 @Comment{ $Source: e:\\cvsroot/ARM/Source/safety.mss,v $ }
-@Comment{ $Revision: 1.31 $ $Date: 2005/09/22 05:10:56 $ $Author: Randy $ }
+@Comment{ $Revision: 1.32 $ $Date: 2005/10/08 06:29:22 $ $Author: Randy $ }
 @Part(safety, Root="ada.mss")
 
-@Comment{$Date: 2005/09/22 05:10:56 $}
+@Comment{$Date: 2005/10/08 06:29:22 $}
 @LabeledRevisedNormativeAnnex{Version=[2],
 New=[High Integrity Systems], Old=[Safety and Security]}
 
@@ -101,19 +101,20 @@
 @end{LinkTime}
 
 @begin{DocReq}
+@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00434-01]}
 If a @nt{pragma} Normalize_Scalars applies,
 the implementation shall document the implicit initial value for
-scalar subtypes,
+@Chg{Version=[2],New=[objects of ],Old=[]}scalar subtypes,
 and shall identify each case in which such a value is used
 and is not an invalid representation.
 @ChgDocReq{Version=[2],Kind=[AddedNormal],Text=[@ChgAdded{Version=[2],Text=[If
 a @nt{pragma} Normalize_Scalars applies, the implicit initial value for
-scalar subtypes shall be documented. Such a value should be an invalid
-representation when possible; any cases when is it not shall be documented.]}]}
+objects of scalar subtypes shall be documented. Such a value should be an
+invalid representation when possible; any cases when is it not shall be
+documented.]}]}
 @begin{Honest}
 It's slightly inaccurate to say that the value is a
- representation, but
-the point should be clear anyway.
+representation, but the point should be clear anyway.
 @end{Honest}
 @begin{Discussion}
 
@@ -135,7 +136,9 @@
 @end{DocReq}
 
 @begin{ImplAdvice}
-Whenever possible, the implicit initial value for a scalar subtype
+@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00434-01]}
+Whenever possible, the implicit initial value for @Chg{Version=[2],New=[an object
+of ],Old=[]}a scalar subtype
 should be an invalid representation
 (see @RefSecNum{Data Validity}).
 @begin{Discussion}
@@ -531,6 +534,7 @@
 
 @begin{StaticSem}
 @ChgRef{Version=[1],Kind=[Revised],Ref=[8652/0093],ARef=[AI95-00207-01]}
+@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00434-01]}
 @Defn{inspection point}
 An @i{inspection point} is a point in the object code
 corresponding to the occurrence of a pragma Inspection_@!Point in the
@@ -538,8 +542,8 @@
 @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,
-or has no arguments@Chg{New=[ and the object is visible at the
-inspection point],Old=[]}.
+or has no arguments@Chg{New=[ and the @Chg{Version=[2],New=[declaration
+of the ],Old=[]}object is visible at the inspection point],Old=[]}.
 @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
@@ -575,9 +579,10 @@
 Execution of a pragma Inspection_Point has no effect.
 @begin{Discussion}
 
+@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00114-01]}
 Although an inspection point has no (semantic) effect,
-the removal or adding a new point could change the machine code
-generated by the compiler.
+the removal or adding @Chg{Version=[2],New=[of ],Old=[]}a new point could
+change the machine code generated by the compiler.
 
 @end{Discussion}
 @end{RunTime}
@@ -772,14 +777,16 @@
 not allowed.
 @begin{Discussion}
 
+@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00114-01]}
 The intention is to avoid the use of floating point hardware at run time,
 but this is expressed in
 language terms. It is conceivable that floating point is used implicitly in
 some contexts, say fixed point type conversions of high accuracy. However,
 the @ImplReqTitle below make it clear that the restriction would apply
 to the @lquotes@;run-time system@rquotes@; and hence not be allowed.
-This parameter could be used to inform a compiler that a variant of the
-architecture is being used which does not have floating point instructions.
+This @Chg{Version=[2],New=[restriction],Old=[parameter]} could be used to
+inform a compiler that a variant of the architecture is being used which does
+not have floating point instructions.
 
 @end{Discussion}
 
@@ -875,7 +882,8 @@
 @ChgAdded{Version=[2],Text=[the restrictions defined in this subclause; and]}
 
 @ChgRef{Version=[2],Kind=[Added]}
-@ChgAdded{Version=[2],Text=[the following uses of @SynI{restriction_}@nt{identifier}
+@ChgAdded{Version=[2],Text=[the following uses of
+@SynI{restriction_parameter_}@nt{identifier}
 No_Dependence defined in @RefSecNum{Language-Defined Restrictions}:
 No_Dependence => Ada.Unchecked_Deallocation and No_Dependence =>
 Ada.Unchecked_Conversion; and]}
@@ -1088,7 +1096,9 @@
 
 @begin{LinkTime}
 @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00305-01]}
-@ChgAdded{Version=[2],Text=[A @nt{pragma} Detect_Blocking is a configuration
+@ChgAdded{Version=[2],Text=[@PDefn2{Term=[configuration pragma], Sec=(Detect_Blocking)}
+@PDefn2{Term=[pragma, configuration], Sec=(Detect_Blocking)}
+A @nt{pragma} Detect_Blocking is a configuration
 pragma.]}
 @end{LinkTime}
 
@@ -1146,9 +1156,15 @@
 @end{Syntax}
 
 @begin{LinkTime}
+@ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00265-01]}
+@ChgAdded{Version=[2],Text=[@PDefn2{Term=[configuration pragma], Sec=(Partition_Elaboration_Policy)}
+@PDefn2{Term=[pragma, configuration], Sec=(Partition_Elaboration_Policy)}
+A @nt{pragma} Partition_Elaboration_Policy is a configuration pragma.
+It specifies the elaboration policy for a partition.
+At most one elaboration policy shall be specified for a partition.]}
+
 @ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00265-01]}
-@ChgAdded{Version=[2],Text=[The @nt{pragma} is a configuration pragma. It
-applies to all compilation units in a partition. If the Sequential policy is
+@ChgAdded{Version=[2],Text=[If the Sequential policy is
 specified for a partition then pragma Restrictions (No_Task_Hierarchy) shall
 also be specified for the partition.]}
 @end{LinkTime}
@@ -1208,7 +1224,7 @@
 @ChgImplAdvice{Version=[2],Kind=[AddedNormal],Text=[@ChgAdded{Version=[2],
 Text=[If the partition elaboration policy is Sequential
 and the Environment task becomes permanently blocked during elaboration then
-the partition be should immediately terminated.]}]}
+the partition should be immediately terminated.]}]}
 
 @end{ImplAdvice}
 

Questions? Ask the ACAA Technical Agent