[multiple changes]
[gcc.git] / gcc / ada / s-tpobop.ads
index 2e2ba0dfb984032d052ffb9c11279104afb66c92..c53e59e0fc571f031c165dafc3d6b49e2a0cc2cb 100644 (file)
@@ -95,7 +95,7 @@ package System.Tasking.Protected_Objects.Operations is
    pragma Inline (Service_Entries);
 
    procedure PO_Service_Entries
-     (Self_ID       : Task_ID;
+     (Self_ID       : Task_Id;
       Object        : Entries.Protection_Entries_Access;
       Unlock_Object : Boolean := True);
    --  Service all entry queues of the specified object, executing the
@@ -110,7 +110,10 @@ package System.Tasking.Protected_Objects.Operations is
    --
    --  This must be called with abortion deferred and with the corresponding
    --  object locked.
-   --  If Unlock_Object, then Object is unlocked on return.
+   --
+   --  If Unlock_Object is set True, then Object is unlocked on return,
+   --  otherwise Object remains locked and the caller is responsible for
+   --  the required unlock.
 
    procedure Complete_Entry_Body (Object : Entries.Protection_Entries_Access);
    --  Called from within an entry body procedure, indicates that the
@@ -173,7 +176,7 @@ package System.Tasking.Protected_Objects.Operations is
    --  Return the number of entry calls to E on Object.
 
    function Protected_Entry_Caller
-     (Object : Entries.Protection_Entries'Class) return Task_ID;
+     (Object : Entries.Protection_Entries'Class) return Task_Id;
    --  Return value of E'Caller, where E is the protected entry currently
    --  being handled. This will only work if called from within an entry
    --  body, as required by the LRM (C.7.1(14)).
@@ -181,7 +184,7 @@ package System.Tasking.Protected_Objects.Operations is
    --  For internal use only:
 
    procedure PO_Do_Or_Queue
-     (Self_ID    : Task_ID;
+     (Self_ID    : Task_Id;
       Object     : Entries.Protection_Entries_Access;
       Entry_Call : Entry_Call_Link;
       With_Abort : Boolean);
@@ -191,7 +194,7 @@ package System.Tasking.Protected_Objects.Operations is
 
 private
    type Communication_Block is record
-      Self      : Task_ID;
+      Self      : Task_Id;
       Enqueued  : Boolean := True;
       Cancelled : Boolean := False;
    end record;