WaitRegistry

The waits started on this node: a wait is registered before its command is executed, takes the signals of its hops as they arrive, and is removed when its caller has its answer or gives up. A signal for a wait this node does not hold (ended, timed out, or never here) is dropped. It holds at most the bound each registration names: a registration beyond it is refused.

Constructors

Link copied to clipboard
constructor()

Properties

Link copied to clipboard
val size: Int

The waits registered now.

Functions

Link copied to clipboard
fun signal(signal: WaitSignal): Boolean

Applies signal to its wait.