pragma Task_Dispatching_Policy(FIFO_Within_Priorities);

with Ada.Real_Time;
use Ada.Real_Time;

with Ada.Dynamic_Priorities;
use Ada.Dynamic_Priorities;

--  with Rtl_Pt1;
--  use Rtl_Pt1;

procedure Self_Dyn_Prior is
   task T1 is
      pragma Priority(16);
   end T1;

   task T2 is
      pragma Priority(17);
   end T2;

   task T3 is
      pragma Priority(15);
   end T3;

   task body T1 is
      Next : Time;
      Period : Time_Span := Milliseconds (5);
      Time1 : Time;
      Time2 : Time;
   begin
      Next := Clock + Period;
      loop
         Time1 := Clock;
         Time2 := Clock + Milliseconds(2);
         while Time1<Time2
         loop
            Time1:=Clock;
         end loop;

         delay until Next;
         Next := Next + Period;
      end loop;
   end T1;

   task body T2 is
      Next : Time;
      Period : Time_Span := Milliseconds (3);
      Time1: Time;
      Time2: Time;
   begin
      Next := Clock + Period;
      loop
         Time1 := Clock;
         Time2 := Clock + Microseconds(500);
         while Time1<Time2
         loop
            Time1:=Clock;
         end loop;
         Set_Priority(5);
         Time1 := Clock;
         Time2 := Clock + Milliseconds(1);
         while Time1<Time2
         loop
            Time1:=Clock;
         end loop;
         Set_Priority(17);
         delay until Next;
         Next := Next + Period;
      end loop;
   end T2;

   task body T3 is
      Next : Time;
      Period : Time_Span := Microseconds(300);
      Next_While: Time;
      Period_While : Time_Span := Microseconds(20);
   begin
      Next := Clock + Period;
      loop
         Next_While := Clock + Period_While;
         while Clock < Next_While
         loop
            null;
         end loop;
         delay until Next;
         Next := Next + Period;
      end loop;
   end T3;

   Res: Integer;
begin
   --  Res := Integer(Rtl_Ktrace_start);
   delay 0.5;
   --  Res := Integer(Rtl_Ktrace_stop);
end Self_Dyn_Prior;