diff options
Diffstat (limited to 'gcc/ada/5gtasinf.ads')
| -rw-r--r-- | gcc/ada/5gtasinf.ads | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/gcc/ada/5gtasinf.ads b/gcc/ada/5gtasinf.ads index 31d2760c7dc..8cb4f232d7f 100644 --- a/gcc/ada/5gtasinf.ads +++ b/gcc/ada/5gtasinf.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2001 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2003 Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -32,16 +32,22 @@ ------------------------------------------------------------------------------ -- This package contains the definitions and routines associated with the --- implementation of the Task_Info pragma. +-- implementation and use of the Task_Info pragma. It is specialized +-- appropriately for targets that make use of this pragma. + +-- Note: the compiler generates direct calls to this interface, via Rtsfind. +-- Any changes to this interface may require corresponding compiler changes. + +-- This unit may be used directly from an application program by providing +-- an appropriate WITH, and the interface can be expected to remain stable. -- This is the SGI (libathread) specific version of this module. with System.OS_Interface; -with Unchecked_Deallocation; package System.Task_Info is -pragma Elaborate_Body; --- To ensure that a body is allowed + pragma Elaborate_Body; + -- To ensure that a body is allowed --------------------------------------------------------- -- Binding of Tasks to sprocs and sprocs to processors -- @@ -273,13 +279,6 @@ pragma Elaborate_Body; NDPRI : Non_Degrading_Priority := NDP_NONE) return Task_Info_Type; - type Task_Image_Type is access String; - -- Used to generate a meaningful identifier for tasks that are variables - -- and components of variables. - - procedure Free_Task_Image is new - Unchecked_Deallocation (String, Task_Image_Type); - Unspecified_Task_Info : constant Task_Info_Type := null; end System.Task_Info; |
