with unbounded_strings; use unbounded_strings;
with Objects; use Objects;
with Systems; use Systems;


package Feasibility_Test.Wort_Case_Response_Time is

   procedure Audsley_Compute_Offset_Response_Time
     (My_Task_Groups : in Task_Groups_Set;
      Processor_Name : in Unbounded_String;
      Msg            : in out Unbounded_String;
      Response_Time  : out Response_Time_Table);

   procedure Tindell_Compute_Offset_Response_Time
     (My_Task_Groups : in Task_Groups_Set;
      Processor_Name : in Unbounded_String;
      Msg            : in out Unbounded_String;
      Response_Time  : out Response_Time_Table);

   procedure WCDOPS_Plus
     (My_System : in out System;
      Response_Times : in out Response_Time_Table;
      Stop_On_Deadline_Missed : in Boolean := False);

   procedure WCDOPS_Plus_NIMP
     (My_System : in out System;
      Response_Times : in out Response_Time_Table;
      Stop_On_Deadline_Missed : in Boolean := False);

end Feasibility_Test.Wort_Case_Response_Time;