diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-04-06 11:43:23 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-04-06 11:43:23 +0200 |
commit | fa5537cb48d7df5c01dfba4f1c3456a08d14f292 (patch) | |
tree | 51da2dab55493e0366ca4d794cd80c8d4315d781 /gcc/ada/a-disedf.ads | |
parent | 8405d93cb85e88f95daae9de30039cc9745f507d (diff) | |
download | gcc-fa5537cb48d7df5c01dfba4f1c3456a08d14f292.zip gcc-fa5537cb48d7df5c01dfba4f1c3456a08d14f292.tar.gz gcc-fa5537cb48d7df5c01dfba4f1c3456a08d14f292.tar.bz2 |
New file.
Resync.
From-SVN: r123611
Diffstat (limited to 'gcc/ada/a-disedf.ads')
-rw-r--r-- | gcc/ada/a-disedf.ads | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/gcc/ada/a-disedf.ads b/gcc/ada/a-disedf.ads new file mode 100644 index 0000000..f1a5f3c --- /dev/null +++ b/gcc/ada/a-disedf.ads @@ -0,0 +1,50 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- A D A . D I S P A T C H I N G . E D F -- +-- -- +-- S p e c -- +-- -- +-- This specification is derived from the Ada Reference Manual for use with -- +-- GNAT. In accordance with the copyright of that document, you can freely -- +-- copy and modify this specification, provided that if you redistribute a -- +-- modified version, any changes that you have made are clearly indicated. -- +-- -- +------------------------------------------------------------------------------ + +-- This unit is not implemented in typical GNAT implementations that lie on +-- top of operating systems, because it is infeasible to implement in such +-- environments. + +-- If a target environment provides appropriate support for this package, +-- then the Unimplemented_Unit pragma should be removed from this spec and +-- an appropriate body provided. + +with Ada.Real_Time; +with Ada.Task_Identification; + +package Ada.Dispatching.EDF is + pragma Preelaborate; + + pragma Unimplemented_Unit; + + subtype Deadline is Ada.Real_Time.Time; + + Default_Deadline : constant Deadline := Ada.Real_Time.Time_Last; + + procedure Set_Deadline + (D : Deadline; + T : Ada.Task_Identification.Task_Id := + Ada.Task_Identification.Current_Task); + + procedure Delay_Until_And_Set_Deadline + (Delay_Until_Time : Ada.Real_Time.Time; + Deadline_Offset : Ada.Real_Time.Time_Span); + + function Get_Deadline + (T : Ada.Task_Identification.Task_Id := + Ada.Task_Identification.Current_Task) + return Deadline; + +end Ada.Dispatching.EDF; |