-- /usr/users/brock/431/progs/tasktest.ada

with TEXT_IO, TESTPACK ;

    


procedure tasktest is
  S: TESTPACK.semifor ;
  task T1 ;
  task T2 ;
  task T3 ;
  task body T1 is
  begin
      TEXT_IO.PUT_LINE("Task T1 wants to moremore") ;
      S.moremore ;
      TEXT_IO.PUT_LINE("Task T1 has done moremore") ;
      TEXT_IO.PUT_LINE("Task T1 waits 5 seconds") ;
      delay 5.0 ;
      TEXT_IO.PUT_LINE("Task T1 wants to moremore again") ;
      S.moremore ;
      TEXT_IO.PUT_LINE("Task T1 has done moremore again") ;
  end T1 ;
  task body T2 is
  begin
      TEXT_IO.PUT_LINE("Task T2 wants to lessless") ;
      S.lessless ;
      TEXT_IO.PUT_LINE("Task T2 has done lessless") ;
  end T2 ;
  task body T3 is
  begin
      TEXT_IO.PUT_LINE("Task T3 wants to lessless") ;
      S.lessless ;
      TEXT_IO.PUT_LINE("Task T3 has done lessless") ;
  end T3 ;


begin
  TEXT_IO.PUT_LINE("The tasktester starts.") ;
  TEXT_IO.PUT_LINE("The tasktester ends.") ;
end tasktest ;