1 with System; with Unchecked_Conversion;
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 ));
10 Sema1 : protected_Queue_T (5);
11 Sema2 : protected_Queue_T (10);