POK
/home/jaouen/pok_official/pok/trunk/libpok/ada/arinc653/apex-module_schedules.ads
00001 -- ---------------------------------------------------------------------------
00002 -- --
00003 -- MODULE_SCHEDULES constant and type definitions and management services --
00004 -- --
00005 -- ---------------------------------------------------------------------------
00006 package APEX.Module_Schedules is
00007    type Schedule_Id_Type is private;
00008    Null_Schedule_Id : constant Schedule_Id_Type;
00009    subtype Schedule_Name_Type is Name_Type;
00010    type Schedule_Status_Type     is record
00011        Time_Of_Last_Schedule_Switch        : System_Time_Type;
00012        Current_Schedule                    : Schedule_Id_Type;
00013        Next_Schedule                : Schedule_Id_Type;
00014    end record;
00015    procedure Set_Module_Schedule
00016       (Schedule_Id      : in Schedule_Id_Type;
00017        Return_Code      : out Return_Code_Type);
00018    procedure Get_Module_Schedule_Status
00019       (Schedule_Status      : out Schedule_Status_Type;
00020        Return_Code          : out Return_Code_Type);
00021    procedure Get_Module_Schedule_Id
00022       (Schedule_Name     : in Schedule_Name_Type;
00023        Schedule_Id       : out Schedule_Id_Type;
00024        Return_Code       : out Return_Code_Type);
00025 private
00026    Type Schedule_Id_Type is new APEX_Integer;
00027    Null_Schedule_Id : constant Schedule_Id_Type := 0;
00028    pragma Convention (C, Schedule_Status_Type);
00029 end APEX.Module_Schedules;