Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  implicit def arbExp: Arbitrary[Exp]

   Definition Classes

   Generator

5.  implicit def arbVar: Arbitrary[Var]

   Definition Classes

   Generator

6.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7.  val banner: String

   Definition Classes

   GeneratingREPLBase → REPLBase

8.  def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value

   Definition Classes

   Values

9.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10.  def createConfig(args: Seq[String], output: Emitter = new OutputEmitter, error: Emitter = new ErrorEmitter): REPLConfig

    Generating REPLs insist on processing whitespace.

    Generating REPLs insist on processing whitespace.

    Definition Classes

    GeneratingREPLBase → REPL → REPLBase

11.  def dimValue(record: Record, dim: Dimension): Value

    Definition Classes

    Profiler → Profiler → Values

12.  def driver(args: Seq[String]): Unit

    Definition Classes

    REPLBase

13.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

14.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

15.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

16.  def finishReport(): Unit

    Definition Classes

    Values

17.  def genAppExp(sz: Int): Gen[App]

    Definition Classes

    Generator

18.  def genExp(sz: Int): Gen[Exp]

    Definition Classes

    Generator

19.  val genIdn: Gen[String]

    Definition Classes

    Generator

20.  def genLamExp(sz: Int): Gen[Lam]

    Definition Classes

    Generator

21.  val genLeafExp: Gen[Exp with Serializable]

    Definition Classes

    Generator

22.  val genNum: Gen[Num]

    Definition Classes

    Generator

23.  val genVar: Gen[Var]

    Definition Classes

    Generator

24.  def generator: Arbitrary[Exp]

    The generator to use to make values of type T.

    The generator to use to make values of type T.

    Definition Classes

    LambdaGen → GeneratingREPLBase

25.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

26.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

27.  def includeTimings: Boolean

    Definition Classes

    Profiler

28.  def isEventType(record: Record, eventtype: String): Boolean

    Definition Classes

    Values

29.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

30.  def main(args: Array[String]): Unit

    Definition Classes

    REPLBase

31.  def nanoToMs(nano: Long): Long

    Definition Classes

    Profiler

32.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

33.  final def notify(): Unit

    Definition Classes

    AnyRef

34.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

35.  def output(str: String): Unit

    Definition Classes

    Values

36.  def outputln(str: String): Unit

    Definition Classes

    Values

37.  def parseProfileOption(value: String): Seq[Dimension]

    Definition Classes

    Profiler

38.  def percent(v: Long, total: Long): String

    Definition Classes

    Profiler

39.  def printDependencyGraph(record: Record, dim: Dimension): Unit

    Definition Classes

    Profiler

40.  def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit

    Definition Classes

    Profiler

41.  val printTables: Boolean

    Definition Classes

    Values

42.  def process(t: Exp, config: REPLConfig): Unit

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes

    GeneratingREPLBase

43.  def processline(line: String, config: REPLConfig): REPLConfig

    Generate a new instance and print it, ignoring the input line.

    Generate a new instance and print it, ignoring the input line. Return the configuration unchanged.

    Definition Classes

    GeneratingREPLBase → REPLBase

44.  final def processlines(config: REPLConfig): Unit

    Definition Classes

    REPLBase

    Annotations

    @tailrec()

45.  def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T

    Definition Classes

    Profiler

46.  def profileStart(logging: Boolean): Unit

    Definition Classes

    Profiler

47.  def profileStop(): (Seq[Dimension]) ⇒ Unit

    Definition Classes

    Profiler

48.  def profileStop(dimensionNames: Seq[Dimension]): Unit

    Definition Classes

    Profiler

49.  def profileStopInteractive(): Unit

    Definition Classes

    Profiler

50.  val prompt: String

    Definition Classes

    GeneratingREPLBase → REPLBase

51.  val seed: Seed

    The seed for the generator.

    The seed for the generator.

    Definition Classes

    GeneratingREPLBase

52.  def startReport(dimensionNames: Seq[Dimension]): Unit

    Definition Classes

    Profiler → Values

53.  val startTime: Long

    Definition Classes

    Profiler

54.  def subjectsToStep(src: Any, dst: Any): Step

    Definition Classes

    Profiler

55.  def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit

    Definition Classes

    Profiler

56.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

57.  def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit

    Definition Classes

    Profiler

58.  def toString(): String

    Definition Classes

    AnyRef → Any

59.  def trace(predicate: (Event) ⇒ Boolean): Unit

    Definition Classes

    Profiler

60.  def valueToString(a: Value): String

    Definition Classes

    Values

61.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

62.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

63.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )