package utils
- Alphabetic
- Public
- All
Type Members
- sealed trait Doc extends AnyRef
- trait ExternalProgram extends AnyRef
- trait Logger extends AnyRef
- trait MetricsCollector extends AnyRef
- class NameGenerator extends AnyRef
-
sealed
trait
Not
[T] extends AnyRef
Together with the scala
<:<
construct, the Not trait allows us to express that a type is not a subtype of another.Together with the scala
<:<
construct, the Not trait allows us to express that a type is not a subtype of another. This works in the following manner: Suppose you have typesS <: T
and a functionfoo[T]
that you only want to apply to elements of type T that are not of type S. Then you can writefoo[T](implicit notAnS: Not[S <:<T])
.TODO: Add an "ambiguous implicit" annotation to make this clearer. My scala version does not currently support this.
- class TimeOutException extends Exception
Value Members
- object Doc
- object EitherHelpers
- object IgnoreMetrics extends MetricsCollector
- object Logger
- object NameGenerator
- object Not
- object PrintMetrics extends MetricsCollector
- object StreamUtils
- object generatedUpperSetInPO
-
object
help
Opens the scala documentation in a browser window.
- object linearizeStrictPartialOrder
- object metrics extends MetricsCollector
- object runProcess
- object time
- object withTempFile
-
object
withTimeout
extends Logger
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 }