trait GeneratingREPL in kiama.util

kiama.util

trait GeneratingREPL

[source: kiama/util/GeneratingREPL.scala]

trait GeneratingREPL[T]: extends REPL

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

Direct Known Subclasses:: ImperativeGen, LambdaGen

Method Summary
`abstract def`	generator : org.scalacheck.Arbitrary[T] The generator to use to make values of type T.
`def`	process (t : T) : Unit Process a generated value. Default: print it.
`def`	processline (line : java.lang.String) : Unit Generate a new instance and print it, ignoring the input line.
`override def`	prompt : java.lang.String Display a prompt.
`override def`	setup : Unit Carry out setup processing for the REPL.

Methods inherited from REPL
main

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Method Details

override def setup : Unit

Carry out setup processing for the REPL.

Overrides: REPL.setup

override def prompt : java.lang.String

Display a prompt.

Overrides: REPL.prompt

abstract def generator : org.scalacheck.Arbitrary[T]

The generator to use to make values of type T.

def processline(line : java.lang.String) : Unit

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

Overrides: REPL.processline

def process(t : T) : Unit

Process a generated value. Default: print it.