ParametersGenerator (engine 1.7.3 API)

All Known Implementing Classes:: AfterFailureParametersGenerator, ResolvingParametersGenerator

public interface ParametersGenerator

Method Summary

Modifier and Type

Method

Description

int

edgeCasesTotal()

int

edgeCasesTried()

GenerationInfo

generationInfo(String randomSeed)

boolean

hasNext()

List<net.jqwik.api.Shrinkable<Object>>

next(net.jqwik.api.lifecycle.TryLifecycleContext context)

void

reset()

Method Details
- hasNext
  
  boolean hasNext()
- next
  
  List<net.jqwik.api.Shrinkable<Object>> next(net.jqwik.api.lifecycle.TryLifecycleContext context)
- edgeCasesTotal
  
  int edgeCasesTotal()
- edgeCasesTried
  
  int edgeCasesTried()
- generationInfo
  
  GenerationInfo generationInfo(String randomSeed)
- reset
  
  void reset()