Packages

p

gapt

utils

package utils

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Doc extends AnyRef
  2. trait ExceptionTag[T] extends AnyRef
  3. trait ExternalProgram extends AnyRef
  4. trait LogHandler extends AnyRef
  5. case class Logger(domain: String) extends Product with Serializable
  6. sealed trait Maybe[+T] extends AnyRef
  7. trait Maybe0 extends AnyRef
  8. trait Maybe1 extends Maybe0
  9. class MetricsPrinter extends LogHandler
  10. class NameGenerator extends AnyRef
  11. 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()
  12. class TimeOutException extends Exception
  13. case class Tree[+T](value: T, children: Vector[Tree[T]]) extends Product with Serializable
  14. 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() and USome(null) == UNone().

Value Members

  1. object Doc
  2. object EitherHelpers
  3. object LogHandler
  4. object Logger extends LogHandler with Serializable
  5. object Maybe extends Maybe1
  6. object NameGenerator
  7. 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.

  8. object StreamUtils
  9. object Tree extends Serializable
  10. object UNone
  11. object USome
  12. object generatedUpperSetInPO
  13. object help

    Opens the scala documentation in a browser window.

  14. object linearizeStrictPartialOrder
  15. object quiet extends VerbosityChanger
  16. object runProcess
  17. object time
  18. object transitiveClosure
  19. object verbose extends VerbosityChanger
  20. object withTempFile
  21. 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 }

Ungrouped