1 -- ---------------------------------------------------------------------------
3 -- TIME constant and type definitions and management services --
5 -- ---------------------------------------------------------------------------
8 (Delay_Time : in System_Time_Type;
9 Return_Code : out Return_Code_Type);
10 procedure Periodic_Wait (Return_Code : out Return_Code_Type);
12 (System_Time : out System_Time_Type;
13 Return_Code : out Return_Code_Type);
15 (Budget_Time : in System_Time_Type;
16 Return_Code : out Return_Code_Type);
19 pragma Import (C, Timed_Wait,
"TIMED_WAIT");
20 pragma Import (C, Periodic_Wait,
"PERIODIC_WAIT");
21 pragma Import (C, Get_Time,
"GET_TIME");
22 pragma Import (C, Replenish,
"REPLENISH");
23 -- END OF POK BINDINGS