Package smallcheck.generators

Class IntegerGen

java.lang.Object

smallcheck.generators.SeriesGen<java.lang.Integer>

smallcheck.generators.IntegerGen

public class IntegerGen
extends SeriesGen<java.lang.Integer>

Generates integers. First 0,1,2,3,...,depth Then -1,-2,...,-depth

Constructor Summary

Constructors

Constructor	Description
IntegerGen()

Method Summary

Modifier and Type	Method	Description
java.util.stream.Stream<java.lang.Integer>	generate(int depth)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from class smallcheck.generators.SeriesGen

copy

Constructor Detail

IntegerGen

public IntegerGen()

Method Detail

generate

public java.util.stream.Stream<java.lang.Integer> generate(int depth)

Specified by:

generate in class SeriesGen<java.lang.Integer>