Check whether a timeout has occurred.
Check whether a timeout has occurred. In this case, on object of class
Timeout
is thrown
Apply a conversion function to the argument of a possible raised timeout.
Apply a conversion function to the argument of a possible raised timeout. The idea is that the timeout argument should describe the partial (unfinished) results that had been computed before the timeout
Execute code in the context of a given timeout checker c
,
which is a function that raises Timeout
in case a timeout
occurred
Execute code in the context of a given timeout checker c
,
which is a function that raises Timeout
in case a timeout
occurred
Run some computation for at most millis
milliseconds.
Run some computation for at most millis
milliseconds. If a
timeout occurs, do timeoutComp
instead.
(Since version ) see corresponding Javadoc for more information.