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

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

    Definition Classes
    Profiler → Values
  42. var startTime: Long

    Definition Classes
    Profiler
  43. def subjectsToStep(src: Any, dst: Any): Step

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

    Definition Classes
    Profiler
  45. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  46. def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit

    Definition Classes
    Profiler
  47. def toString(): String

    Definition Classes
    AnyRef → Any
  48. def trace(predicate: (Event) ⇒ Boolean): Unit

    Definition Classes
    Profiler
  49. def valueToString(a: Value): String

    Definition Classes
    Values
  50. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  51. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. 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