CVS difference for arm/source/sp.mss
--- arm/source/sp.mss 2018/04/07 06:16:41 1.85
+++ arm/source/sp.mss 2019/02/09 03:46:57 1.86
@@ -1,7 +1,7 @@
@comment{ $Source: e:\\cvsroot/ARM/Source/sp.mss,v $ }
-@comment{ $Revision: 1.85 $ $Date: 2018/04/07 06:16:41 $ $Author: randy $ }
+@comment{ $Revision: 1.86 $ $Date: 2019/02/09 03:46:57 $ $Author: randy $ }
@Part(sysprog, Root="ada.mss")
-@Comment{$Date: 2018/04/07 06:16:41 $}
+@Comment{$Date: 2019/02/09 03:46:57 $}
@LabeledNormativeAnnex{Systems Programming}
@@ -548,7 +548,7 @@
is attached to the @Chg{Version=[3],New=[identified],Old=[specified]} interrupt.
@IndexCheck{Reserved_Check}
A check is made that the corresponding interrupt is not reserved.
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
+@Defn2{Term=[Program_Error],Sec=(raised by failure of runtime check)}
Program_Error is raised if the check fails, and the existing treatment
for the interrupt is not affected.
@@ -568,7 +568,7 @@
a check is made that the @Chg{Version=[3],New=[initial ],Old=[]}ceiling
priority @Chg{Version=[3],New=[of the object],Old=[defined in the
@nt{protected_definition}]} is in the range of System.@!Interrupt_Priority.
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
+@Defn2{Term=[Program_Error],Sec=(raised by failure of runtime check)}
If the check fails, Program_Error is raised.
@ChgRef{Version=[1],Kind=[Revised],Ref=[8652/0068],ARef=[AI95-00121-01]}
@@ -616,7 +616,7 @@
@ChgAdded{Version=[5],Text=[If restriction No_Dynamic_Attachment is in effect,
then a check is made that the interrupt identified by an Attach_Handler aspect
does not appear in any previously elaborated Attach_Handler aspect;
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
+@Defn2{Term=[Program_Error],Sec=(raised by failure of runtime check)}
Program_Error is raised if this check fails.]}
@begin{Reason}
@@ -914,7 +914,6 @@
interrupt, overriding any existing treatment (including a user handler)
in effect for that interrupt.
If New_Handler is @key[null], the default treatment is restored.
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
If New_Handler designates a protected procedure @Chg{Version=[3],New=[for],
Old=[to]} which the @Chg{Version=[3],New=[aspect],
Old=[pragma]}
@@ -946,7 +945,7 @@
For all operations defined in this package that take a parameter of type
Interrupt_Id, with the exception of Is_Reserved and Reference, a check is
made that the specified interrupt is not reserved.
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
+@Defn2{Term=[Program_Error],Sec=(raised by failure of runtime check)}
Program_Error is raised if this check fails.
@ChgRef{Version=[3],Kind=[Revised],ARef=[AI05-0229-1]}
@@ -956,7 +955,6 @@
@Chg{Version=[3],New=[aspect],Old=[pragma]}
Attach_Handler), the handler is not detached and Program_Error is
raised.
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
@ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00434-01]}
The Reference function returns a value of type System.Address that can
@@ -964,7 +962,6 @@
address clause (see @RefSecNum{Interrupt Entries}) to the interrupt
specified by Interrupt. This function raises Program_Error if attaching
task entries to interrupts (or to this particular interrupt) is not supported.
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
@ChgRef{Version=[3],Kind=[Added],ARef=[AI05-0153-3]}
@ChgAdded{Version=[3],Text=[The function Get_CPU returns the processor on which
@@ -2177,7 +2174,6 @@
@EndPrefixType{}
@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0231-1]}
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
Program_Error is raised if a value of Null_Task_Id is passed
as a parameter to Abort_Task,
@Chg{Version=[5],New=[Activation_Is_Complete, ],Old=[]}Is_Terminated,
@@ -2197,9 +2193,8 @@
It is a bounded error to call the Current_Task function from
an @Chg{Version=[3],New=[@nt{entry_body}],Old=[entry body]}@Chg{Version=[2],New=[,],Old=[ or an]}
interrupt handler@Chg{Version=[2],New=[, or finalization of a task attribute],Old=[]}.
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
Program_Error is raised, or an implementation-defined value of the type
-Task_Id is returned.
+Task_Id is returned.@Defn2{Term=[Program_Error],Sec=(raised by detection of a bounded error)}
@ChgImplDef{Version=[2],Kind=[Revised],InitialVersion=[0],
Text=[The value of Current_Task when in
a protected entry@Chg{Version=[2],New=[,],Old=[ or]} interrupt handler@Chg{Version=[2],
@@ -2345,10 +2340,8 @@
In most cases, the attribute memory can be reclaimed at this point.
@end{ImplNote}
-@Defn2{Term=[Tasking_Error],Sec=(raised by failure of run-time check)}
For all the operations declared in this package, Tasking_Error is raised
if the task identified by T is terminated.
-@Defn2{Term=[Program_Error],Sec=(raised by failure of run-time check)}
Program_Error is raised if the value of T is Null_Task_Id.
@ChgRef{Version=[2],Kind=[Added],ARef=[AI95-00237-01]}
Questions? Ask the ACAA Technical Agent