CVS difference for ais/ai-00327.txt

Differences between 1.16 and version 1.17
Log of other versions for file ais/ai-00327.txt

--- ais/ai-00327.txt	2005/10/31 05:18:30	1.16
+++ ais/ai-00327.txt	2005/12/15 02:44:06	1.17
@@ -1,4 +1,4 @@
-!standard D.03 (13)                                    05-10-05  AI95-00327/10
+!standard D.03 (13)                                    05-12-02  AI95-00327/11
 !standard D.03 (06)
 !standard D.03 (08)
 !standard D.03 (09)
@@ -65,9 +65,9 @@
 
 Replace D.3(6-11) by:
 
-A locking policy specifies the details of protected object locking. While
-all protected objects have a priority, these rules
-specify the meaning of the priority of a protected object, and the
+A locking policy specifies the details of protected object locking.
+All protected objects have a priority. The locking policy specifies
+the meaning of the priority of a protected object, and the
 relationships between these priorities and task priorities. In addition, the
 policy specifies the state of a task when it executes a protected action, and
 how its active priority is affected by the locking. The *locking policy* is
@@ -161,8 +161,9 @@
 P'Priority
   Denotes a non-aliased component of the protected object P.
   This component is of type System.Any_Priority and its value is the
-  priority of P. A reference to this attribute shall appear only within
-  the body of P.
+  priority of P. P'Priority denotes a variable if and only if P denotes a
+  variable. A reference to this attribute shall appear only within the body of
+  P.
 
 The initial value of this attribute is the initial value of the priority of the
 protected object, and can be changed by an assignment.
@@ -452,9 +453,9 @@
 of specifying either a Priority or Interrupt_Priority pragma for a protected
 object, are implementation defined.
 @dby
-A locking policy specifies the details of protected object locking. While
-all protected objects have a priority, these rules
-specify the meaning of the priority of a protected object, and the
+A locking policy specifies the details of protected object locking.
+All protected objects have a priority. The locking policy specifies
+the meaning of the priority of a protected object, and the
 relationships between these priorities and task priorities. In addition, the
 policy specifies the state of a task when it executes a protected action, and
 how its active priority is affected by the locking. The @i<locking policy> is
@@ -553,10 +554,10 @@
 
 !corrigendum D.5(1)
 
-@dinsb
+@drepl
 This clause specifies how the base priority of a task can be modified or
 queried at run time.
-@dinss
+@dby
 This clause describes how the priority of an entity can be modified or queried
 at run time.
 
@@ -589,8 +590,9 @@
 @xhang<@xterm<P'Priority>
 Denotes a non-aliased component of the protected object P.
 This component is of type System.Any_Priority and its value is the
-priority of P. A reference to this attribute shall appear only within
-the body of P.>
+priority of P. P'Priority denotes a variable if and only if P denotes a
+variable. A reference to this attribute shall appear only within the body of
+P.>
 
 The initial value of this attribute is the initial value of the priority of the
 protected object, and can be changed by an assignment.

Questions? Ask the ACAA Technical Agent