net.jqwik.engine

Interface PropertyDefaultValues

public interface PropertyDefaultValues

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.AfterFailureMode	afterFailure()
net.jqwik.api.GenerationMode	generation()
int	maxDiscardRatio()
int	tries()
static PropertyDefaultValues	with(int tries, int maxDiscardRatio, net.jqwik.api.AfterFailureMode afterFailureMode, net.jqwik.api.GenerationMode generationMode)

Method Detail

tries

int tries()

maxDiscardRatio

int maxDiscardRatio()

afterFailure

net.jqwik.api.AfterFailureMode afterFailure()

generation

net.jqwik.api.GenerationMode generation()

with

static PropertyDefaultValues with(int tries,
                                  int maxDiscardRatio,
                                  net.jqwik.api.AfterFailureMode afterFailureMode,
                                  net.jqwik.api.GenerationMode generationMode)