OS/2 Shareware BBS: 10 Tools/10-Tools.zip/adav313.zip/gnat-3_13p-os2-bin-20010916.zip/emx/gnat/examples/chop.adb

Text File | 2000-07-19 | 446b | 27 lines

------
--::::::::::
--chop.adb
--::::::::::
package body Chop is

  -- Dining Philosophers - Ada 95 edition
  -- Chopstick is an Ada 95 protected type
  -- Michael B. Feldman, The George Washington University,
  -- July, 1995.

  protected body Stick is

    entry PIck_Up when not In_Use is
    begin
      In_Use := True;
    end PIck_Up;

    procedure Put_Down is
    begin
      In_Use := False;
    end Put_Down;

  end Stick;

end Chop;