Package net.jqwik.engine.execution

Klasse CheckedProperty

java.lang.Object

net.jqwik.engine.execution.CheckedProperty

public class CheckedProperty
extends Object

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
final PropertyConfiguration	configuration
final List<MethodParameter>	forAllParameters
final String	propertyName
final List<MethodParameter>	propertyParameters
final TryLifecycleExecutor	tryLifecycleExecutor

Konstruktorübersicht

Konstruktoren

Konstruktor

Beschreibung

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)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
PropertyCheckResult	check(net.jqwik.api.Reporting[] reporting)

Von Klasse geerbte Methoden java.lang.Object

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

Felddetails

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

Konstruktordetails

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)

Methodendetails

check

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