Package 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	Description
PropertyConfiguration	configuration
java.util.List<MethodParameter>	forAllParameters
java.lang.String	propertyName
java.util.List<MethodParameter>	propertyParameters
TryLifecycleExecutor	tryLifecycleExecutor

Constructor Summary

Constructors

Constructor

Description

CheckedProperty(java.lang.String propertyName, TryLifecycleExecutor tryLifecycleExecutor, java.util.List<MethodParameter> propertyParameters, ArbitraryResolver arbitraryResolver, net.jqwik.api.lifecycle.ResolveParameterHook resolveParameterHook, net.jqwik.api.lifecycle.PropertyLifecycleContext propertyLifecycleContext, java.util.Optional<java.lang.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 Detail

propertyName

public final java.lang.String propertyName

tryLifecycleExecutor

public final TryLifecycleExecutor tryLifecycleExecutor

propertyParameters

public final java.util.List<MethodParameter> propertyParameters

forAllParameters

public final java.util.List<MethodParameter> forAllParameters

configuration

public final PropertyConfiguration configuration

Constructor Detail

CheckedProperty

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

Method Detail

check

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