diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/sync1.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/sync1.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/sync1.ads b/gcc/testsuite/gnat.dg/sync1.ads new file mode 100644 index 000000000..35349773f --- /dev/null +++ b/gcc/testsuite/gnat.dg/sync1.ads @@ -0,0 +1,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; |