package utils
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- sealed trait Doc extends AnyRef
- trait ExternalProgram extends AnyRef
- trait LogHandler extends AnyRef
- case class Logger(domain: String) extends Product with Serializable
- sealed trait Maybe[+T] extends AnyRef
- trait Maybe0 extends AnyRef
- trait Maybe1 extends Maybe0
- class NameGenerator extends AnyRef
- class TimeOutException extends Exception
Value Members
- object Doc
- object EitherHelpers
- object LogHandler
- object Logger extends LogHandler with Serializable
- object Maybe extends Maybe1
- object NameGenerator
- object StreamUtils
- object generatedUpperSetInPO
-
object
help
Opens the scala documentation in a browser window.
- object linearizeStrictPartialOrder
- object quiet extends VerbosityChanger
- object runProcess
- object time
- object verbose extends VerbosityChanger
- object withTempFile
-
object
withTimeout
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 }
This is the API documentation for GAPT.
The main package is gapt.