make n
returns a countdown latch waiting for n
threads; see
CountDownLatch(...).Java_exception
if n
is negativeJava_exception
if the thread is interruptedawait_time c t u
is similar to await c
, except that the current
thread will at most wait for t
(time value whose unit is u
); see
await(...).Java_exception
if the thread is interruptedwrap obj
wraps the reference obj
into an option type:Some x
if obj
is not null
;None
if obj
is null
.unwrap obj
unwraps the option obj
into a bare reference:Some x
is mapped to x
;None
is mapped to null
.