condition

type condition

A condition for synchronizing concurrent code.

fun condition(): condition

Returns a new condition.

meth (Condition: condition):broadcast

Signals Condition, resuming all waiters.

meth (Condition: condition):signal

Signals Condition, resuming a single waiter.

meth (Condition: condition):wait(Semaphore: semaphore): integer

Increments Semaphore, waits until Condition is signalled, then decrements Semaphore (waiting if necessary) and returns its value.