Scala 2.6.0-final

API Specification

This document is the API specification for Scala Library Documentation

Class Summary
class Channel [a] extends AnyRef
This class ...
trait LinkedListQueueCreator extends AnyRef
Efficient queue module creator based on linked lists.
trait ListQueueCreator extends AnyRef
Inefficient but simple queue module creator.
class Lock extends AnyRef
This class ...
class MailBox extends ListQueueCreator
This class ...
trait QueueModule [A] extends AnyRef
Module for dealing with queues.
class SyncChannel [a] extends AnyRef
The class SyncChannel ...
class SyncVar [A] extends AnyRef
The class SyncVar ...
Object Summary
case object TIMEOUT extends Product
The message sent to a message box when the period specified in receiveWithin expires.
object jolib extends AnyRef
Library for using join-calculus concurrent primitives in Scala.
object ops extends AnyRef
The object ops ...
object pilib extends AnyRef

Library for using Pi-calculus concurrent primitives in Scala. As an example, the definition of a two-place buffer using the pilib library looks like:

  def Buffer[a](put: Chan[a], get: Chan[a]) {
    def B0 { choice ( put * { x => B1(x) } ) }
    def B1(x: a) { choice ( get(x) * B0, put * { y => B2(x, y) } ) }
    def B2(x: a, y: a) { choice ( get(x) * B1(y) ) }
    B0
  }