gen/nyaya.gen/GenCtx

GenCtx

final class GenCtx(val rnd: Random, _genSize: GenSize, val thread: ThreadNumber)

State and config passed to generators.

This data is mutable.

Companion:
object
class Object
trait Matchable
class Any

Value members

Concrete methods

def _nextSize: () => Int
def _nextSizeMin1: () => Int
def fixGenSize(n: Int): Int
def fixGenSize1(n: Int): Int
def incSampleNumber(): Unit
def nextBit(): Boolean

32x less calls nextInt() compared to java.util.Random.nextBoolean()

32x less calls nextInt() compared to java.util.Random.nextBoolean()

def nextInt16(): Int
Returns:

[0,16)

def nextInt2(): Int
Returns:

[0,2)

def nextInt4(): Int
Returns:

[0,4)

def nextInt8(): Int
Returns:

[0,8)

def sample[A](g: Gen[A]): A
def setSeed(seed: Long): Unit
def shiftLeft(i: Int): Int

Concrete fields

var nextSize: () => Int
var nextSizeMin1: () => Int
val rnd: Random