Subversion Repositories openrisc

------------------------------------------------------------------------------

--                                                                          --

--                         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;