diff options
author | Arnaud Charlet <charlet@adacore.com> | 2020-01-23 10:48:08 -0500 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-04 05:11:19 -0400 |
commit | 301e2a16c443924c90e0d038862e957165dd899d (patch) | |
tree | 8a6e08af1b2c1f9536342dbdb0b69ae1e922a55d /gcc/ada/libgnarl/a-tasini.ads | |
parent | 9531ffdaafe38f8cf07481430daba035e855bdf4 (diff) | |
download | gcc-301e2a16c443924c90e0d038862e957165dd899d.zip gcc-301e2a16c443924c90e0d038862e957165dd899d.tar.gz gcc-301e2a16c443924c90e0d038862e957165dd899d.tar.bz2 |
[Ada] New package Ada.Task_Initialization
2020-06-04 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* Makefile.rtl: add a-tasini object
* impunit.adb (Non_Imp_File_Names_95): Add s-tasini.
* libgnarl/a-tasini.ads, libgnarl/a-tasini.adb: New files.
* libgnarl/s-taskin.ads (Global_Initialization_Handler): New.
* libgnarl/s-tassta.adb (Task_Wrapper): Call
Global_Initialization_Handler if non null.
Diffstat (limited to 'gcc/ada/libgnarl/a-tasini.ads')
-rw-r--r-- | gcc/ada/libgnarl/a-tasini.ads | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/gcc/ada/libgnarl/a-tasini.ads b/gcc/ada/libgnarl/a-tasini.ads new file mode 100644 index 0000000..867f8c5 --- /dev/null +++ b/gcc/ada/libgnarl/a-tasini.ads @@ -0,0 +1,42 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS -- +-- -- +-- A D A . T A S K _ I N I T I A L I Z A T I O N -- +-- -- +-- S p e c -- +-- -- +-- Copyright (C) 2020, Free Software Foundation, Inc. -- +-- -- +-- GNARL 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- -- +-- ware Foundation; either version 3, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. -- +-- -- +-- As a special exception under Section 7 of GPL version 3, you are granted -- +-- additional permissions described in the GCC Runtime Library Exception, -- +-- version 3.1, as published by the Free Software Foundation. -- +-- -- +-- You should have received a copy of the GNU General Public License and -- +-- a copy of the GCC Runtime Library Exception along with this program; -- +-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- +-- <http://www.gnu.org/licenses/>. -- +-- -- +------------------------------------------------------------------------------ + +-- This package provides a way to set up a global initialization handler +-- when tasks start. + +package Ada.Task_Initialization is + pragma Preelaborate (Task_Initialization); + + type Initialization_Handler is access procedure; + + procedure Set_Initialization_Handler (Handler : Initialization_Handler); + -- Set the global task initialization handler to Handler + +private + pragma Favor_Top_Level (Initialization_Handler); +end Ada.Task_Initialization; |