diff options
Diffstat (limited to 'gcc/ada/a-taside.ads')
| -rw-r--r-- | gcc/ada/a-taside.ads | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/a-taside.ads b/gcc/ada/a-taside.ads index 7466f964db7..e53ff04ac28 100644 --- a/gcc/ada/a-taside.ads +++ b/gcc/ada/a-taside.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -53,6 +53,9 @@ package Ada.Task_Identification is function Current_Task return Task_Id; pragma Inline (Current_Task); + function Environment_Task return Task_Id; + pragma Inline (Environment_Task); + procedure Abort_Task (T : Task_Id); pragma Inline (Abort_Task); -- Note: parameter is mode IN, not IN OUT, per AI-00101 @@ -63,6 +66,8 @@ package Ada.Task_Identification is function Is_Callable (T : Task_Id) return Boolean; pragma Inline (Is_Callable); + function Activation_Is_Complete (T : Task_Id) return Boolean; + private type Task_Id is new System.Tasking.Task_Id; |