net.jqwik.engine.execution

Class CheckedProperty

java.lang.Object

net.jqwik.engine.execution.CheckedProperty

public class CheckedProperty
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
CheckedFunction	checkedFunction
PropertyConfiguration	configuration
java.util.List<MethodParameter>	forAllParameters
java.lang.String	propertyName

Constructor Summary

Constructors

Constructor and Description
CheckedProperty(java.lang.String propertyName, CheckedFunction checkedFunction, java.util.List<MethodParameter> forAllParameters, ArbitraryResolver arbitraryResolver, java.util.Optional<java.lang.Iterable<? extends net.jqwik.api.Tuple>> optionalData, PropertyConfiguration configuration)

Method Summary

Modifier and Type	Method and Description
PropertyCheckResult	check(java.util.function.Consumer<org.junit.platform.engine.reporting.ReportEntry> publisher, 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

Field Detail

propertyName

public final java.lang.String propertyName

checkedFunction

public final CheckedFunction checkedFunction

forAllParameters

public final java.util.List<MethodParameter> forAllParameters

configuration

public final PropertyConfiguration configuration

Constructor Detail

CheckedProperty

public CheckedProperty(java.lang.String propertyName,
                       CheckedFunction checkedFunction,
                       java.util.List<MethodParameter> forAllParameters,
                       ArbitraryResolver arbitraryResolver,
                       java.util.Optional<java.lang.Iterable<? extends net.jqwik.api.Tuple>> optionalData,
                       PropertyConfiguration configuration)

Method Detail

check

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