13 lines
319 B
Ada
13 lines
319 B
Ada
|
package sync1 is
|
||
|
type Chopstick_Type is synchronized interface;
|
||
|
|
||
|
type Chopstick is synchronized new Chopstick_Type with private;
|
||
|
private
|
||
|
protected type Chopstick is new Chopstick_Type with
|
||
|
entry Pick_Up;
|
||
|
procedure Put_Down;
|
||
|
private
|
||
|
Busy : Boolean := False;
|
||
|
end Chopstick;
|
||
|
end sync1;
|