1pragma Restrictions (No_Exception_Propagation); 2package no_exc_prop is 3 protected Simple_Barrier is 4 entry Wait; 5 procedure Signal; 6 private 7 Signaled : Boolean := False; 8 end Simple_Barrier; 9end no_exc_prop; 10
1pragma Restrictions (No_Exception_Propagation); 2package no_exc_prop is 3 protected Simple_Barrier is 4 entry Wait; 5 procedure Signal; 6 private 7 Signaled : Boolean := False; 8 end Simple_Barrier; 9end no_exc_prop; 10