org.kiama.example.lambda

LambdaGen

object LambdaGen extends GeneratingREPL[Exp] with Generator

A read-eval-print loop for generating random expressions.

Source
LambdaTests.scala
Linear Supertypes
Generator, GeneratingREPL[Exp], GeneratingREPLBase[Exp], REPL, REPLBase[REPLConfig], Profiler, Profiler, Values, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. LambdaGen
  2. Generator
  3. GeneratingREPL
  4. GeneratingREPLBase
  5. REPL
  6. REPLBase
  7. Profiler
  8. Profiler
  9. Values
  10. AnyRef
  11. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class Child extends Step with Product with Serializable

    Definition Classes
    Profiler

  2. case class Dep extends Product with Serializable

    Definition Classes
    Profiler

  3. case class Record extends Product with Serializable

    Definition Classes
    Values

  4. abstract class Step extends AnyRef

    Definition Classes
    Profiler

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. implicit def arbExp: Arbitrary[Exp]

    Definition Classes
    Generator

  7. implicit def arbVar: Arbitrary[Var]

    Definition Classes
    Generator

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  9. val banner: String

    Definition Classes
    GeneratingREPLBase → REPLBase

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

    Definition Classes
    Values

  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  12. 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

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

    Definition Classes
    Profiler → Profiler → Values

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

    Definition Classes
    REPLBase

  15. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  16. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  17. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  18. def finishReport(): Unit

    Definition Classes
    Values

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  21. val genIdn: Gen[String]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  23. val genLeafExp: Gen[Exp with Serializable]

    Definition Classes
    Generator

  24. val genNum: Gen[Num]

    Definition Classes
    Generator

  25. val genVar: Gen[Var]

    Definition Classes
    Generator

  26. 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

  27. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  28. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  29. def includeTimings: Boolean

    Definition Classes
    Profiler

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

    Definition Classes
    Values

  31. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    REPLBase

  33. def nanoToMs(nano: Long): Long

    Definition Classes
    Profiler

  34. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  35. final def notify(): Unit

    Definition Classes
    AnyRef

  36. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  37. def output(str: String): Unit

    Definition Classes
    Values

  38. def outputln(str: String): Unit

    Definition Classes
    Values

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

    Definition Classes
    Profiler

  40. def percent(v: Long, total: Long): String

    Definition Classes
    Profiler

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

    Definition Classes
    Profiler

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

    Definition Classes
    Profiler

  43. var printTables: Boolean

    Definition Classes
    Values

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

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes
    GeneratingREPLBase

  45. 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

  46. final def processlines(config: REPLConfig): Unit

    Definition Classes
    REPLBase
    Annotations
    @tailrec()

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

    Definition Classes
    Profiler

  48. def profileStart(logging: Boolean): Unit

    Definition Classes
    Profiler

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

    Definition Classes
    Profiler

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

    Definition Classes
    Profiler

  51. def profileStopInteractive(): Unit

    Definition Classes
    Profiler

  52. val prompt: String

    Definition Classes
    GeneratingREPLBase → REPLBase

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

    Definition Classes
    Profiler → Values

  54. var startTime: Long

    Definition Classes
    Profiler

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

    Definition Classes
    Profiler

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

    Definition Classes
    Profiler

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Profiler

  59. def toString(): String

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Profiler

  61. def valueToString(a: Value): String

    Definition Classes
    Values

  62. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Generator

Inherited from GeneratingREPL[Exp]

Inherited from GeneratingREPLBase[Exp]

Inherited from REPL

Inherited from REPLBase[REPLConfig]

Inherited from Profiler

Inherited from Profiler

Inherited from Values

Inherited from AnyRef

Inherited from Any

Ungrouped