trait Generator in kiama.example.imperative

kiama.example.imperative

trait Generator

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

trait Generator: extends AnyRef

ScalaCheck generators for programs in the imperative language.

Direct Known Subclasses:: TestBase, ImperativeGen

Value Summary
`val`	genDouble : org.scalacheck.Gen[Num]
`val`	genIdn : org.scalacheck.Gen[java.lang.String]
`val`	genInteger : org.scalacheck.Gen[Num]
`val`	genLeafExp : org.scalacheck.Gen[Exp]
`val`	genLeafStmt : org.scalacheck.Gen[Null]
`val`	genNum : org.scalacheck.Gen[Num]
`val`	genVar : org.scalacheck.Gen[Var]

Method Summary
`implicit def`	arbAsgn : org.scalacheck.Arbitrary[Asgn]
`implicit def`	arbExp : org.scalacheck.Arbitrary[Exp]
`implicit def`	arbNum : org.scalacheck.Arbitrary[Num]
`implicit def`	arbSeqn : org.scalacheck.Arbitrary[Seqn]
`implicit def`	arbStmt : org.scalacheck.Arbitrary[Stmt]
`implicit def`	arbWhile : org.scalacheck.Arbitrary[While]
`def`	genAdd (sz : Int) : org.scalacheck.Gen[Add]
`def`	genAsgn (sz : Int) : org.scalacheck.Gen[Asgn]
`def`	genDiv (sz : Int) : org.scalacheck.Gen[Div]
`def`	genExp (sz : Int) : org.scalacheck.Gen[Exp]
`def`	genInternalExp (sz : Int) : org.scalacheck.Gen[Binary]
`def`	genInternalStmt (sz : Int) : org.scalacheck.Gen[Stmt]
`def`	genMul (sz : Int) : org.scalacheck.Gen[Mul]
`def`	genNeg (sz : Int) : org.scalacheck.Gen[Neg]
`def`	genSeqn (sz : Int) : org.scalacheck.Gen[Seqn]
`def`	genStmt (sz : Int) : org.scalacheck.Gen[Stmt]
`def`	genSub (sz : Int) : org.scalacheck.Gen[Sub]
`def`	genWhile (sz : Int) : org.scalacheck.Gen[While]

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

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

Value Details

val genInteger : org.scalacheck.Gen[Num]

val genDouble : org.scalacheck.Gen[Num]

val genNum : org.scalacheck.Gen[Num]

val genIdn : org.scalacheck.Gen[java.lang.String]

val genVar : org.scalacheck.Gen[Var]

val genLeafExp : org.scalacheck.Gen[Exp]

val genLeafStmt : org.scalacheck.Gen[Null]

Method Details

implicit def arbNum : org.scalacheck.Arbitrary[Num]

def genNeg(sz : Int) : org.scalacheck.Gen[Neg]

def genAdd(sz : Int) : org.scalacheck.Gen[Add]

def genSub(sz : Int) : org.scalacheck.Gen[Sub]

def genMul(sz : Int) : org.scalacheck.Gen[Mul]

def genDiv(sz : Int) : org.scalacheck.Gen[Div]

def genInternalExp(sz : Int) : org.scalacheck.Gen[Binary]

def genExp(sz : Int) : org.scalacheck.Gen[Exp]

implicit def arbExp : org.scalacheck.Arbitrary[Exp]

def genSeqn(sz : Int) : org.scalacheck.Gen[Seqn]

implicit def arbSeqn : org.scalacheck.Arbitrary[Seqn]

def genAsgn(sz : Int) : org.scalacheck.Gen[Asgn]

implicit def arbAsgn : org.scalacheck.Arbitrary[Asgn]

def genWhile(sz : Int) : org.scalacheck.Gen[While]

implicit def arbWhile : org.scalacheck.Arbitrary[While]

def genInternalStmt(sz : Int) : org.scalacheck.Gen[Stmt]

def genStmt(sz : Int) : org.scalacheck.Gen[Stmt]

implicit def arbStmt : org.scalacheck.Arbitrary[Stmt]