semaphores.adb

来自「Ada 2005 Training Notes.」· ADB 代码 · 共 19 行

with Ada.Text_IO;	use Ada.Text_IO;

package body Semaphores is
   protected body Semaphore is
      entry Secure when Count > 0 is
      begin
         Put_Line("Semaphore Secure Count = " & Integer'Image(Count));
         Count := Count - 1;
      end Secure;

      procedure Release is
      begin
         Put_Line("Semaphore Release Count = " & Integer'Image(Count));
         Count := Count + 1;
      end Release;
   end Semaphore;

end;