Package

at.logic.gapt

utils

Permalink

package utils

Visibility
  1. Public
  2. All

Type Members

  1. trait ExternalProgram extends AnyRef

    Permalink
  2. class NameGenerator extends AnyRef

    Permalink
  3. class TimeOutException extends Exception

    Permalink

Value Members

  1. object ListSupport

    Permalink
  2. object NameGenerator

    Permalink
  3. object ScalazHelpers

    Permalink
  4. object StreamUtils

    Permalink
  5. object glob

    Permalink
  6. object help

    Permalink

    Opens the scala documentation in a browser window.

  7. package logging

    Permalink
  8. object runProcess

    Permalink
  9. object time

    Permalink
  10. object withTempFile

    Permalink
  11. 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