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, ParametersGenerator parametersGenerator, TryLifecycleExecutor tryLifecycleExecutor, java.util.function.Supplier<net.jqwik.api.lifecycle.TryLifecycleContext> tryLifecycleContextSupplier)

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)

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,
                       ParametersGenerator parametersGenerator,
                       TryLifecycleExecutor tryLifecycleExecutor,
                       java.util.function.Supplier<net.jqwik.api.lifecycle.TryLifecycleContext> tryLifecycleContextSupplier)

Method Detail

check

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