diff options
| -rw-r--r-- | sources/examples/pilib/elasticBuffer.scala | 2 | ||||
| -rw-r--r-- | sources/examples/pilib/handover.scala | 2 | ||||
| -rw-r--r-- | sources/examples/pilib/mobilePhoneProtocol.scala | 2 | ||||
| -rw-r--r-- | sources/examples/pilib/piNat.scala | 2 | ||||
| -rw-r--r-- | sources/examples/pilib/scheduler.scala | 2 | ||||
| -rw-r--r-- | sources/examples/pilib/semaphore.scala | 2 | ||||
| -rw-r--r-- | sources/examples/pilib/twoPlaceBuffer.scala | 2 |
7 files changed, 14 insertions, 0 deletions
diff --git a/sources/examples/pilib/elasticBuffer.scala b/sources/examples/pilib/elasticBuffer.scala index 50e61c291a..5e52a0fdce 100644 --- a/sources/examples/pilib/elasticBuffer.scala +++ b/sources/examples/pilib/elasticBuffer.scala @@ -1,3 +1,5 @@ +package examples.pilib; + object elasticBuffer { import scala.concurrent.pilib._; diff --git a/sources/examples/pilib/handover.scala b/sources/examples/pilib/handover.scala index 906af55689..85fb899555 100644 --- a/sources/examples/pilib/handover.scala +++ b/sources/examples/pilib/handover.scala @@ -1,3 +1,5 @@ +package examples.pilib; + /** * Handover example with recursive types for channels. */ diff --git a/sources/examples/pilib/mobilePhoneProtocol.scala b/sources/examples/pilib/mobilePhoneProtocol.scala index 553bc68e7f..0b13f78fd3 100644 --- a/sources/examples/pilib/mobilePhoneProtocol.scala +++ b/sources/examples/pilib/mobilePhoneProtocol.scala @@ -1,3 +1,5 @@ +package examples.pilib; + /** * Mobile phone protocol. * Equivalent to a three-place buffer. diff --git a/sources/examples/pilib/piNat.scala b/sources/examples/pilib/piNat.scala index b3364227c2..2d34f90100 100644 --- a/sources/examples/pilib/piNat.scala +++ b/sources/examples/pilib/piNat.scala @@ -1,3 +1,5 @@ +package examples.pilib; + import scala.concurrent.pilib._; //import pilib._; diff --git a/sources/examples/pilib/scheduler.scala b/sources/examples/pilib/scheduler.scala index bc291d8f56..3b08a9df66 100644 --- a/sources/examples/pilib/scheduler.scala +++ b/sources/examples/pilib/scheduler.scala @@ -1,3 +1,5 @@ +package examples.pilib; + import scala.concurrent.pilib._; object scheduler { diff --git a/sources/examples/pilib/semaphore.scala b/sources/examples/pilib/semaphore.scala index f1f454e239..e41a5de024 100644 --- a/sources/examples/pilib/semaphore.scala +++ b/sources/examples/pilib/semaphore.scala @@ -1,3 +1,5 @@ +package examples.pilib; + /** Solution of exercise session 6 (first question). */ object semaphore { diff --git a/sources/examples/pilib/twoPlaceBuffer.scala b/sources/examples/pilib/twoPlaceBuffer.scala index 670c879ce6..686547b344 100644 --- a/sources/examples/pilib/twoPlaceBuffer.scala +++ b/sources/examples/pilib/twoPlaceBuffer.scala @@ -1,3 +1,5 @@ +package examples.pilib; + import scala.concurrent.pilib._; /** Two-place buffer specification and implementation. */ |