net.jqwik.engine.properties

Class GenericProperty

java.lang.Object

net.jqwik.engine.properties.GenericProperty

public class GenericProperty
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
GenericProperty(java.lang.String name, PropertyConfiguration configuration, ShrinkablesGenerator shrinkablesGenerator, CheckedFunction checkedFunction)

Method Summary

Modifier and Type	Method and Description
PropertyCheckResult	check(java.util.function.Consumer<org.junit.platform.engine.reporting.ReportEntry> reporter, net.jqwik.api.Reporting[] reporting, boolean reportOnlyFailures)

Methods inherited from class java.lang.Object

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

Constructor Detail

GenericProperty

public GenericProperty(java.lang.String name,
                       PropertyConfiguration configuration,
                       ShrinkablesGenerator shrinkablesGenerator,
                       CheckedFunction checkedFunction)

Method Detail

check

public PropertyCheckResult check(java.util.function.Consumer<org.junit.platform.engine.reporting.ReportEntry> reporter,
                                 net.jqwik.api.Reporting[] reporting,
                                 boolean reportOnlyFailures)