diff options
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scala/concurrent/Channel.scala | 9 | ||||
| -rw-r--r-- | sources/scala/concurrent/Lock.scala | 10 | ||||
| -rw-r--r-- | sources/scala/concurrent/Process.scala | 10 | ||||
| -rw-r--r-- | sources/scala/concurrent/SyncChannel.scala | 10 | ||||
| -rw-r--r-- | sources/scala/concurrent/ops.scala | 11 |
5 files changed, 48 insertions, 2 deletions
diff --git a/sources/scala/concurrent/Channel.scala b/sources/scala/concurrent/Channel.scala index f2e1286654..a2899dfc56 100644 --- a/sources/scala/concurrent/Channel.scala +++ b/sources/scala/concurrent/Channel.scala @@ -1,3 +1,12 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-04, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + package scala.concurrent; class Channel[a] { diff --git a/sources/scala/concurrent/Lock.scala b/sources/scala/concurrent/Lock.scala index 8a33912d8e..a473c358c8 100644 --- a/sources/scala/concurrent/Lock.scala +++ b/sources/scala/concurrent/Lock.scala @@ -1,3 +1,12 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-04, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + package scala.concurrent; class Lock { @@ -11,4 +20,3 @@ class Lock { notify() } } - diff --git a/sources/scala/concurrent/Process.scala b/sources/scala/concurrent/Process.scala index 0fd4b34da2..60dcc9ff6c 100644 --- a/sources/scala/concurrent/Process.scala +++ b/sources/scala/concurrent/Process.scala @@ -1,5 +1,15 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-04, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + package scala.concurrent; + object Process { def spawn(def body:unit):Process = { val p = new Process(body); diff --git a/sources/scala/concurrent/SyncChannel.scala b/sources/scala/concurrent/SyncChannel.scala index a984827024..4bc2c7abce 100644 --- a/sources/scala/concurrent/SyncChannel.scala +++ b/sources/scala/concurrent/SyncChannel.scala @@ -1,5 +1,15 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-04, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + package scala.concurrent; + class SyncChannel[a] { private var data: a = _; private var reading = false; diff --git a/sources/scala/concurrent/ops.scala b/sources/scala/concurrent/ops.scala index 554cf78021..b0d25c2585 100644 --- a/sources/scala/concurrent/ops.scala +++ b/sources/scala/concurrent/ops.scala @@ -1,5 +1,15 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-04, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +** $Id$ +\* */ + package scala.concurrent; + object ops { def spawn(def p: Unit) = { @@ -40,4 +50,3 @@ object ops { */ } - |