with Text_IO;                       use Text_IO;
with Ada.Strings.Unbounded;         use Ada.Strings.Unbounded;
with Tasks;			    use Tasks;
with Task_Set;                      use Task_Set;
with Offsets;			    use Offsets;
with Offsets;			    use Offsets.Offsets_Table_Package;
with Offsets.extended;		    use Offsets.extended;
with Tables;
with sets;
with Tasks; 			    use Tasks;
with Systems; 			    use Systems;
with Cache_Access_Profile_Set;      use Cache_Access_Profile_Set;
with Scheduling_Analysis; 	    use Scheduling_Analysis;
with Scheduling_Analysis;	    use Scheduling_Analysis.Task_Release_Records_Table_Package;
with Priority_Assignment.Utility;   use Priority_Assignment.Utility;
with Ada.Strings;                   use Ada.Strings;


package Priority_Assignment_Test_Printer is

   procedure Append_String
     (Source   : in out Unbounded_String;
      New_Item : in String;
      Width    : in Integer;
      Margin   : in Integer   := 0;
      Justify  : in Alignment := Left);

   procedure Print_Task
     (a_task : in Generic_Task_Ptr);

   procedure Append_Task_Info_To_Unbounded_String
     (a_task : in Generic_Task_Ptr;
      a_ustring : in out Unbounded_String);

   procedure Append_Tasks_Set_Into_To_Unbounded_String
     (my_tasks : in Tasks_Set;
      my_tasks_info : in out Unbounded_String);

   procedure Append_Cache_Access_Profiles_Info_To_Unbounded_String
     (my_cache_access_profiles : in Cache_Access_Profiles_Set;
      my_cache_access_profile_info : in out Unbounded_String);

   procedure Display_And_Store_Tasks
     (my_tasks : in Tasks_Set;
      my_tasks_info : in out Unbounded_String);

   procedure Display_And_Store_Cache_Access_Profiles
     (my_cache_access_profiles : in Cache_Access_Profiles_Set;
      my_cache_access_profiles_info : in out Unbounded_String);

   procedure Print_Task_Release_Records_Table
     (a_trrt : in Task_Release_Records_Table_Ptr);

   procedure Print_Task_Set
     (my_tasks : Tasks_Set);

   procedure Print_Cache_Access_Profiles_Set
     (my_cache_access_profiles : Cache_Access_Profiles_Set);

   procedure Print_Task_UCB_ECB_Array
     (a_task_ucb_ecb_array : Task_UCB_ECB_Array_Ptr);


end Priority_Assignment_Test_Printer;