Ada Programming/Libraries/Ada.Task_Identification
Appearance
This language feature is available from Ada 95 on.
Ada.Task_Identification is a unit of the Predefined Language Environment since Ada 95.
Specification
[edit | edit source]-- Standard Ada library specification -- Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com> -- Copyright (c) 2004-2016 AXE Consultants -- Copyright (c) 2004, 2005, 2006 Ada-Europe -- Copyright (c) 2000 The MITRE Corporation, Inc. -- Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc. -- SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual -- -------------------------------------------------------------------------package
Ada.Task_Identificationis
pragma
Preelaborate(Task_Identification);type
Task_Idis
private
;pragma
Preelaborable_Initialization (Task_Id); Null_Task_Id :constant
Task_Id;function
"=" (Left, Right : Task_Id)return
Boolean;function
Image (T : Task_Id)return
String;function
Current_Taskreturn
Task_Id;procedure
Abort_Task (T :in
out
Task_Id);function
Is_Terminated (T : Task_Id)return
Boolean;function
Is_Callable (T : Task_Id)return
Boolean;private
pragma
Import (Ada, Task_Id);pragma
Import (Ada, Null_Task_Id);end
Ada.Task_Identification;
See also
[edit | edit source]Wikibook
[edit | edit source]External examples
[edit source]- Search for examples of
Ada.Task_Identification
in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook. - Search for posts related to
Ada.Task_Identification
in: Stack Overflow, comp.lang.ada or any Ada related page.
Ada Reference Manual
[edit | edit source]Ada 95
[edit | edit source]Ada 2005
[edit | edit source]Ada 2012
[edit | edit source]Open-Source Implementations
[edit | edit source]FSF GNAT
- Specification: a-taside.ads
- Body: a-taside.adb
drake
- Specification: tasking/a-taside.ads
- Body: tasking/a-taside.adb