LambdaGen

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], emitter: Emitter = new Emitter): 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. var 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. def startReport(dimensionNames: Seq[Dimension]): Unit

    Definition Classes

    Profiler → Values

52. var startTime: Long

    Definition Classes

    Profiler

53. def subjectsToStep(src: Any, dst: Any): Step

    Definition Classes

    Profiler

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

    Definition Classes

    Profiler

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Profiler

57. def toString(): String

    Definition Classes

    AnyRef → Any

58. def trace(predicate: (Event) ⇒ Boolean): Unit

    Definition Classes

    Profiler

59. def valueToString(a: Value): String

    Definition Classes

    Values

60. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

62. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )