org.kiama.util

GeneratingREPL

trait GeneratingREPL[T] extends GeneratingREPLBase[T] with StdoutEmitter

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

Linear Supertypes
GeneratingREPLBase[T], REPL, StdoutEmitter, REPLBase, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. GeneratingREPL
  2. GeneratingREPLBase
  3. REPL
  4. StdoutEmitter
  5. REPLBase
  6. AnyRef
  7. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

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. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  8. val emitter: Emitter

    Definition Classes
    StdoutEmitter
  9. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  12. final def getClass(): Class[_]

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

    Definition Classes
    AnyRef → Any
  14. val ignoreWhitespaceLines: Boolean

    Don't ignore whitespace lines since we are using them to indicate the generation command.

    Don't ignore whitespace lines since we are using them to indicate the generation command.

    Definition Classes
    GeneratingREPLBase → REPLBase
  15. final def isInstanceOf[T0]: Boolean

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

    Definition Classes
    REPLBase
  17. final def ne(arg0: AnyRef): Boolean

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

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

    Definition Classes
    AnyRef
  20. def process(t: T): Unit

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes
    GeneratingREPLBase
  21. def processline(line: String): Unit

    Generate a new instance and print it, ignoring the input line.

    Generate a new instance and print it, ignoring the input line.

    Definition Classes
    GeneratingREPLBase → REPLBase
  22. val prompt: String

    Display a prompt.

    Display a prompt.

    Definition Classes
    GeneratingREPLBase → REPLBase
  23. def setup(args: Array[String]): Boolean

    Carry out setup processing for the REPL.

    Carry out setup processing for the REPL.

    Definition Classes
    GeneratingREPLBase → REPLBase
  24. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  25. def toString(): String

    Definition Classes
    AnyRef → Any
  26. final def wait(): Unit

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

    Definition Classes
    AnyRef
    Annotations
    @throws()
  28. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from GeneratingREPLBase[T]

Inherited from REPL

Inherited from StdoutEmitter

Inherited from REPLBase

Inherited from AnyRef

Inherited from Any

Ungrouped