aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8.3/gcc/ada/a-disedf.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.8.3/gcc/ada/a-disedf.ads')
-rw-r--r--gcc-4.8.3/gcc/ada/a-disedf.ads50
1 files changed, 50 insertions, 0 deletions
diff --git a/gcc-4.8.3/gcc/ada/a-disedf.ads b/gcc-4.8.3/gcc/ada/a-disedf.ads
new file mode 100644
index 000000000..f1a5f3c50
--- /dev/null
+++ b/gcc-4.8.3/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;