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.