gcc/testsuite/gnat.dg/sync1.ads

   1 package sync1 is
   2    type Chopstick_Type is synchronized interface;
   3
   4    type Chopstick is new Chopstick_Type with private;
   5 private
   6    protected type Chopstick is new Chopstick_Type with
   7       entry Pick_Up;
   8       procedure Put_Down;
   9    private
  10       Busy : Boolean := False;
  11    end Chopstick;
  12 end sync1;