object ImperativeGen in kiama.example.imperative

kiama.example.imperative

object ImperativeGen

[source: kiama/example/imperative/ImperativeGen.scala]

object ImperativeGen: extends GeneratingREPL[Stmt] with Generator with PrettyPrinter

A read-eval-print loop for generating random imperative statements.

Values and Variables inherited from Generator
genInteger, genDouble, genNum, genIdn, genVar, genLeafExp, genLeafStmt

Method Summary
`def`	generator : org.scalacheck.Arbitrary[Stmt] The generator to use to make values of type T.
`override def`	process (s : Stmt) : Unit Process a generated value. Default: print it.

Methods inherited from PrettyPrinter
pretty

Methods inherited from Generator
arbNum, genNeg, genAdd, genSub, genMul, genDiv, genInternalExp, genExp, arbExp, genSeqn, arbSeqn, genAsgn, arbAsgn, genWhile, arbWhile, genInternalStmt, genStmt, arbStmt

Methods inherited from GeneratingREPL
setup, prompt, processline

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

def generator : org.scalacheck.Arbitrary[Stmt]

The generator to use to make values of type T.

Overrides: GeneratingREPL.generator

override def process(s : Stmt) : Unit

Process a generated value. Default: print it.

Overrides: GeneratingREPL.process