Package net.jqwik.engine.execution

Class CheckedProperty

java.lang.Object

net.jqwik.engine.execution.CheckedProperty

public class CheckedProperty
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final PropertyConfiguration	configuration
final List<MethodParameter>	forAllParameters
final String	propertyName
final List<MethodParameter>	propertyParameters
final TryLifecycleExecutor	tryLifecycleExecutor

Constructor Summary

Constructors

Constructor

Description

CheckedProperty(String propertyName, TryLifecycleExecutor tryLifecycleExecutor, List<MethodParameter> propertyParameters, ArbitraryResolver arbitraryResolver, net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook, net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext, Optional<Iterable<? extends net.jqwik.api.Tuple>> optionalData, PropertyConfiguration configuration)

Method Summary

Modifier and Type	Method	Description
PropertyCheckResult	check(net.jqwik.api.Reporting[] reporting)

Methods inherited from class java.lang.Object

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

Field Details

propertyName

public final String propertyName

tryLifecycleExecutor

public final TryLifecycleExecutor tryLifecycleExecutor

propertyParameters

public final List<MethodParameter> propertyParameters

forAllParameters

public final List<MethodParameter> forAllParameters

configuration

public final PropertyConfiguration configuration

Constructor Details

CheckedProperty

public CheckedProperty(String propertyName,
 TryLifecycleExecutor tryLifecycleExecutor,
 List<MethodParameter> propertyParameters,
 ArbitraryResolver arbitraryResolver,
 net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook,
 net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext,
 Optional<Iterable<? extends net.jqwik.api.Tuple>> optionalData,
 PropertyConfiguration configuration)

Method Details

check

public PropertyCheckResult check(net.jqwik.api.Reporting[] reporting)