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: 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. 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. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  18. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  19. def includeTimings: Boolean

    Definition Classes
    Profiler
  20. def isEventType(record: Record, eventtype: String): Boolean

    Definition Classes
    Values
  21. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  22. def main(args: Array[String]): Unit

    Definition Classes
    REPLBase
  23. def nanoToMs(nano: Long): Long

    Definition Classes
    Profiler
  24. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  25. final def notify(): Unit

    Definition Classes
    AnyRef
  26. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  27. def output(str: String): Unit

    Definition Classes
    Values
  28. def outputln(str: String): Unit

    Definition Classes
    Values
  29. def parseProfileOption(value: String): Seq[Dimension]

    Definition Classes
    Profiler
  30. def percent(v: Long, total: Long): String

    Definition Classes
    Profiler
  31. def printDependencyGraph(record: Record, dim: Dimension): Unit

    Definition Classes
    Profiler
  32. def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit

    Definition Classes
    Profiler
  33. var printTables: Boolean

    Definition Classes
    Values
  34. def process(t: T, config: REPLConfig): Unit

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes
    GeneratingREPLBase
  35. 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
  36. final def processlines(config: REPLConfig): Unit

    Definition Classes
    REPLBase
    Annotations
    @tailrec()
  37. def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T

    Definition Classes
    Profiler
  38. def profileStart(logging: Boolean): Unit

    Definition Classes
    Profiler
  39. def profileStop(): (Seq[Dimension]) ⇒ Unit

    Definition Classes
    Profiler
  40. def profileStop(dimensionNames: Seq[Dimension]): Unit

    Definition Classes
    Profiler
  41. def profileStopInteractive(): Unit

    Definition Classes
    Profiler
  42. val prompt: String

    Definition Classes
    GeneratingREPLBase → REPLBase
  43. def startReport(dimensionNames: Seq[Dimension]): Unit

    Definition Classes
    Profiler → Values
  44. var startTime: Long

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

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

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

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

    Definition Classes
    Profiler
  49. def toString(): String

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

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

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

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

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