home *** CD-ROM | disk | FTP | other *** search
- ------------------------------------------------------------------------------
- -- --
- -- GNAT RUNTIME COMPONENTS --
- -- --
- -- A D A . T A S K _ I D E N T I F I C A T I O N --
- -- --
- -- B o d y --
- -- --
- -- $Revision: 1.7 $ --
- -- --
- -- Copyright (c) 1992,1993,1994,1995 NYU, All Rights Reserved --
- -- --
- -- The GNAT library is free software; you can redistribute it and/or modify --
- -- it under terms of the GNU Library General Public License as published by --
- -- the Free Software Foundation; either version 2, or (at your option) any --
- -- later version. The GNAT library is distributed in the hope that it will --
- -- be useful, but WITHOUT ANY WARRANTY; without even the implied warranty --
- -- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU --
- -- Library General Public License for more details. You should have --
- -- received a copy of the GNU Library General Public License along with --
- -- the GNAT library; see the file COPYING.LIB. If not, write to the Free --
- -- Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. --
- -- --
- ------------------------------------------------------------------------------
-
- with System.Address_Image;
- with System.Tasking.Abortion;
- with System.Tasking.Stages;
- with System.Tasking.Rendezvous;
-
- with Unchecked_Conversion;
-
- package body Ada.Task_Identification is
-
- ---------
- -- "=" --
- ---------
-
- function "=" (Left, Right : Task_Id) return Boolean is
- begin
- return System.Tasking."=" (Convert_Ids (Left), Convert_Ids (Right));
- end "=";
-
- -----------------
- -- Abort_Task --
- ----------------
-
- procedure Abort_Task (T : in out Task_Id) is
- begin
- System.Tasking.Abortion.Abort_Tasks
- (System.Tasking.Task_List'(1 => Convert_Ids (T)));
- end Abort_Task;
-
- ------------------
- -- Current_Task --
- ------------------
-
- function Current_Task return Task_Id is
- begin
- return Convert_Ids (System.Tasking.Self);
- end Current_Task;
-
- -----------
- -- Image --
- -----------
-
- function Image (T : Task_Id) return String is
-
- function To_Address is new
- Unchecked_Conversion (Task_Id, System.Address);
-
- begin
- return System.Address_Image (To_Address (T));
- end Image;
-
- -----------------
- -- Is_Callable --
- -----------------
-
- function Is_Callable (T : Task_Id) return Boolean is
- begin
- return System.Tasking.Rendezvous.Callable (Convert_Ids (T));
- end Is_Callable;
-
- -------------------
- -- Is_Terminated --
- -------------------
-
- function Is_Terminated (T : Task_Id) return Boolean is
- begin
- return
- System.Tasking.Stages.Terminated (Convert_Ids (T));
- end Is_Terminated;
-
- end Ada.Task_Identification;
-