blob: 35349773f88197caa3f796b91ac6d62846347f98 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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;
|
