t

org.kiama.util

GeneratingREPL

trait GeneratingREPL[T] extends GeneratingREPLBase[T]

A REPL that uses ScalaCheck to generate random instances of abstract syntax trees of type T and prints them to standard output.

Source
REPLTests.scala
Linear Supertypes
GeneratingREPLBase[T], REPL, REPLBase[REPLConfig], Profiler, bitbucket.inkytonik.dsprofile.Profiler, Values, AnyRef, Any
Known Subclasses
ImperativeGen, LambdaGen
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GeneratingREPL
  2. GeneratingREPLBase
  3. REPL
  4. REPLBase
  5. Profiler
  6. Profiler
  7. Values
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
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

Abstract Value Members

  1. abstract def generator: Arbitrary[T]

    The generator to use to make values of type T.

    The generator to use to make values of type T.

    Definition Classes
    GeneratingREPLBase

Concrete 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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. val banner: String
    Definition Classes
    GeneratingREPLBase → REPLBase
  6. def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value
    Definition Classes
    Values
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. 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
  9. def dimValue(record: Record, dim: Dimension): Value
    Definition Classes
    Profiler → Profiler → Values
  10. def driver(args: Seq[String]): Unit
    Definition Classes
    REPLBase
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. def finishReport(): Unit
    Definition Classes
    Values
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  17. def includeTimings: Boolean
    Definition Classes
    Profiler
  18. def isEventType(record: Record, eventtype: String): Boolean
    Definition Classes
    Values
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def main(args: Array[String]): Unit
    Definition Classes
    REPLBase
  21. def nanoToMs(nano: Long): Long
    Definition Classes
    Profiler
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  25. def output(str: String): Unit
    Definition Classes
    Values
  26. def outputln(str: String): Unit
    Definition Classes
    Values
  27. def parseProfileOption(value: String): Seq[Dimension]
    Definition Classes
    Profiler
  28. def percent(v: Long, total: Long): String
    Definition Classes
    Profiler
  29. def printDependencyGraph(record: Record, dim: Dimension): Unit
    Definition Classes
    Profiler
  30. def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit
    Definition Classes
    Profiler
  31. val printTables: Boolean
    Definition Classes
    Values
  32. def process(t: T, config: REPLConfig): Unit

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes
    GeneratingREPLBase
  33. 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
  34. final def processlines(config: REPLConfig): Unit
    Definition Classes
    REPLBase
    Annotations
    @tailrec()
  35. def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T
    Definition Classes
    Profiler
  36. def profileStart(logging: Boolean): Unit
    Definition Classes
    Profiler
  37. def profileStop(): (Seq[Dimension]) ⇒ Unit
    Definition Classes
    Profiler
  38. def profileStop(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler
  39. def profileStopInteractive(): Unit
    Definition Classes
    Profiler
  40. val prompt: String
    Definition Classes
    GeneratingREPLBase → REPLBase
  41. val seed: Seed

    The seed for the generator.

    The seed for the generator.

    Definition Classes
    GeneratingREPLBase
  42. def startReport(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler → Values
  43. val startTime: Long
    Definition Classes
    Profiler
  44. def subjectsToStep(src: Any, dst: Any): Step
    Definition Classes
    Profiler
  45. def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit
    Definition Classes
    Profiler
  46. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  47. def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit
    Definition Classes
    Profiler
  48. def toString(): String
    Definition Classes
    AnyRef → Any
  49. def trace(predicate: (Event) ⇒ Boolean): Unit
    Definition Classes
    Profiler
  50. def valueToString(a: Value): String
    Definition Classes
    Values
  51. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from GeneratingREPLBase[T]

Inherited from REPL

Inherited from REPLBase[REPLConfig]

Inherited from Profiler

Inherited from bitbucket.inkytonik.dsprofile.Profiler

Inherited from Values

Inherited from AnyRef

Inherited from Any

Ungrouped