*** empty log message ***

1 files changed, 16 insertions, 0 deletions

diff --git a/sources/examples/buffer1.scala b/sources/examples/buffer1.scala
new file mode 100644
index 0000000000..40be8431be
--- /dev/null
+++ b/sources/examples/buffer1.scala
@@ -0,0 +1,16 @@
+package examples;
+
+import scala.concurrent._;
+
+class OnePlaceBuffer() {
+  private val m = new MailBox();             // An internal mailbox
+  private case class Empty(), Full(x: Int);  // Types of messages we deal with
+
+  m send Empty();                            // Initialization
+
+  def write(x: Int): Unit =
+    m receive { case Empty() => m send Full(x) }
+
+  def read: Int =
+    m receive { case Full(x) => m send Empty() ; x }
+}