POK
/home/jaouen/pok_official/pok/trunk/libpok/ada/arinc653/apex-timing.ads
00001 -- ---------------------------------------------------------------------------
00002 -- --
00003 -- TIME constant and type definitions and management services --
00004 -- --
00005 -- ---------------------------------------------------------------------------
00006 package APEX.Timing is
00007    procedure Timed_Wait
00008       (Delay_Time : in System_Time_Type;
00009        Return_Code : out Return_Code_Type);
00010    procedure Periodic_Wait (Return_Code : out Return_Code_Type);
00011    procedure Get_Time
00012       (System_Time : out System_Time_Type;
00013        Return_Code : out Return_Code_Type);
00014    procedure Replenish
00015       (Budget_Time : in System_Time_Type;
00016        Return_Code : out Return_Code_Type);
00017 
00018    -- POK BINDINGS
00019    pragma Import (C, Timed_Wait, "TIMED_WAIT");
00020    pragma Import (C, Periodic_Wait, "PERIODIC_WAIT");
00021    pragma Import (C, Get_Time, "GET_TIME");
00022    pragma Import (C, Replenish, "REPLENISH");
00023    -- END OF POK BINDINGS
00024 end Apex.Timing;