Package

at.logic.gapt.utils.executionModels

timeout

Permalink

package timeout

Visibility
  1. Public
  2. All

Type Members

  1. class TimeOutException extends Exception

    Permalink

Value Members

  1. object withTimeout extends Logger

    Permalink

    runs f with timeout to

    runs f with timeout to

    If f does terminate within to milliseconds returns its result. If not throw a TimeOutException. If f throws an exception it is propagated to the caller of withTimeout.

    Use this as follows: try { withTimeout( 1234 ) { ... your code ... } } catch { case e: TimeOutException ... case ... other exception }

Ungrouped