gcc/testsuite/gnat.dg/test_prio_p.ads

   1 with System; with Unchecked_Conversion;
   2 package test_prio_p is
   3    type Task_Priority_T is new Natural;
   4    function Convert_To_System_Priority is
   5    new Unchecked_Conversion (Task_Priority_T, System.Priority);
   6    protected type Protected_Queue_T( PO_Priority : Task_Priority_T ) is
   7       pragma Priority (Convert_To_System_Priority (PO_Priority ));
   8       entry Seize;
   9    end Protected_Queue_T;
  10    Sema1 : protected_Queue_T (5);
  11    Sema2 : protected_Queue_T (10);
  12 end test_prio_p;