Package net.jqwik.engine.execution

Class ResolvingParametersGenerator

java.lang.Object

net.jqwik.engine.execution.ResolvingParametersGenerator

All Implemented Interfaces:

ParametersGenerator

public class ResolvingParametersGenerator
extends java.lang.Object
implements ParametersGenerator

Constructor Summary

Constructors

Constructor	Description
ResolvingParametersGenerator(java.util.List<MethodParameter> propertyParameters, ForAllParametersGenerator forAllParametersGenerator, net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook, net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext)

Method Summary

Modifier and Type	Method	Description
int	edgeCasesTotal()
int	edgeCasesTried()
boolean	hasNext()
java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>>	next(net.jqwik.api.lifecycle.TryLifecycleContext tryLifecycleContext)

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolvingParametersGenerator

public ResolvingParametersGenerator(java.util.List<MethodParameter> propertyParameters,
                                    ForAllParametersGenerator forAllParametersGenerator,
                                    net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook,
                                    net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface ParametersGenerator

next

public java.util.List<net.jqwik.api.Shrinkable<java.lang.Object>> next(net.jqwik.api.lifecycle.TryLifecycleContext tryLifecycleContext)

Specified by:

next in interface ParametersGenerator

edgeCasesTotal

public int edgeCasesTotal()

Specified by:

edgeCasesTotal in interface ParametersGenerator

edgeCasesTried

public int edgeCasesTried()

Specified by:

edgeCasesTried in interface ParametersGenerator