package utils
- Alphabetic
- By Inheritance
- utils
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- class Counter extends AnyRef
- sealed trait Doc extends AnyRef
- trait ExceptionTag[T] extends AnyRef
Allows to tag an exception with additional debugging data.
Allows to tag an exception with additional debugging data. It could be used as follows:
if (isBad( element ) ) throw new Exception with ExceptionTag[Element] { tag = element }
and be used in a try pattern match on the command-line.
- 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 MetricsPrinter extends LogHandler
- class MetricsPrinterWithMessages extends MetricsPrinter
- class NameGenerator extends AnyRef
- case class Statistic[T](n: Int, min: T, max: T, avg: BigDecimal, median: BigDecimal, sigma_square: Option[BigDecimal]) extends Serializable with Product
Holds the statistic parameters of a collection of elements of type a numerical type T
Holds the statistic parameters of a collection of elements of type a numerical type T
- T
the type of elements the collection contains
- n
the size of the data
- min
the minimal element
- max
the maximal element
- avg
the average element
- median
the median element
- sigma_square
the square of the standard deviation (only exists for n >= 2)
- Annotations
- @SerialVersionUID()
- class TimeOutException extends Exception
- case class Tree[+T](value: T, children: Vector[Tree[T]]) extends Product with Serializable
- final class UOption[+T] extends AnyVal
Unboxed option type similar to
Option[T]
.Unboxed option type similar to
Option[T]
.Note that
USome(UNone()) == UNone()
andUSome(null) == UNone()
.
Value Members
- def crossProduct[T](xs: Seq[Iterable[T]]): Iterable[Seq[T]]
- def symmetricClosure[T](xs: Set[(T, T)]): Set[(T, T)]
- def unorderedPairsOf[T](elements: Iterable[T]): Iterable[(T, T)]
- object Doc
- object EitherHelpers
- object LogHandler
- object Logger extends LogHandler with Serializable
- object Maybe extends Maybe1
- object NameGenerator
- object Statistic extends Serializable
Companion object to Statistic.
Companion object to Statistic. Provides a csv header and convenience methods for statistic options and empty data lists.
- object StreamUtils
- object Tree extends Serializable
- object UNone
- object USome
- object generatedUpperSetInPO
- object help
Opens the scala documentation in a browser window.
- object linearizeStrictPartialOrder
- object quiet extends VerbosityChanger
- object runProcess
- object shortestPath
- object time
- object transitiveClosure
- 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.
try { withTimeout( 1234 ) { /* ... your code ... */ } } catch { case e: TimeOutException /* ... */ /* other exceptions */ }
Example: - object zipped
This is the API documentation for GAPT.
The main package is gapt.