no_exc_prop.ads

来自「用于进行gcc测试」· ADS 代码 · 共 10 行

pragma Restrictions (No_Exception_Propagation);
package no_exc_prop is
   protected Simple_Barrier is
      entry Wait;
      procedure Signal;
   private
         Signaled : Boolean := False;
   end Simple_Barrier;
end no_exc_prop;