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