repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
PR other/53317
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
sync1.ads
blob
35349773f88197caa3f796b91ac6d62846347f98
1
package
sync1
is
2
type
Chopstick_Type
is
synchronized interface
;
3
4
type
Chopstick
is
synchronized
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
;