Package net.jqwik.engine.properties

Interface ForAllParametersGenerator

All Superinterfaces:

java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>>>

All Known Implementing Classes:

DataBasedShrinkablesGenerator, ExhaustiveShrinkablesGenerator, RandomizedShrinkablesGenerator, SampleOnlyShrinkablesGenerator

public interface ForAllParametersGenerator
extends java.util.Iterator<java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>>>

Method Summary

Modifier and Type	Method	Description
default ForAllParametersGenerator	andThen(java.util.function.Supplier<ForAllParametersGenerator> generatorCreator)
default int	edgeCasesTotal()
default int	edgeCasesTried()

Methods inherited from interface java.util.Iterator

forEachRemaining, hasNext, next, remove

Method Detail

andThen

default ForAllParametersGenerator andThen(java.util.function.Supplier<ForAllParametersGenerator> generatorCreator)

edgeCasesTotal

default int edgeCasesTotal()

edgeCasesTried

default int edgeCasesTried()